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

[i]10 Не все кошки серы, поэтому все кошки не серые, а некоторые из них черны.[/i]

Обсуждение

Неизвестный
31.05.2012, 23:32
общий
10 в начале предложения - это просто мой номер моего варианта!
давно
Профессор
230118
3054
01.06.2012, 12:10
общий
это ответ
Здравствуйте, Посетитель - 375268!

Определим все предикаты на множестве кошек
G(x) - объект x серый
B(x) - объект x черный
Не все кошки серы -
~[$8704$]x ( G(x)) это равносильно
[$8707$]x(~G(x))
[$8707$]x(~G(x))->[$8704$]x(~G(x))&[$8707$]xB(x)

Избавимся от импликации
[$8704$]x( G(x))[$8744$][$8704$](~G(x))&[$8707$]xB(x)
Переносим кванторы вперед, для этого в B(x) переименуем переменную
[$8704$]x[$8707$]y( G(x)[$8744$](~G(x))&B(y) )
[$8704$]x[$8707$]y( G(x)[$8744$]B(y) )
Форма ответа