Вот блин!

[psilogic]

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

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


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

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

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

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


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

Comments

[widowmaker1984.livejournal.com]

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

А где можно посмотреть "предыдущие серии"?

[psilogic.livejournal.com]

http://psi-logic.shadanakar.org/iff/iff.htm

надо будем потом исправить текст, если ничего не придумаю... тем более, если придумаю :)