Résumé
Cours de Mathématiques sur le calcul propositionnel.
Extrait:
Le Calcul Propositionnel permet de combiner entre elles les propositions, au moyen d'opérations appelées connexions.
Les trois plus importantes sont : La négation, la conjonction, la disjonction.
D'autres connexions : L'implication, l'équivalence.
Des symboles les représentent, ce sont des connecteurs.
A chaque connexion est associée une table de vérité (un tableau).
(...)
Sommaire:
I) Propositions
II) Connexions
III) Tables de vérité
IV) Formes propositionnelles
V) Propriétés sur les opérateurs logiques
VI) Idempotence, associativité, commutativité, distributivité, involution, Lois de Morgan
VII) La négation, la conjonction, la disjonction
VIII) L'implication, L'équivalence
IX) Comparaison des formes propositionnelles
X) Tautologies, contradiction, conséquence, contraposée
XI) Les classes des formes propositionnelles