北京航空航天大学离散数学课件2.x 自然语言与逻辑命题.pdf

离散数学(1): 数理逻辑 Discrete Mathematics (1): Mathematical Logic 自然语言与逻辑命题 赵永望 zhaoyw@buaa.edu.cn 北京航空航天大学计算机学院 特殊命题逻辑表达 • x yQ(x, y) ： – 所有的x和所有的y有关系Q(x, y) • x yQ(x, y) ： – 所有的x ，都存在(至少)一个y有关系Q(x, y) • x yQ(x, y) ： – 存在(至少)一个的x ，对所有的y有关系Q(x, y) • x  yQ(x, y) ： – 存在(至少)一个的x ，存在(至少)一个y有关系 Q(x, y) 《离散数学》课程 北京航空航天大学计算机学院赵永望(zhaoyw@buaa.edu.cn) 2 特殊命题逻辑表达（续） • 如果Q和R是命题，则命题表示形式为 – (1). “既不Q，也不R ”：QR – (2). “要么Q，要么R ”：(QR)(QR) – (3). “只有Q，才能R ”：QR(或RQ) – (4). “除非Q，否则R ”：QR – (5). “Q，除非R ”：RQ • “仅有一个x” – !xQ(x) x (Q(x) (y Q(y) x=y)) • “至多有一个x” – !!xQ(x) xy(Q(x)  Q(y) x=y) 《离散数学》课程 北京航空航天大学计算机学院赵永望(zhaoyw@buaa.edu.cn) 3 自然语言规范表达 • 例题：每个自然数都大于0。 • 语句规范过程： – (1).因为量词任意与词每个含义相同，所以语句改为 • 任意自然数都大于0 。 – (2). 量词任意是约束客体 • 语句任意自然数都大于0 的含义不是任意客体x ，x大于0 ，而 是满足约束条件x是自然数的任意客体x ，具有性质x大于0 。 • 语句应改为 • “任意x ，如果x是自然数，那么，x大于0 ”。 • Q (x)表示：x是自然数；R(x)表示：x0 。 0 •  x(Q (x)  R(x)) 0 《离散数学》课程 北京航空航天大学计算机学院赵永望(zhaoyw@buaa.edu.cn) 4 自然语言表达逻辑语言 • 例题：存在自然数等于0。 • 语句规范过程： • (2). 量词存在约束客体 – 语句存在自然数等于0的含义是 存在客体x ，x是自然数，并且x=0 。 • 语句应改为 • 存在x ，x是自然数，并且x=0 。 • Q (x)表示：x是自然数；Q (x,y)表示：x=y 。 0 1 •  x(Q (x) Q (x,0)) 0 1 《离散数学》课程 北京航空航天大学计算机学院赵永望(zhaoyw@buaa.edu.cn) 5 符号化一般方法（1） • 自然知识可以表示为命题，所有的自然律也可 以表达为命题。 • 自然语言的命题符号化方法： – (1).在复合语句中识别出陈述句，并用下划线标出 – (2).陈述语句符号化 • 相同 （不同）的客体用相同(不同)符号表示 • 相同 （不同）函数用相同 （不同）符号表示 • 相同 （不同）性质或关系用相同 （不同）符号表示 – (3).联