Logique des Propositions et des Prédicats, Tables de Vérité et Axiomatisation | lit.salon