Logique des prédicats en mathématiques
Traduit par
ScribdTranslationsLogique des prédicats en mathématiques
Traduit par
ScribdTranslationsMathématiques discrètes
(Logique des prédicats
)
Par
Muhammad Sohaib Yousaf
Logique des prédicats
• Soit P(x) l'énoncé "x >7". Lequel de ceux-ci a une valeur de vérité ?
vrai ?
a) P (0)
b) P (4)
c) P (6)
d) P (9)
Logique des prédicats
• Laissez P (x) désigner l'énoncé « x > 7. » Lequel de ceux-ci a une valeur de vérité ?
vrai?
a) P (0)
b) P (4)
c) P (6)
d) P (9)
Voir la réponse
• Réponse : d
Explication : Mettez x=9, 9>7 ce qui est vrai.
Logique des prédicats
• Soit Q(x) l’énoncé « x < 5 ». Quelle est la valeur de vérité de la
∀
quantification xQ(x), ayant des domaines comme les nombres réels.
a) Vrai
b) Faux
Logique prédicative
• Soit Q(x) l'énoncé "x < 5." Quelle est la valeur de vérité de la
∀ ayant des domaines comme des nombres réels.
quanticaton xQ(x),
a) Vrai
b) Faux
Voir la réponse
• Répondre : b
Explication : Q(x) n'est pas vrai pour chaque nombre réel x, car, pour
par exemple, Q(6) est faux. C'est-à-dire que x = 6 est un contre-exemple pour le
L'énoncé ∀
xQ(x). Ceci est faux
Logique prédicative
∀ n(n + 1 > n) si le domaine consiste en
• Déterminez la valeur de vérité de
tous les nombres réels.
a) Vrai
b) Faux
Logique des prédicats
∀ n(n + 1 > n) si le domaine consiste en
• Déterminez la valeur de vérité de
tous les nombres réels.
a) Vrai
b) False
Voir la réponse
• Répondre : a
Explication : Il n'y a pas d'éléments dans le domaine pour lesquels le
la déclaration est fausse.
Logique des prédicats
• Soit P(x) l'énoncé « x = x + 7. » Quelle est la valeur de vérité de
∃ où le domaine consiste en tous les réels
la quantification xP(x),
nombres ?
a) Vrai
b) Faux
Logique des prédicats
• Soit P(x) la déclaration "x = x + 7." Quelle est la valeur de vérité de
∃ où le domaine consiste en tous les réels
la quantification xP(x),
nombres ?
a) Vrai
b) Faux
Voir la réponse
• Répondre : b
Explication : Parce que P(x) est faux pour chaque nombre réel x, le
∃ xP(x), est fausse
la quantification existentielle de Q(x), qui est
Logique des prédicats
• Soit R (x) l'énoncé « x > 2 ». Quelle est la valeur de vérité de l'
∃
quantification xR(x), ayant pour domaine les nombres réels ?
a) Vrai
b) Faux
Logique des prédicats
• Soit R (x) désignant l'énoncé « x > 2 ». Quelle est la valeur de vérité de la
∃ ayant pour domaine les nombres réels?
quanticaton xR(x),
a) Vrai
b) Faux
Voir la réponse
• Répondre : a
Explication : Parce que "x > 2" est parfois vrai—par exemple, quand x
= 3–la quantification existentielle de R(x), qui est xR(x),∃est vraie
Logique des prédicats
• L'énoncé, "Chaque comédien est drôle" où C(x) est "x est un
comedian” and F (x) is “x is funny” and the domain consists of all
gens.
a) ∃ x(C(x)∧ F (x))
b) ∀ x(C(x)∧ F (x))
c) ∃ x(C(x) → F(x))
d) ∀x(C(x) → F(x))
Logique des prédicats
• L'énoncé, "Chaque comédien est drôle" où C(x) est "x est un"
« comédien » et F (x) est « x est drôle » et le domaine consiste en tout
gens.
a) ∃ x(C(x)∧ F (x))
b) ∀ x(C(x)∧ F (x))
c) ∃ x(C(x) → F(x))
d) ∀x(C(x) → F (x))
Voir la réponse
• Répondre : d
Explication : Pour chaque personne x, si humoriste alors x est drôle
Logique des prédicats
• « Tout le monde veut apprendre la cosmologie. » Cet argument peut être vrai pour
quels domaines ?
a) Tous les étudiants de votre cours de cosmologie
b) Tous les étudiants en cosmologie dans le monde
c) Les deux mentionnés
d) Aucun des mentionnés
Logique prédicative
• «Tout le monde veut apprendre la cosmologie.» Cet argument peut être vrai pour
quels domaines ?
a) Tous les étudiants de votre cours de cosmologie
b) Tous les étudiants en cosmologie dans le monde
c) Les deux mentionnés
d) Aucun des mentionnés
Voir la réponse
• Répondre : c
L'explication : Le domaine peut être limité à votre classe ou peut être entier.
le monde les deux sont bons car ils satisfont le quantificateur universel.
Logique
• Les propositions composées p et q sont appelées équivalentes logiquement si
________ est une tautologie.
a) p ↔ q
b) p → q
c) ¬ (p ∨
q)
d) ¬p ∨
¬q
Logique
• Les propositions composées p et q sont appelées équivalentes logiquement si
________ est une tautologie.
a) p ↔ q
b) p → q
c) ¬ (p ∨
q)
d) ¬p ∨
¬q
Voir la réponse
• Répondre : a
Explication : Définition de l'équivalence logique
logique
• p → q est logiquement équivalent à ________
a) ¬p ∨
¬q
b) p ∨
¬q
c) ¬p ∨
q
d) ¬p ∧
q
Logical
• p → q est logiquement équivalent à ________
a) ¬p ∨
¬q
b) p ∨
¬q
c) ¬p ∨
q
d) ¬p ∧
q
Voir la réponse
• Réponse : c
∨
(p → q) ↔ (¬p q) est une tautologie.
Logique
• p ∨q est logiquement équivalent à ________
a) ¬q → ¬p
b) q → p
c) ¬p → ¬q
d) ¬p → q
Logique
• p ∨q est logiquement équivalent à ________
a) ¬q → ¬p
b) q → p
c) ¬p → ¬q
d) ¬p → q
Voir la réponse
• Réponse : d
∨ est une tautologie
(p q) ↔ (¬p → q)
Logique
• ¬ (p ↔ q) est logiquement équivalent à ________
a) q↔p
b) p↔¬q
c) ¬p↔¬q
d) ¬q↔¬p
Logique
• ¬ (p ↔ q) est logiquement équivalent à ________
a) q↔p
b) p↔¬q
c) ¬p↔¬q
d) ¬q↔¬p
Voir la réponse
• Répondre : b
L'explication : ¬(p↔q)↔(p↔¬q) est une tautologie.
Logique
• p ∧q est logiquement équivalent à ________
a) ¬ (p → ¬q)
b) (p → ¬q)
(¬p → ¬q)
(¬p → q)
Logique
• p ∧q est logiquement équivalent à ________
a) ¬ (p → ¬q)
(p → ¬q)
(¬p → ¬q)
(¬p → q)
Voir la réponse
• Réponse : a
(p q) ↔ (¬(p →∧¬q)) est une tautologie.
Logique
• Laquelle des affirmations suivantes est correcte ?
a) p ∨
q≡qp ∨
b) ¬(p ∧q) ≡ ¬p ¬q∨
(p q) ∨
r ≡ p∨(q∨r) ∨
d) Tout ce qui est mentionné
Logique
• Laquelle des déclarations suivantes est correcte ?
a) p ∨
q≡qp ∨
b) ¬(p ∧
q) ≡ ¬p ¬q∨
c) (p ∨
q) r ≡∨p ∨
(q r) ∨
d) Tout ce qui a été mentionné
Voir la réponse
• Répondre : d
Explication : Vérifiez à l'aide d'un tableau de vérité, tout est correct.
Logique
• p ↔ q est logiquement équivalent à ________
(p → q) → (q → p)
(p → q) (q ∨
→ p)
(p → q) (q∧→ p)
d) (p ∧
q) → (q p)∧
Logique
• p ↔ q est logiquement équivalent à ________
(p → q) → (q → p)
(p → q) (q ∨
→ p)
(p → q) (q∧→ p)
(p q) ∧
→ (q p) ∧
Voir la réponse
• Réponse : c
∧ tautologie.
(p ↔ q) ↔ ((p → q) (q → p)) est une
Logique
• (p → q) ∧ (p → r) est logiquement équivalent à ________
a) p → (q ∧ r)
b) p → (q ∨ r)
c) p ∧
(q r) ∨
d) p ∨
(q r) ∧
Logique
• (p → q) ∧ (p → r) est logiquement équivalent à ________
a) p → (q ∧ r)
b) p → (q ∨ r)
c) p ∧
(q r) ∨
d) p ∨
(q r) ∧
Voir la réponse
• répondre : a
∧ (p → r)) ↔ (p → (q ∧
L'explication : ((p → q) r)) est une tautologie.
Logique
• (p → r) ∨
(q → r) est logiquement équivalent à ________
(p q) ∧
r ∨
(p q) ∨
→r
(p q) ∧
→r
(p → q) → r
Voir la réponse
•c
L'explication : ((p → ∨ ∧ → r) est une tautologie.
r) (q → r)) ↔ ((p q)
Logique
• (p → r) ∨
(q → r) est logiquement équivalent à ________
(p q) ∧
r ∨
(p q) ∨
→r
(p q) ∧
→r
(p → q) → r
Voir la réponse
• réponse : c
L'explication : ((p → ∨ ∧ → r) est une tautologie.
r) (q → r)) ↔ ((p q)
Logique
• ¬ (p ↔ q) est logiquement équivalent à ________
a) p ↔ ¬q
b) ¬p ↔ q
c) ¬p ↔ ¬q
d) ¬q ↔ ¬p
Logique
• ¬ (p ↔ q) est logiquement équivalent à ________
a) p ↔ ¬q
b) ¬p ↔ q
c) ¬p ↔ ¬q
d) ¬q ↔ ¬p
Voir la réponse
• répondre : un
L'explication : (¬ (p ↔ q)) ↔ (p ↔ ¬q) est une tautologie.