Devoir 2

Question 1.

a) Frege a écrit Les fondements de l’arithmétique et Les lois fondamentales de l’arithmétique.

Dictionnaire :
p : Frege a écrit Les fondements de l’arithmétique.
q : Frege a écrit Les lois fondamentales de l’arithmétique.
Traduction en calcul propositionnel :
p∧q

b) Frege a inventé les quantificateurs.

Dictionnaire :
p : Frege a inventé les quantificateurs.
Traduction en calcul propositionnel :
p

c) Frege était un mathématicien seulement s’il était un logicien et, s’il était un logicien, alors il était
un mathématicien.
Dictionnaire :
p : Frege était un mathématicien.
q : Frege était un logicien.
Traduction en calcul propositionnel :
q≡p

d) Ce n’est pas le cas que Frege n’a pas reçu la lettre de Russell.
Dictionnaire :
p : Frege a reçu la lettre de Russell.
Traduction en calcul propositionnel :
p ou ¬( ¬p)

e) Aucun logicien ne lit Principia Mathematica.

Dictionnaire :
p : Les logiciens lisent Principia Mathematica.
Traduction en calcul propositionnel :
¬p

Question 2.
La philosophie ne mène pas à la sagesse si et seulement s’il faut étudier la philosophie. Or, la
philosophie mène à la sagesse ou la sagesse n’est pas une condition de connaissance de la vérité. Par
conséquent, il faut étudier la philosophie et la sagesse est une condition de connaissance de la vérité.

(1) La philosophie ne mène pas à la sagesse si et seulement s’il faut étudier la philosophie.
(2) La philosophie mène à la sagesse ou la sagesse n’est pas une condition de connaissance de la
vérité.

____________________________________________________________________________

(C) Il faut étudier la philosophie et la sagesse est une condition de connaissance de la vérité.

Dictionnaire :

p : La philosophie mène à la sagesse.

q : Il faut étudier la philosophie.

r : La sagesse est une condition de connaissance de la vérité.

Traduction en calcul propositionnel :

((¬p ≡ q) ∧ (p ∨ ¬r)) ∧ (q ∧ r)

Question 3.

a) ¬(p ⊃ ¬q)

Table de vérité :

p q ¬ (p ⊃ ¬ q)

V V F V F

V F F V V

F V V F F

F F V F V

b) ¬(p ≡ (p ∨ ¬q))
Table de vérité :

p q ¬ (p ≡ (p ∨ ¬ q))

V V F V V F

V F F V V V

F V V F F F

F F F V V V