16 Foncteurs Logiques

Niveau Expert - Logique Propositionnelle

Bienvenue dans le module expert !

Dans ce module, vous allez découvrir et maîtriser les 16 fonctions de vérité binaires, aussi appelées foncteurs logiques. Chaque foncteur représente une façon unique de combiner deux propositions logiques.

⊥

Contradiction

Toujours faux

∧

Conjonction

P et Q

P∧¬Q

Inhibition

P mais pas Q

Assertion P

Toujours P

¬P∧Q

Inhibition inverse

Q mais pas P

Assertion Q

Toujours Q

⊕

Disjonction exclusive

Ou exclusif

∨

Disjonction

P ou Q

↓

NOR

Ni P ni Q

↔

Équivalence

P si et seulement si Q

¬Q

Négation Q

Non Q

Q→P

Implication inverse

Si Q alors P

¬P

Négation P

Non P

→

Implication

Si P alors Q

↑

NAND

Non (P et Q)

⊤

Tautologie

Toujours vrai