充分条件假言命题的形式:如果p,那么q (p→q)
在蕴涵式p→q中,p称为→的前件(左辖域),q称为→的后件 (右辖域)。
2021年5月23日星期日
25
→的真值表
p
q
p →q
T
T
T
T
F
F
F
T
T
F
F
T
充分条件假言命题的逻辑性质是:除了前件为真而后
件为假时充分条件假言命题是假的以外,在其它三种情况下, 充分条件假言命题都是真的。
➢深入到命题内部,把命题分析为个体词、谓词、量词及联 结词
——研究关于量词的推理(现代谓词逻辑) ➢把命题中包含的模态词分析出来
——研究关于模态词的推理(模态逻辑)
2021年5月23日星期日
7
逻辑语形学与逻辑语义学
逻辑语形(语法)学:研究符号与符号关系的逻辑理论。 逻辑语义学:研究符号及其解释的逻辑理论,如:把p、q、r解释为取 真假值的命题变元,把∧、∨ 、→解释为真值集上的运算,把p∧q、 p∨q、p→q解释为真值函数的表达式。
AB A ——
B
AB B —— A
2021年5月23日星期日
23
假言命题
假言命题是由假言联结词(如 “如果,那么”、“只有, 才”、“当且仅当”等)联结支命题而形成的复合命题, (例1如: (2 (3)人不犯我,我不犯人,人若犯我,我必犯人。
在(1)、(2)中由“如果”、“只有”引出的支 命题称为前件 ,由“那么”、“才”引出的支命题
2021年5月23日星期日
3
命题和语句
任何命题都是通过语句来表达的,但语句和命题并非一一对应:
首先,有的语句不能直接表达命题,如: (1)西南大学在重庆吗? (2)请把门关上!