Proposition logique et prédicats
1.On appelle proposition logique tout phrase soit vraie, soit fausse, pas les deux en même temps.
Quand la proposition est vraie, on lui affecte la valeur 1 (ou V)
Quand la proposition est fausse, on lui affecte la valeur 0 (ou F)
Ces valeurs sont appelées « Valeurs de vérité de la proposition. »
Ainsi, pour définir une proposition logique, il suffit de donner ses valeurs de vérités. En général, on met ces valeurs dans un tableau qu'on nommera “Table de vérités
” ou “Tableau de vérités”.
2.Un prédicat est un énoncé mathématique contenant des lettres appelées “variables” tel que, quand on replace chacune des lettres par un élément donné d'un ensemble, on obtient une assertion.