Title: Logique des Propositions and des Predicats, Deduction Naturelle