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

(c ∧ (c ↔ b)) ↔ (¬a ∨ b)
N =
2.Łatwy

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

¬((q ↔ p) → (p ∧ r))
N =
3.Średni
pqr¬p¬p ↔ q((r ↔ q) ∨ p) ∧ (¬p ↔ q)111?110?101?100?011?010?001?000?

W ilu z 8 wierszy tablicy prawdy ((r ↔ q) ∨ p) ∧ (¬p ↔ q) jest prawdziwe? Nazwij tę liczbę N.

((r ↔ q) ∨ p) ∧ (¬p ↔ q)
N =
4.Średni
p ∧ ¬qq → p¬p → ¬q¬q → ¬p

Chcesz udowodnić p → q przez kontrapozycję. Którą implikację udowadniasz zamiast niej? Kliknij ją.

p → q
  1. 1p ∧ ¬q
  2. 2q → p
  3. 3¬p → ¬q
  4. 4¬q → ¬p
5.Trudny
ac ∧ ¬a¬c¬a

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

c → ac
  1. 1a
  2. 2c ∧ ¬a
  3. 3¬c
  4. 4¬a
6.Trudny
∀x (F(x) → ¬G(x))∀x (F(x) ∧ ¬G(x))∃x (F(x) ∧ ¬G(x))∀x (¬F(x) → ¬G(x))

Które zdanie jest równoważne ¬∃x (F(x) → G(x)), gdy negację przesunięto całkiem do środka? Kliknij je.

¬∃x (F(x) → G(x))
  1. 1∀x (F(x) → ¬G(x))
  2. 2∀x (F(x) ∧ ¬G(x))
  3. 3∃x (F(x) ∧ ¬G(x))
  4. 4∀x (¬F(x) → ¬G(x))

Klucz odpowiedzi

  1. 1. N = 2
  2. 2. N = 2
  3. 3. N = 3
  4. 4. ¬q → ¬p
  5. 5. a
  6. 6. ∀x (F(x) ∧ ¬G(x))

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