On appelle proposition ou prédicat une "phrase" qui peut être soit vraie, soit fausse. La logique des prédicats est donc un premier exemple de Tout ou Rien (et est utilisée dans les problèmes de reconnaissance de la parole et d'analyse syntaxique).
exemples :
On peut avoir des propositions dépendant de variables:
![]() |
![]() |
![]() |
On peut également utiliser un tableau à deux entrées pour obtenir un tableau de vérité :
![]() |
2 colonnes pour les états possibles de Q
2 lignes pour les états possibles de P |
En essayant toutes les combinaisons, on peut définir 16 opérateurs binaires (fonctions de deux variables) :
Certains cas sont de peu d'intérêt : a (toujours faux), p (vrai), ou ne dépendent en fait que d'une variable : d (=P), f (=Q), m (=/P), k (=/Q). Les autres ont toutes un nom :
b: ET,
h: OU inclusif,
o: ON ou NAND,
i: NI ou NOR,
c: P | Q (P inhibe Q),
e: Q | P (Q inhibe P),
n: P => Q (implique),
l: Q => P (implique),
g: OU exclusif
(XOR,
),
j: P <=> Q (équivalent).