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 ∨ q)?

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

N =

2.Lengvas

Lygiai viena teisingumo lentelės eilutė daro (a ↔ b) ∨ (b ∨ ¬a) klaidingą. Spustelėkite tą eilutę.

(a ↔ b) ∨ (b ∨ ¬a)

1a = 1, b = 1
2a = 1, b = 0
3a = 0, b = 1
4a = 0, b = 0

3.Vidutinis

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

¬(q ∧ p)

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

4.Vidutinis

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

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

N =

5.Sunkus

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

¬∀x P(x)

1∃x ¬P(x)
2∃x P(x)
3∀x P(x)
4∀x ¬P(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 = 3
2. a = 1, b = 0
3. ¬q ∨ ¬p
4. N = 7
5. ∃x ¬P(x)
6. ∃x (A(x) ∧ ¬B(x))

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