Logique élémentaire et propositions
Logique élémentaire et propositions
LOGIQUE
DÉFINITION
Proposition
¢ Une affirmation qui est vraie ou fausse mais qui ne
à la fois vrai et faux dans la même condition.
¢ Définition
Une proposition formée en combinant deux ou
plusieurs déclarations simples via des connecteurs
logiques (connecteurs).
C ONNECTIVES LOGIQUES
Conjonction et ⋀
ou ⋁
Disjonction
pas ~ , –ou
Négation
si donc… →
Implication
…si et seulement si… ↔
Biconditionnel
A. CONJONCTION
¢ Noté p ^ q lu comme «p et q»
¢ La seule façon pour qu’une conjonction soit vraie est
lorsque tous ses composants sont vrais.
p q P^q
T T T
T F F
F T F
F F F
B. DISJONCTION
¢ Noté pvq lu comme « p ou q »
¢ La seule façon pour une disjonction d'être
fausse est lorsque toutes ses composantes sont
fausses.
p q
P^q
T T T
T F T
F T T
F F F
C. NÉGATION
¢ Noté ~p lu comme « pas p » ou « c'est faux ça
» ou « ce n'est pas vrai ça »
¢ Refus d'une déclaration
~p
p
D. CONDITIONNEL (IMPLICATION)
¢ Noté p → q lu comme « si p… alors q »
¢ p est l'antécédent ou l'hypothèse
¢ q est la conséquence ou la conclusion
¢ La seule façon pour qu'une implication soit fausse
est lorsque p est vrai et q est faux
p q
P
^
q
VARIANTES D'UNE DÉCLARATION
CONDITIONNELLE
B. DISJONCTION...............................................................................................................................................................................................11
C. NÉGATION....................................................................................................................................................................................................12
D. CONDITIONNEL (IMPLICATION).........................................................................................................................................................14
Donnez l’inverse, l’inverse et la contrapositive des énoncés conditionnels suivants......................................................................................17
E. BI-CONDITIONNEL (DOUBLE IMPLICATION)...................................................................................................................................18
EXERCICE 1:
Symbolisez l'énoncé en utilisant des majuscules pour abréger les
énoncés ou propositions simples (énoncés positivement)
1. Si Neil n'est pas un gros mangeur ou si Len a une grosse voix,
alors Jerry aime la violette.
Énoncez d’abord les lieux :
¢ N : Neil est un gros mangeur
¢ L : Lena a une grande voix
¢ J = Jerry aime le violet
2. Si x = 5, alors x 2 = 25.