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
ab(a ∧ b) → ¬b11100100

Dokładnie jeden wiersz tablicy prawdy czyni (a ∧ b) → ¬b fałszywym. 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
2.Łatwy
ab(a ↔ b) ∧ a11?10?01?00?

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

(a ↔ b) ∧ a
N =
3.Średni
¬r ∨ ¬qr ↔ ¬q¬r ↔ ¬qr ∧ ¬q

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

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

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

¬(q ↔ p)
  1. 1¬q ∨ ¬p
  2. 2¬q ↔ ¬p
  3. 3q ↔ ¬p
  4. 4q ∧ ¬p
5.Trudny
qrr ∨ qr¬q11100100

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

r ∨ qr∴ ¬q
  1. 1q = 1, r = 1
  2. 2q = 1, r = 0
  3. 3q = 0, r = 1
  4. 4q = 0, r = 0
6.Trudny
pqrr → pq → pr → q111110101100011010001000

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

r → pq → p∴ r → q
  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

Klucz odpowiedzi

  1. 1. a = 1, b = 1
  2. 2. N = 1
  3. 3. r ↔ ¬q
  4. 4. q ↔ ¬p
  5. 5. q = 1, r = 1
  6. 6. p = 1, q = 0, r = 1

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