Solutions
R´eponse 1
a. Une proposition logique est un ´enonc´e qui est soit vrai ou faux, mais pas les deux en mˆeme temps.
Un pr´edicat est un ´enonc´e pour lequel pour chaque valeur de la variable, on obtient une proposition
logique.
b. Des propositions logiques pet qsont ´equivalente si p↔qest une tautologie. En d’autre mots, pet q
ont la mˆeme table de v´erit´e.
c. ∀x, p(x) est fausse si p(x) est faux pour au moins une valeur de x.
d. ∃x, p(x) est fausse si p(x) est faux pour toutes les valeurs de x.
e. Une contradiction est une proposition logique qui est toujours fausse.
R´eponse 2
a. Vrai
b. Faux
c. Vrai
d. Faux
e. Vrai
R´eponse 3 On veut d´emontrer que (p∨q)∧(¬p)→qest une tautologie.
M´ethode 1 : Nous allons proc´ed´e en faisant une table de v´erit´e :
p q p ∨q¬p(p∨q)∧(¬p) (p∨q)∧(¬p)→q
V V V F F V
V F V F F V
F V V V V V
F F F V F V
Comme il s’agit d’une tautologie, la r`egle d’inf´erence est correcte.
M´ethode 2 : Nous allons utiliser les ´equivalences logiques :
(p∨q)∧(¬p)→q⇔((p∧ ¬p)∨(q∧ ¬p)) →qDistributivit´e
⇔(F∨(q∧ ¬p)) →q
⇔(q∧ ¬p)→qIdentit´e
⇔ ¬(q∧ ¬p)∨q´
Equivalence avec le connecteur d’implication
⇔(¬q∨ ¬¬p)∨qLoi de De Morgan
⇔(¬q∨p)∨qDouble n´egation
⇔(p∨ ¬q)∨qCommutativit´e
⇔p∨(¬q∨q) Associativit´e
⇔p∨V
⇔VDomination
Comme il s’agit d’une tautologie, la r`egle d’inf´erence est correcte.
R´eponse 4
a. p↔q
b. p∧ ¬q
c. ¬(p∧q)
3