тест от Несмеяны что ли?

[Ковшегуб]

Сообщение от Субутар

Следствие (имликация) верно если из истины всегда следует истина

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

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

блестящее заключение
правое утверждение ложно, только если решать эту задачу математическими методами. или эмпирическим путем. а с точки зрения логики зенона - оно истинно. в этом и закючается пародокс, или противоречие.