Assertion
Définition :
Une assertion[1] ( proposition ) est une phrase soit vraie, soit fausse. Pas les deux en même temps.
Exemple :
\(\sqrt{2}\) est un nombre irrationnel, cette proposition est vraie.
2 est inférieure à 4 , cette proposition est vraie
Tout nombre premier est pair , cette proposition est fausse.
Notations
On associe à chaque assertion \(P\) une valeur s'appelle "valeur de vérité" qui est vrai ou faux.
La valeur de vérité "Vrai" est notée par V et la valeur de vérité "Faux" est notée par F. Et on résume ceci dans une table s'appelle "table de vérité" de l'assertion \(P\).
\(P\)
V
F