no subject

[ Из ложности не-A мы не можем получить истинность не-не-А=A? Или двойное отрицание превращается в "невыводимо или истинно"? ]

да, можем получить. я ж говорю - термин "выводимо" - неудачный.

[ Или эта цепочка вообще ничего не означает? ]

вообще ничего

Post a comment in response:

From:

Anonymous This account has disabled anonymous posting.

OpenID

Dreamwidth account

If you don't have an account you can create one now.

Subject

HTML doesn't work in the subject.

Formatting type

Message