معمای خانوادگی

پدر علی کیست؟ معمای منطقی خنده‌دار:

در نظریه گراف، این رابطه یک چرخهٔ دوگانه است: مادر علی ⇔ همسر پدر علی. اما جالب‌تر این که این معمای ساده نمونه‌ای از «استدلال دوری» (Circular Reasoning) است که در منطق ریاضی هم مشهور است. آیا می‌توانید یک معمای مشابه با «خواهر عموی علی» بسازید؟

راهکار:

این یک معمای چرخشی است: «مادر علی همسر پدر علی است» یک گزاره همیشه درست است؛ پس پاسخ «پدر علی همان شوهر مادر علی است» می‌شود. اما نکته اینجاست که سوال، خودش را نقض می‌کند و یک پارادوکس منطقی ساده ایجاد می‌کند. برای گسترش، می‌توانی یک معمای مشابه با «برادر/خواهر» طراحی کنی.