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