UC知道命题逻辑....?
来源：百度知道 编辑：UC知道 时间：2024/06/03 19:29:06
命题逻辑
数理逻辑的基本内容包括命题逻辑和谓词逻辑。那么什么是数理逻辑呢？它是用数学的方法研究形式逻辑推理理论的学科，所谓的数学方法主要指引入的一套符号体系，故数理逻辑亦称符号逻辑。
日常生活中我们使用的语言称为自然语言，它是极其丰富多彩的，但也有含糊多义的特点。对于严格的逻辑推理来说，使用自然语言，是很不方便的，需要引入一种形式化的语言——目标语言，来进行推理。目标语言要求具有单一、明确的含义。目标语言和一些规定的公式符号构成了数理逻辑的形式符号体系。也就是说数理逻辑是一套有机的形式符号体系。
命题与命题变元
语言中的基本元素是命题，它是具有确定真、假意义的陈述句。一个命题可赋予一个值，称为真值。真值只取“真” 、“假”两种，分别记作1或T[True]和0或F[False]例如：
．“我是作家。”这个命题没有确切的真假意义，因为“我”并不确定，或“我”在说谎。这就不符和定义了，难道这些并不影响“命题”在推理当中的作用？命题在整个体系当中充当一个怎样的角色？
二．“我是作家。”这个命题没有确切的真假意义，那么P：“我是作家。”的否命题￢P“我不是作家”。也没有确切的真假意义。也就不会有P为1时￢P为0或P为0时￢P为1的情况了，这怎么解释呢？
解答：～～(请各位试着答一下)
命题联结词
否定联结词定义讲：设P为命题，P的否定也是命题，记作￢P。这句话中应理解成“当P为命题，且P的否定也是命题时，才可记作￢P。”还是“因为P为命题，所以P的否定也是命题，并且可以记作￢P”？“P为命题，P的否定也是命题”它们之间是并列关系还是因果关系？其他合取 析取的定义也存在这个问题。请大家指教！
数理逻辑的基本内容包括命题逻辑和谓词逻辑。那么什么是数理逻辑呢？它是用数学的方法研究形式逻辑推理理论的学科，所谓的数学方法主要指引入的一套符号体系，故数理逻辑亦称符号逻辑。
日常生活中我们使用的语言称为自然语言，它是极其丰富多彩的，但也有含糊多义的特点。对于严格的逻辑推理来说，使用自然语言，是很不方便的，需要引入一种形式化的语言——目标语言，来进行推理。目标语言要求具有单一、明确的含义。目标语言和一些规定的公式符号构成了数理逻辑的形式符号体系。也就是说数理逻辑是一套有机的形式符号体系。
命题与命题变元
语言中的基本元素是命题，它是具有确定真、假意义的陈述句。一个命题可赋予一个值，称为真值。真值只取“真” 、“假”两种，分别记作1或T[True]和0或F[False]例如：
．“我是作家。”这个命题没有确切的真假意义，因为“我”并不确定，或“我”在说谎。这就不符和定义了，难道这些并不影响“命题”在推理当中的作用？命题在整个体系当中充当一个怎样的角色？
二．“我是作家。”这个命题没有确切的真假意义，那么P：“我是作家。”的否命题￢P“我不是作家”。也没有确切的真假意义。也就不会有P为1时￢P为0或P为0时￢P为1的情况了，这怎么解释呢？
解答：～～(请各位试着答一下)
命题联结词
否定联结词定义讲：设P为命题，P的否定也是命题，记作￢P。这句话中应理解成“当P为命题，且P的否定也是命题时，才可记作￢P。”还是“因为P为命题，所以P的否定也是命题，并且可以记作￢P”？“P为命题，P的否定也是命题”它们之间是并列关系还是因果关系？其他合取 析取的定义也存在这个问题。请大家指教！
楼主好像在短时间内发了两个同一个问题,刚刚在那边答了,才看到这边.
想说一下关于 P:我是作家 的问题,根据你的意思好像确实有道理,因为P没有确切意义,所以不会有P为1时￢P为0或P为0时￢P为1的情况了.
但是你只是凭感觉的思考,从严格的逻辑推理来讲,如果知道P为1,那么一定有￢P为0 或 P为0,那么一定有￢P为1 .希望楼主好好想想,看是不是这样.