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¬(p → (q ∧ p))11100100

Dokładnie jeden wiersz tablicy prawdy czyni ¬(p → (q ∧ p)) prawdziwym. Kliknij ten wiersz.

¬(p → (q ∧ p))
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
2.Łatwy
pqp ∨ ¬(q → ¬p)11?10?01?00?

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

p ∨ ¬(q → ¬p)
N =
3.Średni
pqr¬q¬q ∨ r(p ∨ r) ∧ (¬q ∨ r)111?110?101?100?011?010?001?000?

W ilu z 8 wierszy tablicy prawdy (p ∨ r) ∧ (¬q ∨ r) jest prawdziwe? Nazwij tę liczbę N.

(p ∨ r) ∧ (¬q ∨ r)
N =
4.Średni
pqrq → rp ∨ (q → r)¬(¬p ∨ (q → ¬r)) ∧ (p ∨ (q → r))111?110?101?100?011?010?001?000?

W ilu z 8 wierszy tablicy prawdy ¬(¬p ∨ (q → ¬r)) ∧ (p ∨ (q → r)) jest prawdziwe? Nazwij tę liczbę N.

¬(¬p ∨ (q → ¬r)) ∧ (p ∨ (q → r))
N =
5.Trudny
∃x (¬A(x) ∨ ¬B(x))∃x (¬A(x) ∧ ¬B(x))∀x (¬A(x) ∨ ¬B(x))∀x (¬A(x) ∧ ¬B(x))

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

¬∀x (A(x) ∨ B(x))
  1. 1∃x (¬A(x) ∨ ¬B(x))
  2. 2∃x (¬A(x) ∧ ¬B(x))
  3. 3∀x (¬A(x) ∨ ¬B(x))
  4. 4∀x (¬A(x) ∧ ¬B(x))
6.Trudny
∀x (A(x) → ¬B(x))∃x (¬A(x) ∧ ¬B(x))∃x (A(x) → ¬B(x))∀x (¬A(x) ∧ ¬B(x))

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

¬∃x (A(x) ∧ B(x))
  1. 1∀x (A(x) → ¬B(x))
  2. 2∃x (¬A(x) ∧ ¬B(x))
  3. 3∃x (A(x) → ¬B(x))
  4. 4∀x (¬A(x) ∧ ¬B(x))

Klucz odpowiedzi

  1. 1. p = 1, q = 0
  2. 2. N = 2
  3. 3. N = 5
  4. 4. N = 1
  5. 5. ∃x (¬A(x) ∧ ¬B(x))
  6. 6. ∀x (A(x) → ¬B(x))

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