Notions de logique (1)
1- Les propositions logiques
1.1 Définition et opérations sur les propositions
1.1.1 Activité
Compléter le tableau suivant
text | vrai | faut | ne peut pas être jugé |
2 est pair | |||
10=8+3 | |||
0≥2 | |||
x+2=0 |
1.1.2 Définition
Une proposition est une phrase qui a un sens vrai ou faux et pas les deux.
Une proposition est notée par une lettre p (ou q ou r.. ).
Table de vérité
Proposition p | |
si elle est vraie on écrit | 1 |
si elle est fausse on écrit | 0 |
1.2 Opérations sur les propositions
1.2.1 La négation
La négation d'une proposition p
est une proposition vraie si p est fausse et elle est fausse
si p est vraie.
La négation de p est notée ⌉p ou non(p).
Table de vérité
Proposition p | sa négation (non)p | |
1 | 0 | |
0 | 1 |
Exemples
1) (2+3=7) est une proposition fausse
sa négation (2+3≠7) est une proposition vraie.
2) (2≤5) est une proposition vraie
sa négation (2>5) est une proposition fausse.
3) (-15∈IN) est une proposition fausse
sa négation (-15∉IN) est une proposition vraie.
1.2.2 La conjonction (∧ = et)
La conjonction de deux propositions p et q notée p∧q ou (p et q) est une proposition vraie si p et q sont vraies sinon elle est fausse.
p | q | p∧q | |
Table de vérité | 1 | 1 | 1 |
1 | 0 | 0 | |
0 | 1 | 0 | |
0 | 0 | 0 |
Exemples
1) (4=3+1) ∧ (7>5 ) est une proposition vraie car les deux propositions (4=3+1) et (7>5) sont vraies
2) (8 est pair) ∧ (2 est impair) est une proposition fausse car la proposition (2 est impair) est fausse.
3) (5=1+7) ∧ (8=2×5) est une proposition fausse car les deux propositions sont fausses.
1.2.3 La disjonction (∨ = ou)
La disjonction de deux propositions p et q notée p∨q ou (p ou q) est une proposition fausse si p et q sont fausses sinon elle est vraie.
p | q | p∨q | |
Table de vérité | 1 | 1 | 1 |
1 | 0 | 1 | |
0 | 1 | 1 | |
0 | 0 | 0 |
Exemples
1) (4=3×1) ∨ (5<7) est une proposition vraie car 5<7 est vraie.
2) (8 est un nombre négatif) ∨ (7 est un nombre pair) est une proposition fausse car les deux propositions sont fausses.
3) (2 est un nombre pair) ∨ (5>3) est une proposition vraie car les deux propostions sont vraies.