0000-01-01-calcul-des-propositions.md

layout	title
post	Calcul des propositions

Sujets abordés

• Connecteurs du calcul des propositions ;
• Logique booléenne, tables de vérité ;
• Équivalences remarquables.

Sources

• Arnold - Guessarian, Sections 5.1 -- 5.2 ;
• Vélu, Chapitre 13 ;
• David - Nour - Raffalli, Sections 1.1 -- 1.2.

Attention: Arnold et Guessarian utilisent pour l'implication tantôt le symbole $$⇒$$, tantôt le symbole $$⊃$$ (la différence est subtile, et elle sera claire dans les prochains cours). Vélu et David - Nour - Raffali utilisent le symbole $$→$$.