Цитата:
Сообщение от Ковшегуб
по качану)
если считаешь, что не поэтому, попробуй докажи это.
|
Следствие (имликация) верно если из истины всегда следует истина
A B A=>B
1 1 1
1 0 0
0 1 1
0 0 1
Левое утверждение есть условие, и принято за истинное по постановке задачи. Правое - ложно (см посты выше с рассчетами). Следовательно следствие неверно (из истины по нему следует ложь). Это и есть ошибка в "парадоксе".