Консультация № 185319
30.01.2012, 00:22
56.03 руб.
0 1 1
Здравствуйте, уважаемые эксперты! Прошу вас ответить на следующий вопрос:
Разбить высказывание на элементарные и записать в виде кванторной формулы логики предикатов, используя наименьшее возможное число предикатов наименьшей местности; указать область определения использованных предикатов; привести формулу к предваренной нормальной форме:

Для любых двух различных действительных чисел найдется число, расположенное между ними.

Обсуждение

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

P(x,y) - истинно, если x<y
Определен на R.

[$8704$]x[$8704$]y [$8707$]z (x<>y[$8594$](P(x,z) [$8743$]P(z,y) [$8744$] P(y,z) [$8743$]P(z,x)))
В том случае, когда x=y, получим суждение Л->И, которое всегда истинно.
Форма ответа