Консультация № 186309
03.06.2012, 23:18
78.80 руб.
0 3 1
Уважаемые эксперты! Пожалуйста, ответьте на вопрос:
Разбить высказывание на элементарные и записать в виде кванторнст формулы логики предикатов, используя наименьшее возможное число предикатов; указать область определения использованных предикатов; привести формулу к предваренной нормальной форме:

[i]По скольку не все птицы могут летать, то есть птицы, не умеющие плавать.[/i]

Обсуждение

давно
Профессор
230118
3054
04.06.2012, 16:43
общий
это ответ
Здравствуйте, Посетитель - 375268!

Определим предикаты на множестве птиц
F(x)- птица умеет летать
S(x)- птица умеет плавать
~[$8704$]xF(x)[$8594$][$8707$]x(~S(x))
[$8704$]xF(x)[$8744$][$8707$]x(~S(x))
[$8704$]xF(x)[$8744$][$8707$]y(~S(y))
[$8704$]x[$8707$]y(F(x)[$8744$](~S(y)))
Неизвестный
24.06.2012, 13:08
общий
Адресаты:
Асмик, здравствуйте!
Преподаватель остметил ошибки и не зачёл полностью задачу.

Можете исправить?
давно
Профессор
230118
3054
24.06.2012, 21:43
общий
В Вашем ответе вместо квантора общности стоит квантор существования, и преподаватель должен был отметить именно это, а дизъюнкция у меня стоит правильно, потому что импликацию A -> B можно заменить на ~A V B
В F(x)- птица умеет летать
S(x)- птица умеет плавать
нужно просто добавить x, хотя по-моему, это и так очевидно.
Форма ответа