第一章命题逻辑基本概念.ppt

第一章 命题逻辑基本概念 1.1 命题与联结词 称能判断真假而不是可真可假的陈述句为命题（proposition）。 作为命题的陈述句所表达的判断结果称为命题的真值。 真值只取两个：真或假。 真值为真的命题称为真命题。 真值为假的命题称为假命题。 例1.1 判断下列句子是否为命题。 4是素数。 x大于y。 充分大的偶数等于两个素数之和。 今天是星期二。 这朵花真美丽啊！ 我正在说假话。 命题和真值的符号化 用小写英文字母p,q,r…,pi ,qi ,ri …表示命题 用“1”表示真，用“0”表示假 例1.2 解答 例1.2的讨论 半形式化形式 数理逻辑研究方法的主要特征是将论述或推理中的各种要素都符号化。即构造各种符号语言来代替自然语言。 形式化语言：完全由符号所构成的语言。 将联结词（connective）符号化，消除其二义性，对其进行严格定义。 定义1.1 否定(negation) 设p为命题，复合命题“非p”(或“p的否定”)称为p的否定式,记作┐p，符号┐称作否定联结词，并规定┐p为真当且仅当p为假。 定义1.2 合取(conjunction) 设p,q为二命题，复合命题“p并且q”(或“p与q”)称为p与q的合取式，记作p∧q，∧称作合取联结词，并规定p∧q为真当且仅当p与q同时为真。 合取联结词 使用合取联结词时要注意的两点： 描述合取式的灵活性与多样性。