Les propositions sont des expressions que l'on peut évaluer sans ambiguïté à VRAI ou à FAUX. A partir des ces deux valeurs, il est possible de construire des expressions plus complexes à partir d'opérateurs logiques. Nous allons décrire ces opérateurs et voir quelles sont les propriétés liées. Nous verrons également créer un opérateur nouveau à partir des opérateurs disponibles. Enfin, nous utiliserons Excel pour mettre en place des tables de vérité.

0:00 • Présentation
2:58 • Proposition
4:44 • Conjonction : Opérateur et
9:32 • Disjonction : Opérateur ou
11:54 • Négation : Opérateur non
15:51 • Equivalence
18:55 • Implication
22:30 • Commutativité des opérateurs
26:35 • Associativité des opérateurs
33:15 • Distributivité des opérateurs
38:19 • Priorités opératoires
43:43 • Loi de De Morgan
48:50 • Traduction logique
53:46 • Evaluer des propositions
55:12 • Opérateur ou exclusif
01:01:06 • Opérateurs logique dans Excel
01:04:12 • Conclusion