Перевести с естественного языка на язык предикатов

@M1X3R · Регистрация: 14.06.2018

Author24 — интернет-сервис помощи студентам

Переведите с естественного языка на язык логики предикатов

Зайцы не всегда глупее лис.

@3D Homer · 14.06.2018, 15:34

Во-первых под "не всегда" я предлагаю понимать "не все", а не временной аспект, потому что логика первого порядка не предназначена для записи утверждений о времени. То есть утверждение есть "Не все зайцы глупее лис". Далее нужно определиться с сигнатурой, или языком, то есть с имеющимися отношениями (а также при наличии с функциями и константами). Давайте вы предложите одно- и двуместные отношения, о которых здесь идет речь, а также мнемонические обозначения для них.

@M1X3R · 14.06.2018, 16:02 **[ТС]**

Если бы я понимал о чем вы меня попросили, я конечно же предложил

@3D Homer · 14.06.2018, 21:37

Я могу помочь, но не буду решать задание за вас.

Добавлено через 5 часов 21 минуту
M1X3R, про отношения, которые в контексте логики называются предикатами, почитайте гл. IV в следующей книге: Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов. М.: Академия, 2007. Впрочем, этот материал рассматривается в любой книге по математической логике и во многих книгах по дискретной математике.

@M1X3R 0 / 0 / 0 Регистрация: 14.06.2018 Сообщений: 4
		1
	Перевести с естественного языка на язык предикатов 14.06.2018, 15:15. Показов 2338. Ответов 3 Метки нет (Все метки) Переведите с естественного языка на язык логики предикатов Зайцы не всегда глупее лис. 0

@3D Homer $Эксперт по математике/физике$ 4952 / 3570 / 1151 Регистрация: 01.09.2014 Сообщений: 9,660
	14.06.2018, 15:34	2
	Во-первых под "не всегда" я предлагаю понимать "не все", а не временной аспект, потому что логика первого порядка не предназначена для записи утверждений о времени. То есть утверждение есть "Не все зайцы глупее лис". Далее нужно определиться с сигнатурой, или языком, то есть с имеющимися отношениями (а также при наличии с функциями и константами). Давайте вы предложите одно- и двуместные отношения, о которых здесь идет речь, а также мнемонические обозначения для них. 0

@M1X3R 0 / 0 / 0 Регистрация: 14.06.2018 Сообщений: 4
	14.06.2018, 16:02 [ТС]	3
	Если бы я понимал о чем вы меня попросили, я конечно же предложил 0

@3D Homer $Эксперт по математике/физике$ 4952 / 3570 / 1151 Регистрация: 01.09.2014 Сообщений: 9,660
	14.06.2018, 21:37	4
	Я могу помочь, но не буду решать задание за вас. Добавлено через 5 часов 21 минуту M1X3R, про отношения, которые в контексте логики называются предикатами, почитайте гл. IV в следующей книге: Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов. М.: Академия, 2007. Впрочем, этот материал рассматривается в любой книге по математической логике и во многих книгах по дискретной математике. 0