Условие задачи
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)
Потяни
