命题和真值的符号化 口用小写英文字母F…,q,r…表示命题 口用“1”表示真,用“0表示假 p:4是素数。 r:充分大的偶数等于两 :2是无理数今童 口不能被分解成更简单的陈述句,称这样的命 题为简单命题或原子命题。 口由简单陈述句通过联结词而成的陈述句,称 这样的命题为复合命题
命题和真值的符号化 ❑用小写英文字母p,q,r…,pi ,qi ,ri…表示命题 ❑用“1”表示真，用“0”表示假 r：充分大的偶数等于两 个素数之和。 2是无理数 s：今天是星期二。 p：4是素数。 q： ❑不能被分解成更简单的陈述句，称这样的命 题为简单命题或原子命题。 ❑由简单陈述句通过联结词而成的陈述句，称 这样的命题为复合命题
例12 将下面这段陈述中所出现的原子命题符号化,并指出它 们的真值,然后再写出这段陈述。 2是有理数是不对的;2是偶素数;2或4是素数;如果2 是素数,则3也是素数;2是素数当且仅当3也是素数。 p:√2是有理数0 非P; q:2是素数; q并且(与)r; r:2是偶数 q我t s:3是素数 如果q,则s; t:4是素数 0 q当且仅当sa
例1.2 将下面这段陈述中所出现的原子命题符号化，并指出它 们的真值，然后再写出这段陈述。 是有理数是不对的；2是偶素数；2或4是素数；如果2 是素数，则3也是素数；2是素数当且仅当3也是素数。 2 p： 是有理数 q：2是素数； r：2是偶数 s：3是素数； t：4是素数 2 0 1 1 1 0 非p； q并且(与)r； q或t； 如果q，则s； q当且仅当s
例1.2的讨论 口半形式化形式 口数理逻辑研究方法的主要特征是将论述或推 理中的各种要素都符号化。即构造各种符号 语言来代替自然语言 口形式化语言:完全由符号所构成的语言。 口将联结词( connective)符号化,消除其二义 性,对其进行严格定义 口例如:他是100米或400米赛跑的冠军。 鱼香肉丝或锅包肉,加一碗汤
例1.2的讨论 ❑半形式化形式 ❑数理逻辑研究方法的主要特征是将论述或推 理中的各种要素都符号化。即构造各种符号 语言来代替自然语言。 ❑形式化语言：完全由符号所构成的语言。 ❑将联结词（connective）符号化，消除其二义 性，对其进行严格定义。 ❑例如： 他是100米或400米赛跑的冠军。 鱼香肉丝或锅包肉，加一碗汤
定义1,1否定(negi) 口设为命题,复合命题“非p”(或“p p1 p 的否定”)称为p的否定式,记作ηP 符号称作否定联结词,并规定p 0 为真当且仅当p为假。 0 例如:p:哈尔滨是一个大城市。 ηp:哈尔滨是一个不大城市。 ηp:哈尔滨不是一个大城市
定义1.1 否定(negation) ❑设p为命题，复合命题“非p”(或“ p 的否定”)称为p的否定式,记作┐p， 符号┐称作否定联结词，并规定┐p 为真当且仅当p为假。 例如：p： 哈尔滨是一个大城市。 ┐p：哈尔滨是一个不大城市。 ┐p：哈尔滨不是一个大城市。 p ┐p 1 0 0 1
定义1.2合取( conjunction 口设p,q为二命题,复合命题“ppqp∧q 并且q”(或“p与q)称为p与q 的合取式,记作p∧q,∧称作1 0 0 合取联结词,并规定p∧q为真010 当且仅当p与q同时为真 使用合取联结词时要注意的两点 描述合取式的灵活性与多样性。 自然语言中的“既 量■■■ ”、“不但,,而且 “虽然…但是 等联结词都 可以符号化为∧。 分清简单命题与复合命题。 不要见到“与”或“和”就使用联结词∧
定义1.2 合取(conjunction) ❑设p,q为二命题，复合命题“ p 并且q”(或“ p与q”)称为p与q 的合取式，记作p∧q，∧称作 合取联结词，并规定p∧q为真 当且仅当p与q同时为真。 使用合取联结词时要注意的两点： 1) 描述合取式的灵活性与多样性。 自然语言中的“既……又……” 、 “不但……而且……” 、 “虽然……但是……” 、 “一面……一面……”等联结词都 可以符号化为∧。 2) 分清简单命题与复合命题。 不要见到“与”或“和”就使用联结词∧。 p q p∧q 1 1 1 1 0 0 0 1 0 0 0 0