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
pqr(¬p ∨ q) ↔ (q ↔ r)111?110?101?100?011?010?001?000?

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

(¬p ∨ q) ↔ (q ↔ r)
N =
2.Łatwy
pq(q → p) ↔ (p ∨ q)11?10?01?00?

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

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

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

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

Chcesz udowodnić ¬q → (r ∨ p) nie wprost. Jakie zdanie zakładasz na początku? Kliknij je.

¬q → (r ∨ p)
  1. 1¬q ∧ ¬(r ∨ p)
  2. 2¬¬q → ¬(r ∨ p)
  3. 3¬¬q ∧ ¬(r ∨ p)
  4. 4¬¬q ∧ (r ∨ p)
5.Trudny
r ∧ ¬q¬qq¬r

Dane są przesłanki r → q; r. Jaki wniosek z nich wynika? Kliknij go.

r → qr
  1. 1r ∧ ¬q
  2. 2¬q
  3. 3q
  4. 4¬r
6.Trudny
¬p → ¬rr → pp → rp ∧ r

Dane są przesłanki p → q; q → r. Jaki wniosek z nich wynika? Kliknij go.

p → qq → r
  1. 1¬p → ¬r
  2. 2r → p
  3. 3p → r
  4. 4p ∧ r

Klucz odpowiedzi

  1. 1. N = 4
  2. 2. N = 2
  3. 3. (p ∨ r) ∧ (p ∨ q)
  4. 4. ¬q ∧ ¬(r ∨ p)
  5. 5. q
  6. 6. p → r

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