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

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

(p ∨ ¬q) → (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 ¬(((¬p ∨ ¬r) ∨ q) ∧ (p → (¬r → ¬q))). W ilu wierszach N jest p = 1 i r = 0?

¬(((¬p ∨ ¬r) ∨ q) ∧ (p → (¬r → ¬q)))
N =
3.Średni
¬p ∧ ¬r¬p ∨ ¬rp ∨ ¬r¬p ∧ r

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

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

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

¬(((¬r → ¬p) ∨ q) ∧ ¬(p ∧ r))
N =
5.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)
6.Trudny
pqrq → pr → pq → r111110101100011010001000

Wnioskowanie z przesłankami q → p; r → p i wnioskiem q → r jest niepoprawne. Kliknij wiersz tablicy prawdy, który jest kontrprzykładem.

q → pr → p∴ q → r
  1. 1p = 1, q = 1, r = 1
  2. 2p = 1, q = 1, r = 0
  3. 3p = 1, q = 0, r = 1
  4. 4p = 1, q = 0, r = 0
  5. 5p = 0, q = 1, r = 1
  6. 6p = 0, q = 1, r = 0
  7. 7p = 0, q = 0, r = 1
  8. 8p = 0, q = 0, r = 0

Klucz odpowiedzi

  1. 1. p = 0, q = 0
  2. 2. N = 2
  3. 3. ¬p ∧ ¬r
  4. 4. N = 3
  5. 5. ∀x ¬F(x)
  6. 6. p = 1, q = 1, r = 0

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