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