Rachunek zdań i dowody: karta pracy z odpowiedziami

Darmowa karta pracy do druku – Rachunek zdań i dowody: 6 zadań od łatwych do poziomu egzaminu, z kluczem odpowiedzi. Wydrukuj ją lub zapisz jako PDF.

Nowa karta pracyĆwicz online z podpowiedziami

Dla nauczycieli: można bezpłatnie drukować, kopiować i używać na zajęciach. Każdy nowy arkusz ma nowe wartości i własny klucz odpowiedzi. Będziemy wdzięczni za link do ExamProblems na stronie kursu.

Imię: ____________________   Data: ____________

1.Łatwy
pqq ∨ ¬p11100100

Dokładnie jeden wiersz tablicy prawdy czyni q ∨ ¬p fałszywym. Kliknij ten wiersz.

q ∨ ¬p
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
2.Łatwy
ab¬(b ∨ (¬b → ¬a))11100100

Dokładnie jeden wiersz tablicy prawdy czyni ¬(b ∨ (¬b → ¬a)) prawdziwym. Kliknij ten wiersz.

¬(b ∨ (¬b → ¬a))
  1. 1a = 1, b = 1
  2. 2a = 1, b = 0
  3. 3a = 0, b = 1
  4. 4a = 0, b = 0
3.Średni
¬(b ∧ c) ∧ ¬a¬(b ∧ c) → ¬a¬(b ∧ c) ∧ a(b ∧ c) ∧ ¬a

Chcesz udowodnić (b ∧ c) → a nie wprost. Jakie zdanie zakładasz na początku? Kliknij je.

(b ∧ c) → a
  1. 1¬(b ∧ c) ∧ ¬a
  2. 2¬(b ∧ c) → ¬a
  3. 3¬(b ∧ c) ∧ a
  4. 4(b ∧ c) ∧ ¬a
4.Średni
¬(a ∨ b) ∧ ¬c¬(a ∨ b) → ¬c(a ∨ b) ∧ ¬c¬(a ∨ b) ∧ c

Chcesz udowodnić (a ∨ b) → c nie wprost. Jakie zdanie zakładasz na początku? Kliknij je.

(a ∨ b) → c
  1. 1¬(a ∨ b) ∧ ¬c
  2. 2¬(a ∨ b) → ¬c
  3. 3(a ∨ b) ∧ ¬c
  4. 4¬(a ∨ b) ∧ c
5.Trudny
∃x (F(x) → ∀y ¬R(x, y))∀x (F(x) ∧ ∀y ¬R(x, y))∃x (¬F(x) ∧ ∃y R(x, y))∃x (F(x) ∧ ∀y ¬R(x, y))

Które zdanie jest równoważne ¬∀x (F(x) → ∃y R(x, y)), gdy negację przesunięto całkiem do środka? Kliknij je.

¬∀x (F(x) → ∃y R(x, y))
  1. 1∃x (F(x) → ∀y ¬R(x, y))
  2. 2∀x (F(x) ∧ ∀y ¬R(x, y))
  3. 3∃x (¬F(x) ∧ ∃y R(x, y))
  4. 4∃x (F(x) ∧ ∀y ¬R(x, y))
6.Trudny
¬bc¬b ∧ cb

Dane są przesłanki b → c; ¬c. Jaki wniosek z nich wynika? Kliknij go.

b → c¬c
  1. 1¬b
  2. 2c
  3. 3¬b ∧ c
  4. 4b

Klucz odpowiedzi

  1. 1. p = 1, q = 0
  2. 2. a = 1, b = 0
  3. 3. (b ∧ c) ∧ ¬a
  4. 4. (a ∨ b) ∧ ¬c
  5. 5. ∃x (F(x) ∧ ∀y ¬R(x, y))
  6. 6. ¬b

Pełne rozwiązania krok po kroku: ćwicz ten temat na examproblems.com.