推理形式

示例

• 前提 和 结论 ，表示了一种 推理关系 。

如果我想逃避，那么我就会拼命找借口；我想逃避，所以我找借口。

• 这个条件式就是一种推理形式。说明如果 和 为真，就可以推出 为真。

 前提真，结论必为真的推理形式，为正确的推理形式。

(★) 例题#1 - 判断下列条件式是否为正确的推理形式

重言蕴涵

 如果给定两个公式  ，只要  取值为真，则  必取值为真。便称  重言（永真）蕴含  ，或称  为  的逻辑推论。

(★) 例题#2 - 判断下列条件式是否正确

引理

1. 如果 ， 为重言式，则 也是重言式。
2. 如果 且 ，则 。
3. 如果 ，则 。
4. 如果 ，则 。
5. 如果 ，则 。