Matematica Discretă

(Logica Predicate)
)
De
Muhammad Sohaib Yousaf
Logica predicatelor
• Fie P(x) afirmaț ia „x > 7.” Care dintre acestea are valoare de adevăr?
adevărat?
a) P (0)
b) P (4)
c) P (6)
d) P (9)
Logica Predicatelor
• Să denotăm P (x) declaraț ia „x >7.” Care dintre acestea are valoare de adevăr
adevărat?
a) P (0)
b) P (4)
c) P (6)
d) P (9)
Vezi răspunsul
•r
Explicaț ie: Pune x=9, 9>7 care este adevărat.
Logica predicatelor
• Fie Q(x) afirmaț ia "x < 5." Care este valoarea de adevăr a
∀ având domenii ca numere reale.
quanticaț ia xQ(x),
a) Adevărat
b) Fals
Logica predicatelor
• Să fie Q(x) afirmaț ia „x < 5.” Care este valoarea de adevăr a acesteia?
∀
quantificator xQ(x), având domenii ca numere reale.
a) Adevărat
b) Fals
Vezi răspunsul
• Răspuns: b
Explicaț ie: Q(x) nu este adevărată pentru fiecare număr real x, pentru că, pentru
de exemplu, Q(6) este fals. Asta înseamnă că x = 6 este un contraexemplu pentru
afirma ț ia ∀
xQ(x). Aceasta este falsă
Logica predicatelor
∀ a n(n + 1 > n) dacă domeniul constă în
• Determinaț i valoarea de adevăr
toate numerele reale.
a) Adevărat
b) Fals
Logica predicatelor
∀ a n(n + 1 > n) dacă domeniul constă în
• Determinaț i valoarea de adevăr
toate numerele reale.
a) Adevărat
b) Fals
Vezi răspunsul
• Răspuns: a
Explicaț ie: Nu există elemente în domeniu pentru care
afirmaț ia este falsă.
Logica Predicatelor
• Fie P(x) o afirmaț ie care spune „x = x + 7.” Care este valoarea de adevăr a acestuia?
cantificarea xP(x), ∃ unde domeniul constă din toate reale
numere?
a) Adevărat
b) Fals
Logica Predicate
• Să denotăm P(x) prin afirmaț ia „x = x + 7.” Care este valoarea de adevăr a
quantificarea xP(x),∃unde domeniul constă din toate reale
numere?
a) Adevărat
b) Fals
Vizualizaț i răspunsul
• Răspuns: b
Explicaț ie: Deoarece P(x) este fals pentru fiecare număr real x,
quantificarea existenț ială a Q(x), care este∃xP(x), este falsă
Logica predicatelor
• Să notăm R (x) afirmaț ia „x > 2.” Care este valoarea de adevăr a
∃
quantificator xR(x), având domeniul numerelor reale?
a) Adevărat
b) Fals
Logică Predicativă
• Să notăm R(x) prin afirmaț ia „x > 2.” Care este valoarea de adevăr a
∃
quantificator xR(x), având domeniul ca numere reale?
a) True
b) Fals
Vizualizaț i Răspunsul
• Răspuns: a
Explicaț ie: Pentru că "x > 2" este uneori adevărat - de exemplu, când x
∃ adevărată
= 3–quantificarea existenț ială a R(x), care este xR(x), este
Logica predicatelor
• Afirmatia „Fiecare comedian este amuzant” unde C(x) este „x este un
comedian” ș i F (x) este “x este amuzant” iar domeniul constă din toate
oameni.
a) ∃ x(C(x)∧ F (x))
b) ∀ x(C(x)∧ F (x))
c) ∃ x(C(x) → F(x))
d) ∀x(C(x) → F(x))
Logica predicatelor
• Afirmaț ia „Fiecare comedian este amuzant” unde C(x) este „x este un
comedian” ș i F (x) este “x este amuzant” ș i domeniul constă din toate
oameni.
a) ∃ x(C(x)∧ F (x))
b) ∀ x(C(x)∧ F (x))
c) ∃ x(C(x) → F(x))
d) ∀x(C(x) → F(x))
Vizualizaț i răspunsul
•r
Explicaț ie: Pentru fiecare persoană x, dacă este comediant, atunci x este amuzant.
Logica predicate
• „Toată lumea vrea să înveț e cosmologie.” Acest argument ar putea fi adevărat pentru
care domenii?
Toț i studenț ii din clasa ta de cosmologie
b) Toț i studenț ii la învăț ământul de cosmologie din lume
c) Ambele dintre cele menț ionate
d) Niciunul dintre cei menț ionaț i
Logica Predicate
• „Toată lumea vrea să înveț e cosmologie.” Acest argument poate fi adevărat pentru
care domenii?
toț i studenț ii din clasa ta de cosmologie
b) Toț i studenț ii la cosmologie din lume
c) Ambele menț ionate
d) Niciunul dintre menț ionaț i
Vezi răspunsul
• Răspuns: c
Explicaț ie: Domeniul poate fi limitat la clasa ta sau poate fi întreg.
lumea ambele sunt bune deoarece satisfac cuantificatorul universal.
Logic
• Propoziț iile compuse p ș i q sunt numite echivalente logic dacă
________ este o tautologie.
a) p ↔ q
b) p → q
c) ¬ (p ∨
q)
d) ¬p ∨
¬q
Logic
• Propoziț iile compuse p ș i q se numesc echivalente din punct de vedere logic dacă
________ este o tautologie.
a) p ↔ q
b) p → q
c) ¬ (p ∨
q)
d) ¬p ∨
¬q
Vezi răspunsul
• Răspuns: a
Explicaț ie: Definiț ia echivalenț ei logice
Logic
• p → q este echivalent din punct de vedere logic cu ________
a) ¬p ∨¬q
b) p ∨
¬q
c) ¬p ∨q
d) ¬p ∧q
Logic
• p → q este echivalent din punct de vedere logic cu ________
a) ¬p ∨¬q
b) p ∨
¬q
c) ¬p ∨q
d) ¬p ∧q
Vezi răspunsul
•r
∨
(p → q) ↔ (¬p q) este o tautologie.
Logic
• p ∨q este echivalent din punct de vedere logic cu ________
a) ¬q → ¬p
b) q → p
c) ¬p → ¬q
d) ¬p → q
Logic
• p ∨q este echivalent din punct de vedere logic cu ________
a) ¬q → ¬p
b) q → p
c) ¬p → ¬q
d) ¬p → q
Vizualizaț i răspunsul
•r
∨ este o tautologie
(p q) ↔ (¬p → q)
Logic
• ¬ (p ↔ q) este echivalent logic cu ________
a) q↔p
b) p↔¬q
c) ¬p↔¬q
d) ¬q↔¬p
Logic
• ¬ (p ↔ q) este echivalent din punct de vedere logic cu ________
a) q↔p
b) p↔¬q
c) ¬p↔¬q
d) ¬q↔¬p
Vezi răspunsul
• Răspuns: b
Explicaț ie: ¬(p↔q)↔(p↔¬q) este tautologie.
Logic
• p ∧q este echivalent din punct de vedere logic cu ________
a) ¬ (p → ¬q)
(p → ¬q)
c) (¬p → ¬q)
(¬p → q)
Logic
• p ∧q este echivalent din punct de vedere logic cu ________
a) ¬ (p → ¬q)
b) (p → ¬q)
(¬p → ¬q)
(¬p → q)
Vezi răspunsul
• Răspuns: a
(p q) ↔ (¬(p →∧¬q)) este o tautologie.
Logic
• Care dintre următoarele afirmaț ii este corectă?
a) p ∨
q≡qp ∨
b) ¬(p ∧
q) ≡ ¬p ¬q∨
c) (p ∨
q) r ≡∨p ∨
(q r) ∨
d) Tot ce a fost menț ionat
Logic
• Care dintre următoarele afirmaț ii este corectă?
a) p ∨
q≡qp ∨
b) ¬(p ∧
q) ≡ ¬p ¬q∨
c) (p ∨
q) r ≡∨p ∨
(q r) ∨
d) Toate cele menț ionate
Vezi răspunsul
• Răspuns: d
Explicaț ie: Verificaț i folosind tabelul adevărului, toate sunt corecte.
Logic
• p ↔ q este logic echivalent cu ________
(p → q) → (q → p)
(p → q) (q ∨
→ p)
(p → q) (q∧→ p)
(p q) ∧
→ (q p) ∧
Logic
• p ↔ q este logic echivalent cu ________
(p → q) → (q → p)
(p → q) (q ∨
→ p)
(p → q) (q∧→ p)
(p q) ∧
→ (q p) ∧
Vezi răspunsul
•c
(p ↔ q) ↔ ((p → q) (q → p)) este ∧
o tautologie.
Logic
• (p → q) (p∧
→ r) este echivalent din punct de vedere logic cu ________
a) p → (q ∧ r)
b) p → (q ∨ r)
c) p ∧
(q r) ∨
d) p ∨
(q r) ∧
Logic
• (p → q) (p∧
→ r) este echivalent din punct de vedere logic cu ________
a) p → (q ∧ r)
b) p → (q ∨ r)
c) p ∧
(q r) ∨
d) p ∨
(q r) ∧
Vezi răspunsul
• răspuns: a
Explicaț ie: ((p → q) ∧
(p → r)) ↔ (p → (q r))∧este tautologie.
Logica
• (p → r) (q∨
→ r) este echivalent din punct de vedere logic cu ________
a) (p ∧
q) r ∨
(p q) ∨→r
c) (p ∧
q) → r
(p → q) → r
Vezi răspunsul
•r
∨ → r)) ↔ ((p q) ∧
Explicaț ie: ((p → r) (q → r) este tautologie.
Logic
• (p → r) (q∨
→ r) este echivalent din punct de vedere logic cu ________
(p q) ∧r ∨
(p q) ∨→r
c) (p ∧
q) → r
(p → q) → r
Vezi răspunsul
•r
∨ → r)) ↔ ((p q) ∧
Explicaț ie: ((p → r) (q → r) este tautologie.
Logică
• ¬ (p ↔ q) este echivalent logic cu ________
a) p ↔ ¬q
b) ¬p ↔ q
c) ¬p ↔ ¬q
d) ¬q ↔ ¬p
Logical
• ¬ (p ↔ q) este echivalent logic cu ________
a) p ↔ ¬q
b) ¬p ↔ q
c) ¬p ↔ ¬q
d) ¬q ↔ ¬p
Vezi răspunsul
• Răspuns: a
Explicaț ie: (¬ (p ↔ q)) ↔ (p ↔ ¬q) este o tautologie.