Rachunek zdań i dowody: karta pracy z odpowiedziami

Uzupełnij tablicę prawdy (1 = prawda, 0 = fałsz). W ilu wierszach N formuła (¬q ↔ ¬p) ∨ ¬(¬q ∨ (p ∧ ¬r)) jest prawdziwa?

Dokładnie jeden wiersz tablicy prawdy czyni ¬(b → a) prawdziwym. Kliknij ten wiersz.

1. 1a = 1, b = 1
2. 2a = 1, b = 0
3. 3a = 0, b = 1
4. 4a = 0, b = 0

Chcesz udowodnić ¬c → a przez kontrapozycję. Którą implikację udowadniasz zamiast niej? Kliknij ją.

1. 1¬c ∧ ¬a
2. 2¬¬c → ¬a
3. 3¬a → ¬¬c
4. 4a → ¬c

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

1. 1r ∨ (q ∧ p)
2. 2(r ∧ q) ∨ p
3. 3(r ∨ q) ∧ (r ∨ p)
4. 4(r ∧ q) ∨ (r ∧ p)

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

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

Wnioskowanie z przesłankami a → b; c → b i wnioskiem a → c jest niepoprawne. Kliknij wiersz tablicy prawdy, który jest kontrprzykładem.

1. 1a = 1, b = 1, c = 1
2. 2a = 1, b = 1, c = 0
3. 3a = 1, b = 0, c = 1
4. 4a = 1, b = 0, c = 0
5. 5a = 0, b = 1, c = 1
6. 6a = 0, b = 1, c = 0
7. 7a = 0, b = 0, c = 1
8. 8a = 0, b = 0, c = 0