Logique des Propositions et des Prédicats, déduction Naturelle | lit.salon