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
pq¬((p ∨ q) ↔ ¬q)11100100

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

¬((p ∨ q) ↔ ¬q)
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
2.Łatwy

Ile wierszy N ma pełna tablica prawdy formuły ((c ∧ b) ∧ a) ↔ (¬c ∧ (a → b))?

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

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

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

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

r → q
  1. 1q → r
  2. 2¬q ∧ ¬r
  3. 3¬r → ¬q
  4. 4¬q → ¬r
5.Trudny
∃x ∃y (R(x, y) ∧ ¬R(y, x))∃x ∃y (¬R(x, y) ∧ ¬R(y, x))∃x ∃y (R(x, y) → ¬R(y, x))∀x ∀y (R(x, y) ∧ ¬R(y, x))

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

¬∀x ∀y (R(x, y) → R(y, x))
  1. 1∃x ∃y (R(x, y) ∧ ¬R(y, x))
  2. 2∃x ∃y (¬R(x, y) ∧ ¬R(y, x))
  3. 3∃x ∃y (R(x, y) → ¬R(y, x))
  4. 4∀x ∀y (R(x, y) ∧ ¬R(y, x))
6.Trudny
qrq ∨ rq¬r11100100

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

q ∨ rq∴ ¬r
  1. 1q = 1, r = 1
  2. 2q = 1, r = 0
  3. 3q = 0, r = 1
  4. 4q = 0, r = 0

Klucz odpowiedzi

  1. 1. p = 1, q = 0
  2. 2. N = 8
  3. 3. N = 5
  4. 4. ¬q → ¬r
  5. 5. ∃x ∃y (R(x, y) ∧ ¬R(y, x))
  6. 6. q = 1, r = 1

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