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

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

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

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

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

1.Легка

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

(¬a ∧ ¬b) ∨ b

1a = 1, b = 1
2a = 1, b = 0
3a = 0, b = 1
4a = 0, b = 0

2.Легка

Скільки рядків N має повна таблиця істинності для ((r ∨ q) → (r ∨ ¬p)) ∨ (p → q)?

((r ∨ q) → (r ∨ ¬p)) ∨ (p → q)

N =

3.Середня

У скількох із 8 рядків таблиці істинності ¬(r ↔ p) ↔ (q → (q ∧ r)) істинне? Позначте це число N.

¬(r ↔ p) ↔ (q → (q ∧ r))

N =

4.Середня

У скількох із 8 рядків таблиці істинності ¬((¬b → (¬a ∧ c)) ∧ (b → c)) істинне? Позначте це число N.

¬((¬b → (¬a ∧ c)) ∧ (b → c))

N =

5.Складна

Яке твердження еквівалентне ¬∀x (P(x) → ∃y R(x, y)), якщо заперечення перенесено повністю досередини? Клікніть його.

¬∀x (P(x) → ∃y R(x, y))

1∀x (P(x) ∧ ∀y ¬R(x, y))
2∃x (P(x) ∧ ∀y ¬R(x, y))
3∃x (¬P(x) ∧ ∃y R(x, y))
4∃x (P(x) → ∀y ¬R(x, y))

6.Складна

Скільки з 16 рядків таблиці істинності роблять (s ∨ ¬r) → (¬(q ∨ s) ∨ (r ∨ p)) істинним? Позначте це число N.

(s ∨ ¬r) → (¬(q ∨ s) ∨ (r ∨ p))

N =

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

1. a = 1, b = 0
2. N = 8
3. N = 4
4. N = 5
5. ∃x (P(x) ∧ ∀y ¬R(x, y))
6. N = 13

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