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) → p11100100

Dokładnie jeden wiersz tablicy prawdy czyni (p ↔ q) → p fałszywym. 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
ab(a ↔ ¬b) ∧ b11100100

Dokładnie jeden wiersz tablicy prawdy czyni (a ↔ ¬b) ∧ b prawdziwym. Kliknij ten wiersz.

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

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

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

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

¬(r ↔ p)
  1. 1r ∧ ¬p
  2. 2r ↔ ¬p
  3. 3¬r ∨ ¬p
  4. 4¬r ↔ ¬p
5.Trudny
abb → aab11100100

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

b → aa∴ b
  1. 1a = 1, b = 1
  2. 2a = 1, b = 0
  3. 3a = 0, b = 1
  4. 4a = 0, b = 0
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. p = 0, q = 0
  2. 2. a = 0, b = 1
  3. 3. r → (p → q)
  4. 4. r ↔ ¬p
  5. 5. a = 1, b = 0
  6. 6. ∀x ∃y ¬R(x, y)

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