条件推理示范：用 P→Q 判断能推出什么

条件推理示范：用 P→Q 判断能推出什么

来源身份：本站原创学习内容，AI 辅助编写。以下“材料编号”和“进度查询”均为虚构练习情境，不是实际政府系统、办理流程或考试真题。

题目情境

某虚构练习规则说：如果一份材料有唯一编号，那么经办人可以查询它的处理进度。

设 P 为“材料有唯一编号”，Q 为“经办人可以查询处理进度”。规则写成 P→Q。它规定 P 足以推出 Q，没有规定 P 是得到 Q 的唯一方式。

第一步：有编号时能得出什么

已知这份材料有唯一编号，即 P。规则要求 P 成立时 Q 也成立，所以可以推出“经办人可以查询处理进度”。这叫肯定前件：P→Q，P，因此 Q。

第二步：无法查询时能得出什么

现在反过来已知经办人不能查询处理进度，即 ¬Q。假如材料有唯一编号，原规则就要求能够查询，和已知事实矛盾。因此材料不可能有唯一编号，可以推出 ¬P。这叫否定后件：P→Q，¬Q，因此 ¬P。

第三步：不要把两个方向反过来

• 只知道材料没有唯一编号（¬P），不能推出经办人无法查询（¬Q）。练习没有排除其他查询方式，原规则也没有说编号是唯一条件。
• 只知道经办人可以查询进度（Q），不能推出材料一定有唯一编号（P）。练习没有排除其他查询方式。

核对方法

先写 P→Q，再把题目给出的信息标成 P、¬P、Q 或 ¬Q。只有已知 P 或 ¬Q 时，才能单凭这条规则分别推出 Q 或 ¬P。若选项把 ¬P 推成 ¬Q，或把 Q 推成 P，题目就额外假设了原规则没有给出的条件。

用真值行复核

最后两行说明：P 不成立时，Q 仍可能真或假，所以只凭 ¬P 不能确定 Q；Q 为真也可能对应 P 真或假，所以只凭 Q 不能确定 P。