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

Заповніть таблицю істинності (1 = істина, 0 = хибність). У скількох рядках N істинне (p ∧ q) ↔ ¬q?

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

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

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

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

Ви хочете довести p → (r ∧ q) від супротивного. Яке твердження ви припускаєте на початку? Клікніть його.

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

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

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

Міркування з передумовами r ∨ q; r і висновком ¬q некоректне. Клікніть рядок таблиці істинності, що є контрприкладом.

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