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 prawdziwym. 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

Wypisano pełną tablicę prawdy formuły (¬a ∨ (¬b ∧ c)) → (¬c ∨ (¬b → a)). W ilu wierszach N jest b = 1 i c = 0?

(¬a ∨ (¬b ∧ c)) → (¬c ∨ (¬b → a))
N =
3.Średni
tautologiakontradykcjakontyngencja

Czy p → (p ∨ q) jest tautologią, kontradykcją czy kontyngencją? Kliknij swoją odpowiedź.

p → (p ∨ q)
  1. 1tautologia
  2. 2kontradykcja
  3. 3kontyngencja
4.Średni
(a ∧ b) ∨ (a ∧ c)(a ∨ b) ∧ c(a ∨ b) ∧ (a ∨ c)a ∧ (b ∨ c)

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

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

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

¬∀x (P(x) → ∃y R(x, y))
  1. 1∃x (P(x) ∧ ∀y ¬R(x, y))
  2. 2∃x (P(x) → ∀y ¬R(x, y))
  3. 3∀x (P(x) ∧ ∀y ¬R(x, y))
  4. 4∃x (¬P(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. p = 0, q = 1
  2. 2. N = 2
  3. 3. tautologia
  4. 4. (a ∨ b) ∧ (a ∨ c)
  5. 5. ∃x (P(x) ∧ ∀y ¬R(x, y))
  6. 6. ∃x ¬F(x)

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