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

Безкоштовний робочий аркуш для друку «Логіка висловлювань і доведення»: 6 задач від легких до рівня іспиту, з ключем відповідей. Роздрукуйте його або збережіть як PDF.

Новий робочий аркушТренуватися онлайн з підказками

Для викладачів: можна безкоштовно друкувати, копіювати й використовувати на заняттях. Кожен новий аркуш має нові значення і власні відповіді. Будемо вдячні за посилання на ExamProblems на сторінці вашого курсу.

Ім’я: ____________________   Дата: ____________

1.Легка
ab(¬b → a) ∨ a11100100

Рівно один рядок таблиці істинності робить (¬b → a) ∨ a хибним. Клікніть цей рядок.

(¬b → a) ∨ a
  1. 1a = 1, b = 1
  2. 2a = 1, b = 0
  3. 3a = 0, b = 1
  4. 4a = 0, b = 0
2.Легка

Повну таблицю істинності для (b ↔ c) ∨ ((a → c) ↔ ¬b) виписано. У скількох рядках N має a = 1 і b = 0?

(b ↔ c) ∨ ((a → c) ↔ ¬b)
N =
3.Середня
тавтологіясуперечністьвипадкова формула

Чи є (c ∧ b) → c тавтологією, суперечністю чи випадковою формулою? Клікніть свою відповідь.

(c ∧ b) → c
  1. 1тавтологія
  2. 2суперечність
  3. 3випадкова формула
4.Середня
¬r ∨ ¬qr ∧ ¬q¬r ↔ ¬qr ↔ ¬q

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

¬(r ↔ q)
  1. 1¬r ∨ ¬q
  2. 2r ∧ ¬q
  3. 3¬r ↔ ¬q
  4. 4r ↔ ¬q
5.Складна

Скільки з 16 рядків таблиці істинності роблять (a ∨ (d → b)) ∨ (b ∧ (d ∨ c)) істинним? Позначте це число N.

(a ∨ (d → b)) ∨ (b ∧ (d ∨ c))
N =
6.Складна
¬r → ¬pr → pr ∧ pp → r

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

r → qq → p
  1. 1¬r → ¬p
  2. 2r → p
  3. 3r ∧ p
  4. 4p → r

Ключ відповідей

  1. 1. a = 0, b = 0
  2. 2. N = 2
  3. 3. тавтологія
  4. 4. r ↔ ¬q
  5. 5. N = 14
  6. 6. r → p

Повні покрокові розв’язки: тренуйте цю тему на examproblems.com.