![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
psilogicОпять про парадоксы импликации. Помните, я их перечислял, и предлагал свой вариант решения.
Так вот, теперь нашел парадокс, который мою схему тоже рушит.
(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 месяцев опроверг. Может, когда-нибудь выдумается что получше. :(
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2006-11-08 05:01 pm (UTC)или если хотите вопрос практического приложения логики
no subject
Date: 2006-11-08 05:53 pm (UTC)но, по мне, так логика и вовсе здесь особо не при чем, дело в формулировке
no subject
Date: 2006-11-08 08:42 pm (UTC)есть высказывания вида "если ... то ... "
для них нужна достаточно точная математическая модель
пока ее нет
no subject
Date: 2006-11-08 09:56 pm (UTC)no subject
Date: 2006-11-08 09:58 pm (UTC)