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 ¬(r ∨ ¬q) → ¬p?

¬(r ∨ ¬q) → ¬p

N =

2.Lengvas

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

(a ∨ ¬(a → b)) ∨ ((c ∧ ¬b) ∨ ¬c)

N =

3.Vidutinis

Norite įrodyti ¬p → (q ∨ r) kontrapozicija. Kurią implikaciją įrodote vietoj jos? Spustelėkite ją.

¬p → (q ∨ r)

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

4.Vidutinis

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

p ∨ (q ∧ r)

1(p ∨ q) ∧ r
2(p ∨ q) ∧ (p ∨ r)
3(p ∧ q) ∨ (p ∧ r)
4p ∧ (q ∨ r)

5.Sunkus

Kiek iš 16 teisingumo lentelės eilučių daro ¬(¬r ∨ (s ∧ ¬p)) ∨ ¬((p → s) ↔ (q ∧ r)) teisingą? Pažymėkite šį skaičių N.

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

N =

6.Sunkus

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

¬∃x (F(x) → G(x))

1∀x (F(x) → ¬G(x))
2∃x (F(x) ∧ ¬G(x))
3∀x (¬F(x) → ¬G(x))
4∀x (F(x) ∧ ¬G(x))

Atsakymai

1. N = 7
2. N = 2
3. ¬(q ∨ r) → ¬¬p
4. (p ∨ q) ∧ (p ∨ r)
5. N = 13
6. ∀x (F(x) ∧ ¬G(x))

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