Problèmes de logique propositionnelle
Traduit par
ScribdTranslationsProblèmes de logique propositionnelle
Traduit par
ScribdTranslationsProblèmes de pratique en logique propositionnelle
1. Let p denote “He is rich” and let q denote “He is happy.” Write each statement in symbolic
formule utilisant p et q. Notez que "Il est pauvre" et "Il est malheureux" sont équivalents à ¬p et
¬q, respectivement.
(a) S'il est riche, alors il est malheureux.
Il est nécessaire d'être pauvre pour être heureux.
Il n'est ni riche ni heureux.
(d) Être pauvre, c'est être malheureux
2. Soit p et q les propositions "Nager à la côte du New Jersey est autorisé" et "Les requins
ont été repérés près de la rive,
comme une phrase anglaise.
a)¬q g)p⇐⇒¬q
b)p∧q h)¬p∧(p∨ ¬q)
c)¬p∨q i)p⊕q
d)p→ ¬q
e)¬q→p
f)¬p→¬q
3. Soit p et q les propositions
Vous conduisez à plus de 65 miles par heure.
Vous recevez une contravention pour excès de vitesse.
Écrivez ces propositions en utilisant p et q et des connecteurs logiques (y compris des négations).
a) Vous ne conduisez pas à plus de 65 miles par heure.
b) Vous conduisez à plus de 65 miles par heure, mais vous ne recevez pas de contravention pour excès de vitesse.
Vous recevrez une contravention si vous conduisez à plus de 65 miles par heure.
d) Si vous ne roulez pas à plus de 65 miles par heure, vous ne recevrez pas de contravention pour excès de vitesse.
e) Conduire à plus de 65 miles par heure est suffisant pour recevoir une contravention pour excès de vitesse.
f) Vous recevez une contravention pour excès de vitesse, mais vous ne dépassez pas 65 miles par heure.
g) Chaque fois que vous recevez une contravention pour excès de vitesse, vous conduisez à plus de 65 miles par heure.
4. State the converse, contrapositive, and inverse of each of these conditional statements.
a) S'il neige aujourd'hui, je skierai demain.
b) Je viens en classe chaque fois qu'il y a un quiz.
c) Un entier positif est un prime seulement s'il n'a pas de diviseurs autres que 1 et lui-même.
5. Montrez que ¬(p ∧q) ≡ ¬p ∨ ¬q.
6. Montrez que la proposition est une tautologie : p → (p ∧ (q → p))
7. Construct the truth table for (p→q)↔(¬q→ ¬p)
8. Construct the truth table for (p ⊕q)→(p⊕ ¬q)
9. Montrez que "Lors de la Coupe du Monde de la FIFA, soit l'Allemagne atteindra la finale, soit l'Angleterre et
L'Argentine atteindra la finale" et "l'Allemagne ou l'Angleterre atteindront la finale, et l'Allemagne
ou l'Argentine atteindra la finale" sont équivalents logiquement.
10. Soit P(x) l'énoncé "x passe plus de cinq heures chaque jour de la semaine en classe."
Le domaine pour x consiste en tous les étudiants. Exprimez chacune de ces quantifications en anglais.
a)∃xP(x)
b) ∀xP(x)
c)∃x¬P(x)
d) ∀x¬P(x)
11. Traduisez ces énoncés en anglais, où C(x) est « x est un comédien » et F(x) est « x est
drôle" et le domaine consiste en toutes les personnes.
a) ∀x(C(x)→F(x))
b)∀x(C(x)∧F(x)
c)∃x(C(x)→F(x)
d)∃x(C(x)∧F(x)
12. Traduisez ces déclarations en anglais, où
A(x): x is teaching CSE230
T(x) : x suit le STA201
F(x) : x a une page Facebook
C(x): x likes to cook
a)∀x(T(x)→F(x))
b)∃x(T(x)∧A(x)
c)¬∀x(T(x)→(F(x)∨C(x))
13. Traduisez chacune de ces déclarations en expressions logiques en utilisant des prédicats, des quantificateurs et
connecteurs logiques.
Personne n'est parfait.
b) Tout le monde n'est pas parfait.
c) Tous vos amis sont parfaits.
d) At least one of your friends is perfect.
e) Tout le monde est votre ami et est parfait.
f ) Tout le monde n'est pas votre ami ou quelqu'un n'est pas parfait.
14. Soit P(x) l'énoncé "x peut parler anglais" et soit Q(x) l'énoncé "x sait
langage de programmation Python. » Exprimez chacune de ces phrases en termes de P(x), Q(x),
Les quantificateurs et les connecteurs logiques. Le domaine des quantificateurs est constitué de tous les étudiants à
votre école.
(a) Il y a un élève dans votre école qui parle anglais et qui connaît Python.
(b) Il y a un élève dans votre école qui sait parler anglais mais qui ne connaît pas Python.
(c) Chaque élève de votre école peut soit parler anglais, soit connaître Python.
Aucun élève de votre école ne parle anglais et ne connaît Python.
15. Soit P(x), Q(x), et R(x) les énoncés "x est professeur", "x est ignorant", et "x est
vain," respectivement. Exprimez chacune de ces déclarations en utilisant des quantificateurs ; connecteurs logiques ;
et P(x), Q(x) et R(x), où le domaine est constitué de toutes les personnes.
a) Aucun professeur n'est ignorant.
b) Toutes les personnes ignorantes sont vaniteuses.
c) Aucun professeur n'est vaniteux.