1.Легка
Заповніть таблицю істинності (1 = істина, 0 = хибність). У скількох рядках N істинне (c → b) ↔ a?
(c → b) ↔ a
N =
Робочий аркуш «Логіка висловлювань і доведення» з відповідями
2.Легка
Рівно один рядок таблиці істинності робить q → (q ∧ p) хибним. Клікніть цей рядок.
q → (q ∧ p)
- 1p = 1, q = 1
- 2p = 1, q = 0
- 3p = 0, q = 1
- 4p = 0, q = 0
3.Середня
Чи є ((p ∨ r) ∧ p) → ¬r тавтологією, суперечністю чи випадковою формулою? Клікніть свою відповідь.
((p ∨ r) ∧ p) → ¬r
- 1тавтологія
- 2суперечність
- 3випадкова формула
4.Середня
Яка формула логічно еквівалентна ¬(q ∧ r)? Клікніть її.
¬(q ∧ r)
- 1¬q ∧ r
- 2¬q ∨ r
- 3¬q ∧ ¬r
- 4¬q ∨ ¬r
5.Складна
Яке твердження еквівалентне ¬∀x F(x), якщо заперечення перенесено повністю досередини? Клікніть його.
¬∀x F(x)
- 1∃x F(x)
- 2∀x F(x)
- 3∃x ¬F(x)
- 4∀x ¬F(x)
6.Складна
Міркування з передумовами q → (r ∨ p); q і висновком r некоректне. Клікніть рядок таблиці істинності, що є контрприкладом.
q → (r ∨ p)q∴ r
- 1p = 1, q = 1, r = 1
- 2p = 1, q = 1, r = 0
- 3p = 1, q = 0, r = 1
- 4p = 1, q = 0, r = 0
- 5p = 0, q = 1, r = 1
- 6p = 0, q = 1, r = 0
- 7p = 0, q = 0, r = 1
- 8p = 0, q = 0, r = 0
Ключ відповідей
- 1. N = 4
- 2. p = 0, q = 1
- 3. випадкова формула
- 4. ¬q ∨ ¬r
- 5. ∃x ¬F(x)
- 6. p = 1, q = 1, r = 0
Повні покрокові розв’язки: тренуйте цю тему на examproblems.com.