Условие задачи
Решить задачу.
Введен предикат L(x, y) с интерпретацией «х любит y – ка».
Используя этот предикат, построить фразы «Каждый любит кого-нибудь», «Некто не любит никого», «Ни один не любит всех»
Ответ
Пусть L(x,y) двухместный предикат с интерпретацией x любит y-ка. В таком случае, при помощи него можно расписать все 3 фразы из задания.
Для фразы Каждый любит кого-нибудь мы получим следующую формулу логики предикатов: