第一章 引 论
第一节 传统逻辑与现代逻辑
一
释 “ 逻 辑 ”
()
一
λóyos(逻各斯) → Logic →逻辑
亚里士多德 彼得《逻辑大全》
逻 名学 辩学 论理学 理则学
辑 严复 穆勒名学 (Mill 逻辑
一
学体系)
词 章士钊 逻辑指要
的 由 来
()
希腊文中的λóyos是个多义词,指
第四节 假言命题及其推理
一、假言命题
定义:假言命题是反映某一事物情况是 另一事物情况存在条件的命题。
种类:(一)充分条件假言命题 (二)必要条件假言命题 (三)充分必要条件假言命题
(一)充分条件假言命题
1、什么是充分条件:如果有p就一定有q, 没有p不一定没有q,这样p就是q的充分 条件。(有之必然,无之未必不然)
2、什么是充分条件假言命题:反映前件 是后件的充分条件的假言命题。
例:如果天下雨,那么地上湿。
倘若一个整数的末尾数是0,则这个 数就能被5整除。
(一)充分条件假言命题
3、充分条件假言命题的公式: 如果p,那么q p → q (“→”是蕴涵符号,表示现代
汉语中的“如果……那么……”) 4、充分条件假言命题的语言表达形式:
相容选言命题就是选言肢可以同真的选言命题。
公式 p或者q p∨q (“P”和“q”表示肢命 题,“或者”表示联结词。也可以用“∨”析 取符号表示“或者” )
在现代汉语中相容选言命题的联结词还可表达 为:“可能……也可能……”,“也许……也 许……”
相容选言命题的逻辑值
1、相容选言命题的真值表
p
q
真
不相容选言命题的逻辑值
1、不相容选言命题的真值表