Условие задачи
Выразить утверждения естественного языка средствами формальной системы Исчисление предикатов 1 порядка. Также необходимо оценить истинность или ложность записанных утверждений в конкретной интерпретации.
1. Пусть 
означает «число x – больше числа y»
Что означают утверждения:
Какие из них истинны, какие нет?
2. Введен предикат 
« x и y - одного возраста»
Как записать утверждения:
«Петя одного возраста с Иваном»,
«Олег и Сергей – не одного возраста»,
«Некоторые люди имеют одинаковый возраст».
Ответ
1. В условии задано: предикат 
означает число x больше числа y.
Это означает, что предикат , задающий отношение между двумя числами, имеет интерпретацию. Тогда каждой формуле может быть приписано значение истина или ложь.
Потяни
