引言 上次写了16组等价公式定律,今天继续用Prolog写9组逻辑蕴涵公式。 感觉这些公式的名称与公式挺难一一对应来记忆的,只能多练习了. 1. 附加律 (Addition) A ⇒ A∨B 当你拿到一个苹果（A），突然你知道，即使有了梨（B），你依然拥有苹果。这就是附加律的奇妙之处！如同魔术师，展示了这种简单却深刻的真理。 fun1(A,B,Z):-member(A,[false,t