לוגיקה, דוברי אמת ושקרנים

אלו חידות היגיון קלאסיות הכוללות קבוצת אנשים, שחלקם תמיד דוברי אמת וחלקם תמיד שקרנים. המטרה היא להסיק מי הוא מי, או לוודא עובדה ספציפית, על סמך הצהרותיהם. אלו דורשות דדוקציה זהירה ושיטתית.