1. Пусть M(x) означает «х – чётное число» Что означают утверждения: M(12) M(7) x M(x) Какие из них истинны, какие нет? 2. Введен предикат R(x,y) «х равно y» (х, y – числа)
- Высшая математика
Условие:
1. Пусть M(x) означает «х – чётное число» Что означают утверждения:
M(12)
M(7)
x M(x)
Какие из них истинны, какие нет?
2. Введен предикат R(x,y) «х равно y» (х, y – числа)
Как записать утверждения:
«5 равно 5»
Всякий х равен х
Если х равно y а y равно z то х равно z
Решение:
1. В условии задано: предикат M(x) означает х четное число. Это означает, что предикат M(x) имеет интерпретацию. Тогда каждой формуле может быть приписано значение истина или ложь.
M(12)
В предикате M(x) переменная x заменена на конкретную величину (константу): 12 четное число. Это выражение примет значение истина (И).
M(7)
В предикате M(x) переменная x заменена на конкретную величину (константу): 7 четное число. Это выражение примет значение ложь (Л).
x M(x)
Похожие задачи
Не нашел нужную задачу?
Воспользуйся поиском
AI помощники
Выбери предмет
- Правоохранительные органы
- Пожарная безопасность
- Парикмахерское искусство
- Природообустройство и водопользование
- Почвоведение
- Приборостроение и оптотехника
- Промышленный маркетинг и менеджмент
- Производственный маркетинг и менеджмент
- Процессы и аппараты
- Программирование
- Право и юриспруденция
- Психология
- Политология
- Педагогика
- Трудовое право
- Теория государства и права (ТГП)
- Таможенное право
- Теория игр
- Теория вероятностей
- Теоретическая механика
- Теория управления
- Технология продовольственных продуктов и товаров
- Технологические машины и оборудование
- Теплоэнергетика и теплотехника
- Туризм
- Товароведение
- Таможенное дело
- Торговое дело
- Теория машин и механизмов
- Транспортные средства