Новая школа

Ниже приведён тест по теме Элементы математической логики для 8 класса. Тип вопросов: открытые. Количество вопросов: 10. В конце — ключ к ответам.

Вариант теста (10 вопросов)

Дайте определения:

пропозиции (высказывания);
логического оператора;
истинностной величины (истина/ложь). Приведите по одному примеру каждого понятия.

Заполните таблицу истинности для базовых операций над булевыми переменными p и q. Укажите значения для следующих выражений: ¬p, ¬q, p ∧ q, p ∨ q, p → q, p ↔ q. Приведите для всех сочетаний p и q (true/false).
Упростите с помощью законов де Моргана: a) ¬(p ∧ q) b) ¬(p ∨ q) Покажите краткими шагами, как получаете результат.
Докажите эквивалентность: p → q эквивалентно ¬p ∨ q. Приведите конкретные значения p и q, чтобы на примере показать соответствие двух выражений.
Упростите выражение: (p ∧ q) ∨ (p ∧ ¬q). Что оно эквивалентно и почему?
Приведите пример тавтологии и объясните, почему она всегда истинна. (Приведите формулировку и пояснение.)
Запишите контрапозицию импликации: если p, то q. Каким утверждением она эквивалентна? Приведите пояснение.
Приведите пример неверного логического вывода (логической ошибки) и объясните, в чём ошибка. Например: «Если идёт дождь, улица мокрая; улица мокрая, значит, идёт дождь.» Что не так и почему?
Что такое кванторы ∀ и ∃? Опишите их смысл простыми словами и запишите формулы-иллюстрации:

а) «Все студенты в классе сдали домашнее задание»
б) «Существует студент, который получил оценку 5». Описание формул можно оформить в виде общих выражений на примере множества студентов.

Назовите две основные логические законы, помогающие упрощать выражения, и приведите по одному примеру применения каждой из них. (Например: двойное отрицание; дистрибутивность.)

Ключ к ответам (образцы ответов)

Что нужно:

Пропозиция — высказывание, которое может быть истинным или ложным (пример: «Сейчас идёт дождь»).
Логический оператор — знак/символ, объединяющий пропозиции (пример: ∧, ∨, ¬, →).
Истинностная величина — значение пропозиции: истина или ложь (пример: 2+2=4 истинно).

Таблица истинности (кратко):

p q | ¬p | ¬q | p ∧ q | p ∨ q | p → q | p ↔ q
T T | F F | T | T | T | T
T F | F T | F | T | F | F
F T | T F | F | T | T | F
F F | T T | F | F | T | T

(значения ¬p и ¬q и остальные вычисляются по стандартным правилам; для каждого набора p, q.)

Ответы:

¬(p ∧ q) ≡ ¬p ∨ ¬q
¬(p ∨ q) ≡ ¬p ∧ ¬q

p → q ≡ ¬p ∨ q; пример: если p истинно и q ложно, оба выражения ложны; если p ложно, оба выражения истинны; если p и q истинны, оба истинны. Это иллюстрирует эквивалентность.
(p ∧ q) ∨ (p ∧ ¬q) ≡ p ∧ (q ∨ ¬q) ≡ p ∧ True ≡ p.
Пример тавтологии: p ∨ ¬p. Объяснение: закон исключённого среднего; независимо от значения p выражение истинно.
Контрапозиция импликации: p → q эквив. ¬q → ¬p. Обоснование: логическая эквивалентность через истину выражения на всех значениях p и q.
Пример ошибки: Affirming the consequent. Утверждение: p → q; q; значит, p. Ошибка: другое условие могло привести к q, не обязательно p.
Кванторы:

∀: «для всех»; все элементы удовлетворяют свойству.
∃: «существует»; существует элемент, удовлетворяющий свойству. Примеры формул:
∀x ∈ Class, Passed(x) — все студенты сдали.
∃x ∈ Class, Score(x) = 5 — существует студент, получивший 5. Пояснение: эти формулы выражают всеобщность и существование в рамках заданного множества.

Две основы упрощения:

Двойное отрицание: ¬(¬p) ≡ p. Пример: отрицание отрицания пропозиции возвращает её исходное значение.
Распределение: p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r). Пример: упрощение конъюнкции над дизъюнкцией для упрощения выражения.

Если нужно, могу адаптировать вопросы под конкретный учебник или добавить дополнительные примеры на каждую тему.

Бесплатный сервис «Учительская»

Тест на тему Элементы математической логики

Популярные тесты

Тест по информатике для 7 класса: Стартовая контрольная работа

Вопрос 1

Вопрос 2

Вопрос 3

Вопрос 4

Вопрос 5

Вопрос 6

Вопрос 7

Вопрос 8

Вопрос 9

Вопрос 10

Конец теста