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 (c ∧ b) → a?

(c ∧ b) → a

N =

2.Lengvas

Kiek eilučių N turi pilna ((r ↔ q) ∧ p) ∧ (q ∨ r) teisingumo lentelė?

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

N =

3.Vidutinis

Kiek iš 8 teisingumo lentelės eilučių (¬p ∨ r) ∧ (r → ¬q) yra teisinga? Pažymėkite šį skaičių N.

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

N =

4.Vidutinis

Kiek iš 8 teisingumo lentelės eilučių ¬((q ∧ p) → ¬(p → r)) yra teisinga? Pažymėkite šį skaičių N.

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

N =

5.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))

6.Sunkus

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

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

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

Atsakymai

1. N = 7
2. N = 8
3. N = 4
4. N = 1
5. ∃x (¬A(x) ∧ ¬B(x))
6. ∃x (F(x) ∧ ∀y ¬R(x, y))

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