Пусть есть сыр и дырки в сыре . Введем отношения больше, меньше. Пусть сыр с дырками существует.
Тогда
(Больше сыра-> больше дырок )&(больше дырок->меньше сыра) -> (больше сыра = меньше сыра)
Но очевидно, что (больше сыра = меньше сыра)->сыр не существует.
Таким образом сыр существует->сыр не существует.
Что и подтверждается фактом, что если сыр существует у меня на столе, то он не существует где-то ещё.

http://shizophreniki.livejournal.com/

1)(Больше сыра->больше дырок )
2)(больше дырок->меньше сыра)
Первое утверждение подразумевает, что множество "дырки" является подмножеством множества "сыр", то есть "сыр" - это сыр с дырками.
Тогда второе утверждение неверно.
Во втором утверждении подразумевается, видимо, что "сыр" = "сыр с дырками"\"дырки"
Если "сыр" = "сыр с дырками"\"дырки", тогда первое утверждение неверно.