从命题逻辑到机器学习

第九章 演绎 从AEIO到AlphaGo（3）

在基本命题中，根据15种基本AEIO形式可以判断命题真假；通过连接词[而且、或者、如果…那么…、等于等词]可将基本命题连接为复合命题，其命题的真假不仅与组成的基本命题相关，而且与连接词亦有关。

若将2个不确定真假的命题，随即采用连接词，组合成为复合命题，则共有2⁴（16）次可能。

通过对连接词及命题的符号化，得到了“函数”，通过在函数体系内输入内容，可得到对应的输出内容。因此数学化的逻辑被用于许多领域，如电路逻辑图中的与门、非门、或门，人工神经元的数学模型、计算机/手机、人工智能（如AlphaGo）。