Задача на логику⁠⁠

"Когда Пиноккио врет - у него вырастает нос" - импликация в одну сторону, A => B, т.е. нос может вырасти не только от лжи, но и сам по себе, так что ничего не мешает Пиннокио сказать, что "вот сейчас нос вырастет" и не соврать при этом. Вот если бы вместо импликации была бы эквивалентность A<=>B ("Нос растет тогда и только тогда, когда Пиннокио врет"), то получался бы классический парадокс лжеца.
Если вдруг кому интересны такие вещи, рекомендую книгу Д. Хофштадтера "Гёдель, Эшер, Бах - эта бесконечная гирлянда". В ней хорошим и простым языком описывается и формальная логика, и парадоксы такого рода, и теорема Гёделя, которая позволяет эти парадоксы разрешить.