Rachunek zdań i dowody: karta pracy z odpowiedziami

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

Dokładnie jeden wiersz tablicy prawdy czyni (¬b ∨ ¬a) → (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

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

1. 1¬q ∧ ¬r
2. 2¬q ∧ r
3. 3¬q ∨ ¬r
4. 4q ∨ ¬r

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

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

Wnioskowanie z przesłankami q → (p ∨ r); q i wnioskiem p jest niepoprawne. Kliknij wiersz tablicy prawdy, który jest kontrprzykładem.

1. 1p = 1, q = 1, r = 1
2. 2p = 1, q = 1, r = 0
3. 3p = 1, q = 0, r = 1
4. 4p = 1, q = 0, r = 0
5. 5p = 0, q = 1, r = 1
6. 6p = 0, q = 1, r = 0
7. 7p = 0, q = 0, r = 1
8. 8p = 0, q = 0, r = 0

Dane są przesłanki p → r; ¬r. Jaki wniosek z nich wynika? Kliknij go.

1. 1¬p ∧ r
2. 2p
3. 3¬p
4. 4r