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
pqp ∨ q11100100

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

p ∨ q
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
2.Łatwy
ab¬a → b11?10?01?00?

Uzupełnij tablicę prawdy (1 = prawda, 0 = fałsz). W ilu wierszach N formuła ¬a → b jest prawdziwa?

¬a → b
N =
3.Średni
¬a → ¬cc → a¬c → ¬a¬c ∧ ¬a

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

a → c
  1. 1¬a → ¬c
  2. 2c → a
  3. 3¬c → ¬a
  4. 4¬c ∧ ¬a
4.Średni
(p ∨ r) ∧ ¬q¬(p ∨ r) → ¬q¬q → ¬(p ∨ r)q → (p ∨ r)

Chcesz udowodnić (p ∨ r) → q przez kontrapozycję. Którą implikację udowadniasz zamiast niej? Kliknij ją.

(p ∨ r) → q
  1. 1(p ∨ r) ∧ ¬q
  2. 2¬(p ∨ r) → ¬q
  3. 3¬q → ¬(p ∨ r)
  4. 4q → (p ∨ r)
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 ∀y ¬R(x, y)∀x ∀y ¬R(x, y)∀x ∃y ¬R(x, y)∃y ∀x ¬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∃y ∀x ¬R(x, y)

Klucz odpowiedzi

  1. 1. p = 0, q = 0
  2. 2. N = 3
  3. 3. ¬c → ¬a
  4. 4. ¬q → ¬(p ∨ r)
  5. 5. ∀x ∃y ¬R(x, y)
  6. 6. ∃x ∀y ¬R(x, y)

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