Вот блин!

[psilogic]

Опять про парадоксы импликации. Помните, я их перечислял, и предлагал свой вариант решения.

Так вот, теперь нашел парадокс, который мою схему тоже рушит.


(A =>> A or B) = true
- общее следование, доказано тут, в конце странички

Подставляем A = false, получаем частное следование:
false ->> B = true
а это - парадокс "из лжи следует все".

(A & B =>> A) = true
- общее следование, доказано там же.

Подставляем A = true, получаем частное следование:
B ->> true = true
а это - парадокс "истина следует из всего".


Вот такой облом: сам выдумал и сам себя через N месяцев опроверг. Может, когда-нибудь выдумается что получше. :(

Comments

[psilogic.livejournal.com]

помню этот анекдот :))
ну а [x => x xor y] - это неинтересно :)

[eugenebo.livejournal.com]

В таком случае, похоже, я не догнал смысл парадокса.

[psilogic.livejournal.com]

та не, просто я не догнал к ночу, что ты хотел сказать. потом догнал :)