三段论逻辑，是比命题逻辑、量词逻辑更为特殊的逻辑，用一般的量词逻辑是无法说明所有三段论有效式的有效性的。
Compared with proposition logic and quantifier logic, logic of syllogism is more special, and the validity of valid mood of syllogism can not be all illustrated with general quantifier logic.
带有全称量词命题与蕴含命题的数据查询是数据库应用系统中最实用的两类查询，但也是最难的两种数据查询。
Data query for proposition with universal quantifier and data query for implication proposition are two categories of the most practical and difficult data queries.
应用推荐