对于集合X上的命题演算,称X上的自 由命题代数P(X)的子集A=A1UA2UA3 中的所有元素为系统的公理。其中: A1={p→(q→p)p,q∈P(X)} A2={(p→(q→r)→(p→q)→(p→r)|p,qr ∈P(X} ◆A3={-p→pp∈P(X} 系统的推理规则采用MP规则( modus ponens):由p和p>q可导出q 对于集合X上的命题演算,称X上的自 由命题代数P(X)的子集A=A1∪A2∪A3 中的所有元素为系统的公理。其中: A1={p→(q→p)|p,qP(X)}; A2={(p→(q→r))→((p→q)→(p→r))|p,q,r P(X)}; A3={p→p|pP(X)}。 系统的推理规则采用MP规则(modus ponens):由p和p→q可导出q