UCA – ENS ALGEBRE 1 LE-MATH-S1
J. Charki 1
Chapitre I
Logique et Raisonnement
I. Notions de logique
La logique dont nous parlons ici date de loin. Elle date des grecs.
Elle est bâtie sur le principe qui dit que une chose ne peut être que vraie ou fausse
mais pas les deux en même temps et elle ne pas non plus être ni vraie ni fausse.
Nous allons donc présenter progressivement les notions fondamentales de cette
logique, dite logique formelle. Et par la même occasion, nous allons assoir les
règles et syntaxe du langage mathématique. Rappelons que le langage
mathématique diffère du langage courant par sa rigueur et sa précision
(définition précise de tout terme utilisé) et par son formalisme (utilisation des
symboles et des formules).
1. Proposition - Assertion.
Définition : Une proposition est un énoncé qui est soit vrai, soit faux, mais pas
Rmq. Dans ce cours, nous utiliserons indifféremment le terme proposition ou
assertion !
Exp. (P) : « » (P) est vraie.
(Q) : « » (Q) est fausse.
(R) : « » : (R) est vraie.
(S) : « Ali est le directeur »
Table de vérité : Soit P une proposition. Quand P est vraie on di que sa valeur de
vérité V, . Si P est fausse, on dit que sa valeur de vérité est F et
.
Une table de vérité est un tableau dans lequel on résume les valeurs de
proposition donnée.
Deux propositions sont dites équivalentes quand elles ont la même table de
vérité.
*La table de vérité de P est