闪狐 FlashFox
登录

逻辑判断

专题简介
逻辑判断:根据已知条件,通过推理判断真假或找出答案。
常见题型:真假推理(谁说真话谁说假话)、条件推理(如果...那么...)、排序推理。
列表法:把已知条件列成表格,逐一排除。
假设法:先假设某人为真话/假话,推导看是否矛盾。

常用技巧
【列表法】行和列分别是待判断的对象和条件,打勾/打叉。
【假设法】假设A说真话,推导下去,若出现矛盾则假设错误。
【找矛盾】两句话互相矛盾,必有一真一假。
【排中律】非真即假,没有第三种可能。
【等价变换】『如果A则B』等价于『非B则非A』(逆否命题)。

常见易错点
× 假设后没有检验是否矛盾就下结论。
× 列表时,每行/每列只能有一个勾(一一对应问题)。
× 『如果A则B』为真时,A假或B真都不会让命题为假(只有A真B假才为假)。
× 忽略『只有一人说真话』这类限制条件。

练习摘录

假设法口诀?

先假设,再推导,有矛盾,假设错。 步骤:① 假设某条件成立;② 推导所有结论;③ 检查是否有矛盾;④ 有矛盾则假设错误,换另一种假设。

如果A则B,什么时候为假?

只有 A真B假 时,『如果A则B』才为假。 A假时,无论B真假,命题都为真(空真)。 例:『如果下雨则地湿』。下雨了但地没湿 → 命题假。没下雨,地湿不湿命题都为真。

甲说:『乙说假话。』乙说:『甲说真话。』谁说真话?

提示:假设甲说真话,那么乙说假话 → 乙说『甲说真话』是假话 → 甲说假话。矛盾吗? 假设甲说真话 → 乙说假话 → 乙说『甲说真话』是假的 → 甲说假话,与假设矛盾! 假设甲说假话 → 乙说真话 → 乙说『甲说真话』是真的 → 甲说真话,与假设矛盾! 两个假设都矛盾 → 这是一道『无解』或『陷阱』题,说明题目条件有问题。 重新理解:甲说『乙说假话』,乙说『甲说真话』。如果乙说真话,则甲说真话,则甲说『乙说假话』→ 乙说假话,矛盾。如果乙说假话,则甲说假话,则『乙说假话』是假的 → 乙说真话,矛盾。 → 确实无解,题目故意设计成矛盾,考察逻辑敏感性!

三人中,只有一人说真话。A说:『B说假话。』B说:『C说假话。』C说:『A和B都说假话。』谁说真话?

提示:分别假设A、B、C说真话,看是否满足『只有一人说真话』。 假设A真 → B假 → C真(因为B说『C说假话』是假的 → C说真话)。A真且C真 → 两个真,与『只有一人真』矛盾。 假设B真 → A假且C假。A假 → 『B说假话』是假的 → B真(✓)。C假 → 『A和B都说假话』是假的 → A和B不都说假话(✓,因为B真)。无矛盾! 假设C真 → A假且B假。B假 → 『C说假话』是假的 → C真(✓)。但A假 → 『B说假话』是假的 → B真,与B假矛盾。 结论:B说真话。

如果明天不下雨,我们就去公园。实际上我们没去公园,可以推出什么?

提示:命题:如果不下雨 → 去公园。逆否命题:如果没去公园 → 下雨了。 没去公园 → 下雨了(逆否命题等价于原命题)。 逻辑:『如果A则B』的逆否命题『如果非B则非A』与原命题等价。

A→B,B→C,能推出 A→C 吗?

提示:这就是假言三段论。如果A成立则B成立,如果B成立则C成立,那么A成立能推出C成立吗? 能!A→B,B→C,则 A→C。 例:如果是狗 → 是哺乳动物;如果是哺乳动物 → 是动物。所以如果是狗 → 是动物。✓

上面是其中 6 道。登录后可以继续练这一库其余约 4 道。

登录,解锁全部题目