Page 3 - course1-19-21_Neat

Representation syntaxique

e
Alg`bre I -
Logique et Exemple
Raisonne-
ments
S’il fait beau et que l’on est pas samedi alors je fais du
Patrick
e
RABARISON v´lo.
e
Si je fais du v´lo alors c’est le printemps.
e
Ce probl`me peut etre mod´lis´ sous la forme suivante :
e
e
variable propositionnelle b = il fait beau
variable propositionnelle s = on est samedi
e
variable propositionnelle f = je fais du v´lo
variable propositionnelle p = c’est le printemps
(((b ∧ (¬s)) ⇒ f )
(f ⇒ p)

e
Patrick RABARISON Alg`bre I - Logique et Raisonnements