Показать сообщение отдельно
Старый 30.01.2007, 18:21   #63
Ковшегуб
Отличник форума
 
Регистрация: 05.03.2004
Сообщений: 301
По умолчанию

Цитата:
Сообщение от Субутар Посмотреть сообщение
Следствие (имликация) верно если из истины всегда следует истина

A B A=>B
1 1 1
1 0 0
0 1 1
0 0 1

Левое утверждение есть условие, и принято за истинное по постановке задачи. Правое - ложно (см посты выше с рассчетами). Следовательно следствие неверно (из истины по нему следует ложь). Это и есть ошибка в "парадоксе".
блестящее заключение
правое утверждение ложно, только если решать эту задачу математическими методами. или эмпирическим путем. а с точки зрения логики зенона - оно истинно. в этом и закючается пародокс, или противоречие.
Ковшегуб вне форума   Ответить с цитированием