数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支，也是逻辑学的一个分支；是用数学的方法研究逻辑或形式逻辑的学科。数理逻辑就是精确化、数学化的形式逻辑。数理逻辑包括命题逻辑和谓词逻辑。它是现代计算机技术的基础。它为机器证明、自动程序设计、计算机辅助设计等计算机应用提供必要的理论基础。第9章 命题逻辑例1 张三说李四在说谎,李四说王五在说谎, 王五说张三和李四都在说谎. 问:谁说的是真话? 例2 有一仓库被盗,经侦察确定甲,乙,丙,丁 四人中 的两人作案,且可靠的线索有: (1) 甲,乙两人中有且只有一个人去过仓库; (2) 乙和丁不会同时去仓库; (3) 丙若去仓库,丁必定同去; (4) 丁若没去仓库,则甲也没去. 判断四人中哪两人作案?解答:(1)李四说真话; (2)作案者为甲和丁.9.1 命题和命题联结词 一、命题的概念 二、命题联结词和真值表 三、命题的符号化 四、命题公式 1.命题的定义 能够确定或分辨其真假的陈述句, 且真与假必居其一。 简言之,命题是非真即假的陈述句。 2.命题的真值 命题是真就说其真值为真,用“1”表示， 命题是假就说其真值为假,用“0”表示。 真值为真
