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

Wypisano pełną tablicę prawdy formuły ((r ↔ p) → r) → (¬q ∧ ¬(q ∨ p)). W ilu wierszach N jest q = 1 i r = 0?

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

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

(p → q) ↔ q
N =
3.Średni
tautologiakontradykcjakontyngencja

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

((p → q) ∧ (p → r)) → (q → r)
  1. 1tautologia
  2. 2kontradykcja
  3. 3kontyngencja
4.Średni
(p ∧ r) ∨ q(p ∧ r) ∨ (p ∧ 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) ∨ q
  2. 2(p ∧ r) ∨ (p ∧ q)
  3. 3(p ∨ r) ∧ (p ∨ q)
  4. 4p ∨ (r ∧ q)
5.Trudny
abcb → (c ∨ a)bc111110101100011010001000

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

b → (c ∨ a)b∴ c
  1. 1a = 1, b = 1, c = 1
  2. 2a = 1, b = 1, c = 0
  3. 3a = 1, b = 0, c = 1
  4. 4a = 1, b = 0, c = 0
  5. 5a = 0, b = 1, c = 1
  6. 6a = 0, b = 1, c = 0
  7. 7a = 0, b = 0, c = 1
  8. 8a = 0, b = 0, c = 0
6.Trudny

Ile z 16 wierszy tablicy prawdy czyni (¬p → (q ∨ r)) → (¬(p ∨ s) ∨ (q → s)) prawdziwym? Nazwij tę liczbę N.

(¬p → (q ∨ r)) → (¬(p ∨ s) ∨ (q → s))
N =

Klucz odpowiedzi

  1. 1. N = 2
  2. 2. N = 3
  3. 3. kontyngencja
  4. 4. (p ∧ r) ∨ (p ∧ q)
  5. 5. a = 1, b = 1, c = 0
  6. 6. N = 14

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