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 ↔ a)11?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 =
2.Łatwy
abc¬((¬c ∧ (c → b)) ∧ (a ∧ ¬b))111?110?101?100?011?010?001?000?

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

¬((¬c ∧ (c → b)) ∧ (a ∧ ¬b))
N =
3.Średni
(r → p) ∧ (q → p)r ∧ (q → p)(r → q) → pr → (q → p)

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

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

Chcesz udowodnić r → ¬p nie wprost. Jakie zdanie zakładasz na początku? Kliknij je.

r → ¬p
  1. 1¬r ∧ ¬¬p
  2. 2r ∧ ¬¬p
  3. 3¬r → ¬¬p
  4. 4¬r ∧ ¬p
5.Trudny
¬a¬bba ∧ ¬b

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

a → ba
  1. 1¬a
  2. 2¬b
  3. 3b
  4. 4a ∧ ¬b
6.Trudny
∃x F(x)∀x F(x)∃x ¬F(x)∀x ¬F(x)

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

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

Klucz odpowiedzi

  1. 1. N = 1
  2. 2. N = 7
  3. 3. r → (q → p)
  4. 4. r ∧ ¬¬p
  5. 5. b
  6. 6. ∃x ¬F(x)

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