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