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

Užrašyta pilna (p ∧ ¬q) ∨ (r ∧ ¬(q ∧ p)) teisingumo lentelė. Kiek eilučių N yra p = 1 ir q = 0?

(p ∧ ¬q) ∨ (r ∧ ¬(q ∧ p))
N =
2.Lengvas
abc¬a ∧ (b → c)111?110?101?100?011?010?001?000?

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

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

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

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

Norite įrodyti ¬a → (c ∨ b) kontrapozicija. Kurią implikaciją įrodote vietoj jos? Spustelėkite ją.

¬a → (c ∨ b)
  1. 1¬a ∧ ¬(c ∨ b)
  2. 2(c ∨ b) → ¬a
  3. 3¬¬a → ¬(c ∨ b)
  4. 4¬(c ∨ b) → ¬¬a
5.Sunkus
bcc → bbc11100100

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

c → bb∴ c
  1. 1b = 1, c = 1
  2. 2b = 1, c = 0
  3. 3b = 0, c = 1
  4. 4b = 0, c = 0
6.Sunkus
¬p¬p ∧ qqp

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

p → rr → q¬q
  1. 1¬p
  2. 2¬p ∧ q
  3. 3q
  4. 4p

Atsakymai

  1. 1. N = 2
  2. 2. N = 3
  3. 3. prieštara
  4. 4. ¬(c ∨ b) → ¬¬a
  5. 5. b = 1, c = 0
  6. 6. ¬p

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