充要条件 定理4推理形式“αx1,α2,…,αn推出β”有 效的充要条件是命题形式(u1^a2A…^an) →β是重言式。 意义:推理形式的有效性与命题形式的永真 性可以互相化约。 今后将建立带前提的证明系统和重言式证明 系统,并证明它们的等价性。充要条件 定理4 推理形式“α1，α2，…，αn推出β” 有 效的充要条件是命题形式(α1 ∧ α2 ∧ … ∧ αn) → β是重言式。 意义：推理形式的有效性与命题形式的永真 性可以互相化约。 今后将建立带前提的证明系统和重言式证明 系统，并证明它们的等价性