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ų lapasPraktikuokitė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
pq¬((¬p ∨ q) → (p ∨ q))11?10?01?00?

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
ab(¬b ↔ ¬a) → ¬b11?10?01?00?

Užpildykite teisingumo lentelę (1 = teisinga, 0 = klaidinga). Kiek eilučių N yra teisinga (¬b ↔ ¬a) → ¬b?

(¬b ↔ ¬a) → ¬b
N =
3.Vidutinis
tautologijaprieštarakontingencija

Ar ((q ∨ p) ∧ ¬q) → p yra tautologija, prieštara ar kontingencija? Spustelėkite savo atsakymą.

((q ∨ p) ∧ ¬q) → p
  1. 1tautologija
  2. 2prieštara
  3. 3kontingencija
4.Vidutinis
(b → a) → c(b → c) ∧ (a → c)b → (a → c)b ∧ (a → c)

Kuri formulė yra logiškai ekvivalenti (b ∧ a) → c? Spustelėkite ją.

(b ∧ a) → c
  1. 1(b → a) → c
  2. 2(b → c) ∧ (a → c)
  3. 3b → (a → c)
  4. 4b ∧ (a → c)
5.Sunkus
pqrr → (q ∨ p)rq111110101100011010001000

Argumentas su prielaidomis r → (q ∨ p); r ir išvada q negalioja. Spustelėkite teisingumo lentelės eilutę, kuri yra kontrapavyzdys.

r → (q ∨ p)r∴ q
  1. 1p = 1, q = 1, r = 1
  2. 2p = 1, q = 1, r = 0
  3. 3p = 1, q = 0, r = 1
  4. 4p = 1, q = 0, r = 0
  5. 5p = 0, q = 1, r = 1
  6. 6p = 0, q = 1, r = 0
  7. 7p = 0, q = 0, r = 1
  8. 8p = 0, q = 0, r = 0
6.Sunkus
∃x (¬F(x) ∧ ¬G(x))∀x (¬F(x) ∧ ¬G(x))∀x (¬F(x) ∨ ¬G(x))∃x (¬F(x) ∨ ¬G(x))

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

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

Atsakymai

  1. 1. N = 1
  2. 2. N = 3
  3. 3. tautologija
  4. 4. b → (a → c)
  5. 5. p = 1, q = 0, r = 1
  6. 6. ∃x (¬F(x) ∧ ¬G(x))

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