[高等教育]第1章 命题逻辑的基本概念.pptVIP

第1章 命题逻辑的基本概念 命题逻辑研究的是命题的推理演算． 命题逻辑的基本概念 命题联结词 合式公式、重言式 自然语句的形式化 命题逻辑的基本概念 命题是一个非真即假(不可兼)的陈述句．有两层意思，首先命题是一个陈述句，而命令句、疑问句和感叹句都不是命题．其次是说这个陈述句所表达的内容可决定是真还是假，而且不是真的就是假的，不能不真又不假，也不能又真又假． 凡与事实相符的陈述句为真浯句，而与事实不符的陈述句为假语句．这说是说，一个命题具有两种可能的取值(又称真值)，为真或为假，并且只能取其一． 通常用大写字母T表示真值为真，用F表示真值为假．因为只有两种取值，所以这样的命题逻辑称为二值逻辑． 举例说明 (1)“雪是白的”命题， (2)“雪是黑的”命题． (3)“好大的雪啊”不是陈述句，不是命题． (4)“一个偶数可表示成两个素数之和” ．是命题，或为真或为假，只不过当今尚不知其是真命题还是假命题． (5)“1+10l＝110”．这是一个数学表达式，相当于一个陈述句，可以叙述为“1加101等于110，这个句子所表达的内容在十进制范围中真值为假，而在二进制范围中真值为真．可见，这个命题的真值与所讨论问题的范围有关． 命题变项 为了对命题作逻辑演算，采用数学手法将命题符号化(形式化)是十分重要的．约定用大写字母表示命题，如以户表示“雪是白的”，Q表示“北京是中国的首都”等．当P表示