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

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

¬((q → ¬r) → (¬p ∨ ¬(¬p ∧ r)))
N =
2.Lengvas
pqq ∨ (p → q)11100100

Lygiai viena teisingumo lentelės eilutė daro q ∨ (p → q) klaidingą. Spustelėkite tą eilutę.

q ∨ (p → q)
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
3.Vidutinis
tautologijaprieštarakontingencija

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

(p → q) ↔ (q → p)
  1. 1tautologija
  2. 2prieštara
  3. 3kontingencija
4.Vidutinis
tautologijaprieštarakontingencija

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

((r ∨ q) ∧ r) → ¬q
  1. 1tautologija
  2. 2prieštara
  3. 3kontingencija
5.Sunkus
pq¬qq ∧ ¬p

Duotos prielaidos (r ∧ q) → p; r; ¬p. Kokia išvada iš jų išplaukia? Spustelėkite ją.

(r ∧ q) → pr¬p
  1. 1p
  2. 2q
  3. 3¬q
  4. 4q ∧ ¬p
6.Sunkus
bcb → ccb11100100

Argumentas su prielaidomis b → c; c ir išvada b negalioja. Spustelėkite teisingumo lentelės eilutę, kuri yra kontrapavyzdys.

b → cc∴ b
  1. 1b = 1, c = 1
  2. 2b = 1, c = 0
  3. 3b = 0, c = 1
  4. 4b = 0, c = 0

Atsakymai

  1. 1. N = 8
  2. 2. p = 1, q = 0
  3. 3. kontingencija
  4. 4. kontingencija
  5. 5. ¬q
  6. 6. b = 0, c = 1

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