2命题逻辑.pptVIP

* 2.1 概 述 　 命题：通过语句反映事物情况的思维形式。特征：有真假＝真值 判断：被断定了的命题。特征：主观断定。 语句：表示事物情况的声音或笔画。 命题和语句的关系：内容与表达形式。1）任何命题都通过语句表达； 2）但并非一一对应：有些语句不表达命题（疑问、祈使、感叹等）； 数句一命题；一句数命题 命题、判断、语句 命题逻辑把命题分析为构成复合命题的成分即简单命题，简单命题的真值组合决定整个复合命题的真值。 命题形式：命题的逻辑形式＝命题形式 命题形式及其种类 模态命题（带有“必然”、“可能”等） 简单命题（变项＝概念） 复合命题（变项＝命题） 联言 选言 假言 关系命题 （支命题与联结词） （主、谓项与量词、联项） （关系者项、量词与关系项） 性质命题 负命题 非模态命题 另一种分类 命题分类 推理：从一个或几个已知命题推出一个新命题的思维形式。 例，有的大学生是男性， 所以，有的男性是大学生。 推理分类 推理及其分类 前提 推理标志词 结论 结构 必然性推理 （演绎推理） 或然性推理 归纳推理 类比推理 简单命题推理 复合命题推理 性质 关系 联、选、假、负 定义：反映若干事物情况同时存在 结构：联言支 （若干情况） 联结词（同时存在） 公式： p且q且r p∧q∧r （合取式） 自然语句：虽然，但是；既，又；不仅，而且；尽管，可是；逗、句、分号 例：物美价廉＝这件商品质量好而且这件商品价格便宜 情况组合 符号 物美价廉之真假 1.物美 价廉 p,q 真 t 2.物美 价不廉 p,?q 假 f 3.物不美 价廉 ?p,q 假 f 4.物不美 价不廉 ?p,?q 假 f 联言命题 p q p∧q t t t f f t f f t f f f 真值：支支真，∧真；任一支假，∧假 p∧q的真值表 p q p q 2.1 联言命题及其推理 省略式：省略主项、谓项，主谓项；教科书p30.末例 联言推理 定义：前提或结论为联言命题的推理；依据联言命题性质进行的推理 种类：分解式 依据合取式定义反过来，合取真则支支真。 组合式 依据合取式定义，支支真则合取真 p∧q →p p∧q →q （ p，q，r ）→ p∧q ∧r 定义：反映若干可能事物情况至少有一种存在 结构：选言支 （若干可能情况） 联结词（至少有一存在） 选言命题 p q p∨q t t t f f t f f t t t f 真值：支支假， ∨假 p∨q的真值表 情况组合 符号 命题真假 1.不可靠 有错误 p,q 真 t 2.不可靠 无错误 p,?q 真 t 3.可靠 有错误 ?p,q 真 t 4.可靠 无错误 ?p,?q 假 f 2.3 选言命题及其推理 相容选言命题 定义：选言支可同真 结构：p或q p∨q（∨为相容析取） 自然语句：或，或；可能，也可能；也许，也许 例 “此报告或材料不可靠，或计算有错误” 定义：选言支不同真 结构：选言支（可能情况） 联结词（不能同时存在） 要么p，要么q p∨q∨r（∨为不相容析取） 自然语句：不是，就是；或，或，二者不可兼得等 p q p∨q t t t f f t f f f t t f 真值：至少有一存在，但不能同时存在即至少且至多有一存在，也即唯一支真 唯一支真， ∨真 p∨q的真值表 情况组合 符号 命题真假 1.虎死， 松死 p, q 假 f 2.虎死， 松未死 p,?q 真 t 3.虎未死，松死 ?p,q 真 t 4.虎未死，松未死 ?p, ?q 假 f 例析 “要么武松打死老虎，要么老虎吃掉武松” . ． ． ． ． ． ． 不相容选言命题 选言支穷尽问题 选言支穷尽的命题一定是真命题，但一个真的选言命题不一定