05 推理形式推理形式 示例 前提 和 结论 ，表示了一种 推理关系 。 如果我想逃避，那么我就会拼命找借口；我想逃避，所以我找借口。 (★) 例题#…姜睿September 03, 2022 1 min
04 主范式极大项 & 极小项 极小项 没有两个不同的极小项是等价的。 极大项 没有两个不同的极大项是等价的。 (★) 例题#1 - 求下列命题公式的极大项或极小项编码 性质姜睿August 27, 2022 1 min
