逻辑学, 说真话者和说谎者问题

这些是经典的逻辑谜题,涉及一群人,其中一些人总是说真话,而另一些人总是说谎。目标是根据他们的陈述推断谁是谁,或确定特定事实。这些需要仔细、系统的演绎。