Title: Logique des Propositions et des Prédicats, Tables de Vérité et Axiomatisation