معمای جالبه فرد اسیر

معما//
– یک فردی اسیر است و باید نجات پیدا کند و برای او دو مسیر فرار وجود دارد. یکی نجات و دیگری نابودیست. سر هر کدام از این راهها یک نفر ایستاده یکی کاملا دروغ گو و دیگری کاملا راستگو این فرد با یک سوال چگونه می تواند راه صحیح را پیدا کند؟

(فقط یک سوال و فقط از یک نفر – راستگو و دروغگو مشخص نیست – راه برگشتی هم نیست)

پاسخ:
جواب -> از یکی از انها، فرق ندارد کدام، میپرسه:
اگر از ان نگهبان دیگری بپرسم که آیا او سر راه آزادی ایستاده اون چه میگوید؟
این نگهبان هر چی گفت بر عکسش راه نجات خواهد بود…
اگر گفت آره، برعکسش ، یعنی ان راه نجات نیست و همینی که این ایستاده درست است…
اگر گفت نه، بازم برعکسش ، یعنی آری ان راه نجات است و اینی که ما ازش پرسیدیم راه نابودی…
این معمّای زیبا از اصل ریاضیات جدید (قوانین گزاره ها) حل میشه. برای این مساله :
p) = p~) ~ ، که یعنی نقیض نقیض هر گزاره هم ارز است با خود گزاره…