命题——逻辑的推演

第九章 演绎 从AEIO到AlphaGo

AEIO：是4种主谓结构：全称肯定结构、全称否定结构、特称肯定结构、特称否定结构。

三段论的实质是事物中的必然因果关系在思维形式中的展现，推理明确概念的范畴，通过明确范畴，澄清不同概念之间的关系。

逻辑学属于形式科学，内容本身的真假需要实证科学的结论来辩护。