Logique des Propositions and des Predicats, Deduction Naturelle | lit.salon