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
abb ∨ a11100100

Dokładnie jeden wiersz tablicy prawdy czyni b ∨ a fałszywym. Kliknij ten wiersz.

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

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

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

Która formuła jest logicznie równoważna a → c? Kliknij ją.

a → c
  1. 1¬a ∧ c
  2. 2a ∨ ¬c
  3. 3¬a → ¬c
  4. 4¬a ∨ c
4.Średni
¬b ∨ ¬cb ∧ ¬cb ↔ ¬c¬b ↔ ¬c

Która formuła jest logicznie równoważna ¬(b ↔ c)? Kliknij ją.

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

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

¬∃x ∀y R(x, y)
  1. 1∃x ∀y ¬R(x, y)
  2. 2∀x ∀y ¬R(x, y)
  3. 3∃x ∃y ¬R(x, y)
  4. 4∀x ∃y ¬R(x, y)
6.Trudny
∀x ¬F(x)∀x F(x)∃x F(x)∃x ¬F(x)

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

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

Klucz odpowiedzi

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

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