• 2022-05-26
    十四、命题演算的公理系统L包含L1、L2、L3、MP 。已知L具有可靠性、完全性、公理独立性。在L中去掉L3得到公理系统L’。 L’具有(可多选):
    A: 可靠性
    B: 完全性
    C: 公理独立性