invalid expression and valid expression of categorical syllogism

• 三段论的无效式和有效式