Užduočių lapas tema Teiginių logika ir įrodymai su atsakymais

Nemokamas spausdinamas užduočių lapas tema Teiginių logika ir įrodymai: 6 uždavinių nuo lengvų iki egzamino lygio, su atsakymais. Atsispausdinkite arba išsaugokite kaip PDF.

Naujas užduočių lapas Praktikuokitės internete su užuominomis

Mokytojams: galima nemokamai spausdinti, kopijuoti ir naudoti per pamokas. Kiekvienas naujas lapas turi naujas reikšmes ir savo atsakymų raktą. Būsime dėkingi už nuorodą į ExamProblems jūsų kurso puslapyje.

Vardas: ____________________ Data: ____________

1.Lengvas

Užpildykite teisingumo lentelę (1 = teisinga, 0 = klaidinga). Kiek eilučių N yra teisinga (p → q) ∧ p?

(p → q) ∧ p

N =

2.Lengvas

Užrašyta pilna ¬(r ↔ (q → p)) ∨ ¬((q ∧ p) → r) teisingumo lentelė. Kiek eilučių N yra p = 1 ir q = 0?

¬(r ↔ (q → p)) ∨ ¬((q ∧ p) → r)

N =

3.Vidutinis

Kuri formulė yra logiškai ekvivalenti p ↔ q? Spustelėkite ją.

p ↔ q

1(p → q) ∨ (q → p)
2(p → q) ∧ (¬q → ¬p)
3(p → q) ∧ (q → p)
4p ∧ q

4.Vidutinis

Kuri formulė yra logiškai ekvivalenti ¬(r ∧ p)? Spustelėkite ją.

¬(r ∧ p)

1¬r ∨ ¬p
2¬r ∧ p
3¬r ∨ p
4¬r ∧ ¬p

5.Sunkus

Kuris teiginys yra ekvivalentus ¬∀x ∀y (R(x, y) → R(y, x)), kai neigimas perkeltas iki pat vidaus? Spustelėkite jį.

¬∀x ∀y (R(x, y) → R(y, x))

1∃x ∃y (R(x, y) → ¬R(y, x))
2∃x ∃y (R(x, y) ∧ ¬R(y, x))
3∃x ∃y (¬R(x, y) ∧ ¬R(y, x))
4∀x ∀y (R(x, y) ∧ ¬R(y, x))

6.Sunkus

Kuris teiginys yra ekvivalentus ¬∃x (A(x) ∧ B(x)), kai neigimas perkeltas iki pat vidaus? Spustelėkite jį.

¬∃x (A(x) ∧ B(x))

1∀x (A(x) → ¬B(x))
2∀x (A(x) ∧ ¬B(x))
3∃x (A(x) → ¬B(x))
4∃x (¬A(x) ∧ ¬B(x))

Atsakymai

1. N = 1
2. N = 2
3. (p → q) ∧ (q → p)
4. ¬r ∨ ¬p
5. ∃x ∃y (R(x, y) ∧ ¬R(y, x))
6. ∀x (A(x) → ¬B(x))

Išsamūs sprendimai žingsnis po žingsnio: praktikuokite šią temą svetainėje examproblems.com.