En mathématiques, on se situe dans le cadre d'une logique à deux valeurs. Une proposition
mathématique est soit vraie soit fausse. Si elle est vraie, nous lui attribuons la valeur (ou ; si
elle est fausse, nous lui attribuons la valeur logique (ou
On peut trouver des propositions toujours vraies, par exemple pour réel, ou qu'on
appelle des tautologies, des propositions toujours fausses, par exemple
et des propositions
tantôt vraies, tantôt fausses, par exemple qui est vraie pour ou et fausse
sinon.
But de ce chapitre
On examine comment, à partir de propositions données en former de nouvelles, à l'aide de connecteurs
logiques :
la négation --- le "non"
la conjonction --- le "et"
et la disjonction logique --- le "ou".
0 comments:
Post a Comment