Propositions composées
Définition :
À partir de deux propositions, et , on obtient les propositions composées fondamentales suivantes :
la conjonction "" ;
la disjonction "" ;
l'implication "" ;
l'équivalence "".
Comme une assertion est soit vraie, soit fausse, le résultat des compositions est aussi soit vrai, soit faux.
Remarque :
Afin d'éviter les imprécisions du langage courant, on va définir dans la suite ces quatre propositions composées grâce aux tables de vérité.
On reviendra dans le chapitre "Principe du raisonnement mathématique" sur ces propositions. On verra en particulier leur négation et leur utilisation correcte dans les démonstrations.
