Propositions et opération élémentaire/Définition

Début de la boite de navigation du chapitre

Exemple:

Définition
Icône de la faculté
Chapitre no 1
Leçon : Propositions et opération élémentaire
Retour auSommaire
Chap. suiv. :Tables de vérité
fin de la boite de navigation du chapitre
En raison de limitations techniques, la typographie souhaitable du titre, « Propositions et opération élémentaire : Définition
Propositions et opération élémentaire/Définition
 », n'a pu être restituée correctement ci-dessus.


Vrai
Isaac Newton était russe Faux (puisqu'Isaac Newton était de nationalité anglaise)
possède au moins une solution Faux
possède au moins une solution Vraie


Remarques :

Dans le cadre d'équations mathématiques faisant intervenir des variables, il est important de préciser l'ensemble de définition de chaque variable.

De plus, certaines propositions ne sont ni vraies ni fausses. L'exemple célèbre est la phrase « En disant ceci, je mens ». En effet, si on suppose la phrase vraie, alors la proposition ("je mens") est fausse puisqu'alors la personne énonçant cette phrase ne ment pas. De même, si on suppose que la phrase est fausse, alors la proposition ("je mens") est vraie puisque la personne énonçant cette phrase ment.

On comprend alors la nécessité d'axiomes et de preuves, c'est-à-dire qu’il faut connaître les règles avec lesquelles on peut décider de la vérité d'une proposition (si elle est vraie ou fausse) : dans l'exemple , ce sont des règles arithmétiques apprises qui imposent le résultat. Il faut un raisonnement logique pour parvenir à décider si une proposition est vraie ou fausse : dans l'exemple de « Isaac Newton était russe », ce sont des faits simples — une preuve de sa naissance en Angleterre de parents anglais — qui, par un raisonnement simple mais logique, permettent de parvenir à la conclusion que la proposition est fausse.