Робочий аркуш «Логіка висловлювань і доведення» з відповідями

Рівно один рядок таблиці істинності робить ¬((¬p ∧ ¬q) ↔ p) хибним. Клікніть цей рядок.

1. 1p = 1, q = 1
2. 2p = 1, q = 0
3. 3p = 0, q = 1
4. 4p = 0, q = 0

Рівно один рядок таблиці істинності робить ¬p ∨ q хибним. Клікніть цей рядок.

1. 1p = 1, q = 1
2. 2p = 1, q = 0
3. 3p = 0, q = 1
4. 4p = 0, q = 0

Яка формула логічно еквівалентна (r ∨ p) → q? Клікніть її.

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

Яка формула логічно еквівалентна a → b? Клікніть її.

1. 1¬a ∨ b
2. 2a ∨ ¬b
3. 3¬a ∧ b
4. 4b → a

Задано передумови p → r; p. Який висновок з них випливає? Клікніть його.

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

Міркування з передумовами b → (c ∨ a); b і висновком c некоректне. Клікніть рядок таблиці істинності, що є контрприкладом.

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