要证明C是一组前提A1，A2，…，An 的有效结论，只需证明A1∧A2∧…∧An→C为重言式。