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
pqp ∧ q11100100

Dokładnie jeden wiersz tablicy prawdy czyni p ∧ q prawdziwym. Kliknij ten wiersz.

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

(¬a ∨ c) ∧ ((c ∨ a) ∧ b)
N =
3.Średni
tautologiakontradykcjakontyngencja

Czy ((r → p) ∧ (p → q)) → (r → q) jest tautologią, kontradykcją czy kontyngencją? Kliknij swoją odpowiedź.

((r → p) ∧ (p → q)) → (r → q)
  1. 1tautologia
  2. 2kontradykcja
  3. 3kontyngencja
4.Średni
¬(a ∨ c) → ¬b¬b → ¬(a ∨ c)(a ∨ c) → bb ∧ ¬(a ∨ c)

Chcesz udowodnić b → (a ∨ c) przez kontrapozycję. Którą implikację udowadniasz zamiast niej? Kliknij ją.

b → (a ∨ c)
  1. 1¬(a ∨ c) → ¬b
  2. 2¬b → ¬(a ∨ c)
  3. 3(a ∨ c) → b
  4. 4b ∧ ¬(a ∨ c)
5.Trudny
pqrq → (p ∨ r)qp111110101100011010001000

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

q → (p ∨ r)q∴ p
  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
6.Trudny
c ∨ ab ∨ ab ∧ a¬b

Dane są przesłanki c ∨ b; ¬c ∨ a. Jaki wniosek z nich wynika? Kliknij go.

c ∨ b¬c ∨ a
  1. 1c ∨ a
  2. 2b ∨ a
  3. 3b ∧ a
  4. 4¬b

Klucz odpowiedzi

  1. 1. p = 1, q = 1
  2. 2. N = 2
  3. 3. tautologia
  4. 4. ¬(a ∨ c) → ¬b
  5. 5. p = 0, q = 1, r = 1
  6. 6. b ∨ a

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