Introduction
Dans la logique propositionnelle, on étudie les relations entre des énoncés, que l'on va appeler propositions ou encore des formules. Ces relations peuvent être exprimées par l'intermédiaire de connecteurs logiques qui permettent, par composition, de construire des formules syntaxiquement correctes. On trouve principalement : la conjonction, la disjonction (inclusive), l'implication, l'équivalence et la négation.
Principe du tiers exclu principe qui s'énonce : « De deux propositions contradictoires, l'une est vraie, l'autre est fausse »
(il n'y a pas de moyen terme, de troisième hypothèse).
Galerie
