离散数学第一章命题逻辑.pptxVIP

9/23/2025chapter11第一章命题逻辑

PropositionLogic1.1命题及其表示法1.2联结词1.3命题公式与翻译1.4重言式、矛盾式、可满足公式1.5等价与蕴含1.6推理理论

1.1命题及其表示法1、命题命题——非真即假的陈述句。命题的真值对，成立，则真值为真，T，1错，不成立，则真值为假，F，0断言是一陈述语句。一个命题是一个或真或假而不能两者都是的断言。如果命题是真,我们说它的真值为真；如果命题是假，我们说它的真值是假。

1.1命题及其表示法9/23/2025chapter13【例1】判定下列各语句是否为命题：(a)巴黎在法国。(b)煤是白色的。(c)3+2=5(d)别的星球上有生物。(e)全体立正。(f)明天是否开大会？(g)天气多好啊！(h)我正在说谎。(i)如果天气好，那么我去散步。(j)x3（是）（是）（是）（是）（否，祈使句）（否，疑问句）（否，感叹句）（否, 悖论）（是,复合命题）（否，不能确定真值）

1.1命题及其表示法2、命题的表示9/23/2025chapter14命题变元——常用P、Q、R、S等大写字母或加下标的大写字母P1,Q2,R10,……表示来表示一个命题，称为命题变元。如：P:巴黎在法国。Q:煤是白色的。

3、命题相