Logique des propositions et des prédicats, tables de vérité et axiomatisation