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

Рівно один рядок таблиці істинності робить b → a хибним. Клікніть цей рядок.

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

Рівно один рядок таблиці істинності робить a ∨ (b → a) хибним. Клікніть цей рядок.

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

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

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

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

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

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

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

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

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