477 B
477 B
tags, up
tags | up | ||
---|---|---|---|
|
|
[!definition] Définition Une formule logique
f
est une tautologie sif(a) = 1
pour touta \in \{ 0, 1 \}^{V}
^definition
[!idea] intuition Une tautologie est une proposition qui est toujours vraie, indépendamment de son interprétation.
Exemple
La pièce est sur le côté pile ou le côté façe
Tautologie : on a quelque chose ou son contraire (c'est donc toujours vrai)