Title: Logique des Propositions et des Prédicats, déduction Naturelle