逻辑学23534.ppt

命题逻辑和谓词逻辑 命题逻辑：不分析简单命题内部结构，讨论关于联结词的推理理论。例如： 如果某甲作案，那么他没有作案动机。 某甲没有作案动机。 所以，某甲没有作案。 谓词逻辑：分析简单命题的内部结构，讨论关于量词的推理理论。例如： 所有的作案者都有作案动机。 某甲没有作案动机。 所以，某甲不是作案者。 命题逻辑和谓词逻辑 研究推理形式的有效性时，把命题当做不可分的逻辑单位有时是不够的。例如： （1）张三的朋友都是李四的朋友，王五不是李四的朋友。所以，王五不是张三的朋友。 这个推理的形式在命题逻辑中表示为：P，?q├ ?r 这个推理事实上是有效的。但仅用命题逻辑的理论不能表明它是有效的推理。 （2）所有人都会死，张三是人，所以，张三会死。 这是一个正确的三段论推理。但仅用命题逻辑的理论也不能表明它是有效推理。 因此，要研究涉及量词的推理，仅用命题逻辑的理论是不够的。只有在命题逻辑的基础上发展谓词逻辑，才能解决这类推理的有效性问题。 个体词和谓词 谓词逻辑就是把命题分解为个体词、谓词、量词以及联结词的逻辑系统。例如： （3）我是学生。 （4）王五不是李四的朋友。 个体词：表示个体的语词，如：“我”、“王五” 、“李四”。 谓词：用来说明个体词的性质或关系的语词。 如例（3）中“是学生”是一元谓词，例（4）“…是…的朋友”是二元谓词。类似的，还有三