May 6th, 2017

Фейсбук спрашивает, о чем я думаю

Я думаю о том, что из А следует Б, но из Б не следует А. Еще сегодня утром я считал, что А эквивалентно Б. Сегодня днем, записывая это, я обнаружил, что не могу вывести А из Б, и написал вместо этого замечание, что хорошо бы знать, следует ли А из Б. А к вечеру я вижу, что у меня есть контрпример, показывающий, что А не следует из Б.