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 (p ∨ r) ∨ ¬((q → p) ∨ r) fałszywym. Kliknij ten wiersz.
(p ∨ r) ∨ ¬((q → p) ∨ r)
1p = 1, q = 1, r = 1
2p = 1, q = 1, r = 0
3p = 1, q = 0, r = 1
4p = 1, q = 0, r = 0
5p = 0, q = 1, r = 1
6p = 0, q = 1, r = 0
7p = 0, q = 0, r = 1
8p = 0, q = 0, r = 0
2.Łatwy
Wypisano pełną tablicę prawdy formuły (a ∧ (¬a ∨ c)) ↔ ¬(c ∧ b). W ilu wierszach N jest b = 1 i c = 0?
(a ∧ (¬a ∨ c)) ↔ ¬(c ∧ b)
N =
3.Średni
Która formuła jest logicznie równoważna (r ∨ q) → p? Kliknij ją.
(r ∨ q) → p
1(r ∧ q) → p
2r ∨ (q → p)
3(r → p) ∨ (q → p)
4(r → p) ∧ (q → p)
4.Średni
Czy (q ∨ p) → (q ∧ p) jest tautologią, kontradykcją czy kontyngencją? Kliknij swoją odpowiedź.
(q ∨ p) → (q ∧ p)
1tautologia
2kontradykcja
3kontyngencja
5.Trudny
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∀x (F(x) ∧ ¬G(x))
2∀x (¬F(x) → ¬G(x))
3∀x (F(x) → ¬G(x))
4∃x (F(x) ∧ ¬G(x))
6.Trudny
Dane są przesłanki p ∨ q; ¬p. Jaki wniosek z nich wynika? Kliknij go.
p ∨ q¬p
1q
2p ∧ q
3p
4¬q
Klucz odpowiedzi
1. p = 0, q = 0, r = 0
2. N = 2
3. (r → p) ∧ (q → p)
4. kontyngencja
5. ∀x (F(x) ∧ ¬G(x))
6. q
Pełne rozwiązania krok po kroku: ćwicz ten temat na examproblems.com.