Вот блин!

[psilogic]

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

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


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

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

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

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


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

Comments

[goh-dan.livejournal.com]

Фиг с ним, с результатом. Главное - Вы стали умнее!

[widowmaker1984.livejournal.com]

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

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

[eugenebo.livejournal.com]

Ну, расстраиваться не стоит. Наоборот, сие есть свидетельство внутреннего роста :)

/*Хихикая*/ "Луна сделана из сыра, следовательно, либо Луна сделана из сыра, либо я сейчас сижу в ЖЖ" :)))

Напоминает знаменитый анекдот.

[bonesdmz.livejournal.com]

А можно подробнее, в чем именно парадокс?

"Из лжи следует все" - это некорректно. На самом деле имеется в виду что если исходить из ложных посылок, то всегда окажешься прав.

ВОобще я не очень понимаю ход твоих рассуждений.

[perets2001.livejournal.com]

Сам себя не опровергнешь — никто не опровергнет.

[dreimora.livejournal.com]

а в чём опровержение, не догнала ?

следствий же может быть несколько, нет ?