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

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

b → (b ∧ ¬a)

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

2.Lengvas

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

a ∨ (¬b ↔ ¬a)

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

3.Vidutinis

Kiek iš 8 teisingumo lentelės eilučių ¬((a ∨ c) ∧ a) ∧ (¬c → b) yra teisinga? Pažymėkite šį skaičių N.

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

N =

4.Vidutinis

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

¬(q ↔ p)

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

5.Sunkus

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

(q ∧ r) → pq¬p

1r
2¬r
3r ∧ ¬p
4p

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. a = 1, b = 1
2. a = 0, b = 1
3. N = 3
4. q ↔ ¬p
5. ¬r
6. ∃x (¬F(x) ∧ ¬G(x))

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