Relation between tautologiesand generalized tautologies in logic systems

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