![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Вот блин!
Опять про парадоксы импликации. Помните, я их перечислял, и предлагал свой вариант решения.
Так вот, теперь нашел парадокс, который мою схему тоже рушит.
(A =>> A or B) = true
- общее следование, доказано тут, в конце странички
Подставляем A = false, получаем частное следование:
false ->> B = true
а это - парадокс "из лжи следует все".
(A & B =>> A) = true
- общее следование, доказано там же.
Подставляем A = true, получаем частное следование:
B ->> true = true
а это - парадокс "истина следует из всего".
Вот такой облом: сам выдумал и сам себя через N месяцев опроверг. Может, когда-нибудь выдумается что получше. :(
Так вот, теперь нашел парадокс, который мою схему тоже рушит.
(A =>> A or B) = true
- общее следование, доказано тут, в конце странички
Подставляем A = false, получаем частное следование:
false ->> B = true
а это - парадокс "из лжи следует все".
(A & B =>> A) = true
- общее следование, доказано там же.
Подставляем A = true, получаем частное следование:
B ->> true = true
а это - парадокс "истина следует из всего".
Вот такой облом: сам выдумал и сам себя через N месяцев опроверг. Может, когда-нибудь выдумается что получше. :(
no subject
или если хотите вопрос практического приложения логики
no subject
но, по мне, так логика и вовсе здесь особо не при чем, дело в формулировке
no subject
есть высказывания вида "если ... то ... "
для них нужна достаточно точная математическая модель
пока ее нет
no subject
no subject