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 q → p fałszywym. Kliknij ten wiersz.
q → p
1p = 1, q = 1
2p = 1, q = 0
3p = 0, q = 1
4p = 0, q = 0
2.Łatwy
Dokładnie jeden wiersz tablicy prawdy czyni (¬r ∨ ¬p) ∨ (p → ¬q) fałszywym. Kliknij ten wiersz.
(¬r ∨ ¬p) ∨ (p → ¬q)
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
3.Średni
Która formuła jest logicznie równoważna q ∨ (p ∧ r)? Kliknij ją.
q ∨ (p ∧ r)
1(q ∧ p) ∨ (q ∧ r)
2(q ∨ p) ∧ (q ∨ r)
3(q ∨ p) ∧ r
4q ∧ (p ∨ r)
4.Średni
Chcesz udowodnić ¬q → (p ∧ r) nie wprost. Jakie zdanie zakładasz na początku? Kliknij je.
¬q → (p ∧ r)
1¬¬q ∧ ¬(p ∧ r)
2¬q ∧ ¬(p ∧ r)
3¬¬q → ¬(p ∧ r)
4¬¬q ∧ (p ∧ r)
5.Trudny
Które zdanie jest równoważne ¬∀x (A(x) ∨ B(x)), gdy negację przesunięto całkiem do środka? Kliknij je.
¬∀x (A(x) ∨ B(x))
1∀x (¬A(x) ∧ ¬B(x))
2∃x (¬A(x) ∧ ¬B(x))
3∃x (¬A(x) ∨ ¬B(x))
4∀x (¬A(x) ∨ ¬B(x))
6.Trudny
Które zdanie jest równoważne ¬∃x F(x), gdy negację przesunięto całkiem do środka? Kliknij je.
¬∃x F(x)
1∀x F(x)
2∃x ¬F(x)
3∃x F(x)
4∀x ¬F(x)
Klucz odpowiedzi
1. p = 0, q = 1
2. p = 1, q = 1, r = 1
3. (q ∨ p) ∧ (q ∨ r)
4. ¬q ∧ ¬(p ∧ r)
5. ∃x (¬A(x) ∧ ¬B(x))
6. ∀x ¬F(x)
Pełne rozwiązania krok po kroku: ćwicz ten temat na examproblems.com.