Условие:
Тождественно истинные, тождественно ложные, выполнимые предикаты. Равносильность предикатов и следование предикатов.
Решение:
Предикат — это логическое выражение, зависящее от переменной (или нескольких переменных), которое становится истинным или ложным при подстановке конкретных значений из области определения.
1. Тождественно истинные предикаты (Тавтологии)
Это предикаты, которые принимают значение «истина» при любых значениях переменных из области определения.
Пример:
Пусть область определения — множество действительных чисел
2....
Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит
Попробуй решить по шагам
Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение
Что нужно знать по теме:
Что нужно знать по теме
Алгоритм решения
Топ 3 ошибок
Что спросит препод
Похожие задачи