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.

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
pq(q ∨ p) → p11?10?01?00?

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

(q ∨ p) → p
N =
2.Łatwy
pqq ↔ (p ∧ q)11100100

Dokładnie jeden wiersz tablicy prawdy czyni q ↔ (p ∧ q) fałszywym. Kliknij ten wiersz.

q ↔ (p ∧ q)
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
3.Średni
(q → p) ∧ (r → p)q ∨ (r → p)(q → p) ∨ (r → p)(q ∧ r) → p

Która formuła jest logicznie równoważna (q ∨ r) → p? Kliknij ją.

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

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

a → c
  1. 1a ∧ ¬c
  2. 2¬a → ¬c
  3. 3¬a ∧ ¬c
  4. 4¬a ∧ c
5.Trudny
∀x (¬P(x) ∨ ¬Q(x))∃x (¬P(x) ∧ ¬Q(x))∀x (¬P(x) ∧ ¬Q(x))∃x (¬P(x) ∨ ¬Q(x))

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

¬∀x (P(x) ∨ Q(x))
  1. 1∀x (¬P(x) ∨ ¬Q(x))
  2. 2∃x (¬P(x) ∧ ¬Q(x))
  3. 3∀x (¬P(x) ∧ ¬Q(x))
  4. 4∃x (¬P(x) ∨ ¬Q(x))
6.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)

Klucz odpowiedzi

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

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