逻辑系统中重言式及广义重言式的关系

• Relation between tautologiesand generalized tautologies in logic systems