• 2022-06-08
    (((¬ p1) →(¬ p2))→(( p1→ p3)→((¬ p1)→(¬ p2))))是:
    A: L中符合L1的公理
    B: L中符合L2的公理
    C: L中符合L3的公理
    D: 不是L的公理