第九章 演绎 从AEIO到AlphaGo(3)
在基本命题中,根据15种基本AEIO形式可以判断命题真假;通过连接词[而且、或者、如果…那么…、等于等词]可将基本命题连接为复合命题,其命题的真假不仅与组成的基本命题相关,而且与连接词亦有关。
若将2个不确定真假的命题,随即采用连接词,组合成为复合命题,则共有2⁴(16)次可能。
通过对连接词及命题的符号化,得到了“函数”,通过在函数体系内输入内容,可得到对应的输出内容。因此数学化的逻辑被用于许多领域,如电路逻辑图中的与门、非门、或门,人工神经元的数学模型、计算机/手机、人工智能(如AlphaGo)。
网友评论