跳到主要内容

词项逻辑把“所有人都会犯错”这样的全称命题作为推理分析的基本单位。

Term logic treats a universal proposition such as “everyone makes mistakes” as a basic unit of inferential analysis.