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, получим суждение Л->И, которое всегда истинно.