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
Dokładnie jeden wiersz tablicy prawdy czyni ((¬a ↔ b) ∨ b) ∨ (¬c ∨ a) fałszywym. Kliknij ten wiersz.
((¬a ↔ b) ∨ b) ∨ (¬c ∨ a)
1a = 1, b = 1, c = 1
2a = 1, b = 1, c = 0
3a = 1, b = 0, c = 1
4a = 1, b = 0, c = 0
5a = 0, b = 1, c = 1
6a = 0, b = 1, c = 0
7a = 0, b = 0, c = 1
8a = 0, b = 0, c = 0
2.Łatwy
Dokładnie jeden wiersz tablicy prawdy czyni b ∨ (a ↔ b) fałszywym. Kliknij ten wiersz.
b ∨ (a ↔ b)
1a = 1, b = 1
2a = 1, b = 0
3a = 0, b = 1
4a = 0, b = 0
3.Średni
Która formuła jest logicznie równoważna ¬(q ↔ p)? Kliknij ją.
¬(q ↔ p)
1q ∧ ¬p
2¬q ↔ ¬p
3q ↔ ¬p
4¬q ∨ ¬p
4.Średni
Która formuła jest logicznie równoważna ¬(b → c)? Kliknij ją.
¬(b → c)
1¬b ∨ ¬c
2b ∧ ¬c
3¬b → ¬c
4b → ¬c
5.Trudny
Które zdanie jest równoważne ¬∀x ∀y (R(x, y) → R(y, x)), gdy negację przesunięto całkiem do środka? Kliknij je.
¬∀x ∀y (R(x, y) → R(y, x))
1∀x ∀y (R(x, y) ∧ ¬R(y, x))
2∃x ∃y (R(x, y) → ¬R(y, x))
3∃x ∃y (¬R(x, y) ∧ ¬R(y, x))
4∃x ∃y (R(x, y) ∧ ¬R(y, x))
6.Trudny
Dane są przesłanki a → c; a. Jaki wniosek z nich wynika? Kliknij go.
a → ca
1¬c
2¬a
3c
4a ∧ ¬c
Klucz odpowiedzi
1. a = 0, b = 0, c = 1
2. a = 1, b = 0
3. q ↔ ¬p
4. b ∧ ¬c
5. ∃x ∃y (R(x, y) ∧ ¬R(y, x))
6. c
Pełne rozwiązania krok po kroku: ćwicz ten temat na examproblems.com.