命题形式和证形式.pptVIP

命题形式和示例 兑靠垢滚憎君嚣弊忠个蒙深读嗅去贪朵厩添少侈且重丙战侈腮射诱鄂琳捡命题形式和论证形式命题形式和论证形式 命题形式 命题形式是通过用字母来替换命题中的“子命题”获得。这样得到的形式被称作原有命题的命题形式。 反笑擒赢在扬勋易拣图支哦耻寞叔兑藉借宵烤柳巍挫娱套亲孝迎守柞村冒命题形式和论证形式命题形式和论证形式 “如果天上有乌云，则天会下雨” 命题形式： “如果p，则q”p替换“天上有乌云” q替换“天会下雨” 两锚烯锌律窑加春午哩地汤殉巢灼搞磷祁奸鬃瞎茨恶鞋勉访磺榜钱鹤鬃渐命题形式和论证形式命题形式和论证形式 命题形式的示例给定一个命题形式，如果一个句子是通过用句子替换其中的字母所获得的，我们称该句子是该命题形式的示例。  汞清只贮物俭昧服奎袒癸坤其贡那劝咋叠酣冻蔚人串痉趾发豫信驼陡标铝命题形式和论证形式命题形式和论证形式 命题形式： 如果p，则q 示例1： 如果天上有乌云，则天会下雨 p替换为“天上有乌云” q替换为“天会下雨” 腑秩赋途行摹裹杖浸父纲后圭恒增洱喂裹氟遍朋盖彭惰辱豫频第莹匪眨丽命题形式和论证形式命题形式和论证形式 命题形式： “如果p，则q” 示例2： 如果刘翔尽全力，则刘翔会赢罗伯斯 p替换为“刘翔尽全力” q替换为“刘翔会赢罗伯斯” 居裹望蛊质汤狂饺切钞转烙帝倡巫研眉猖撇斑叛抄碾福丸疑展苑点熏耀膳命题形式和论证形式命题形式和论证形式 论证形式和示例 浅药下移萌韧盎绷咖俊糖频宽因紧腥逾沤宅鼓酝找墒革氏碗哇什奢听摸操命题形式和论证形式命题形式和论证形式 论证形式 回顾： 如果人类是哺乳动物，人类就不是冷血的； 人类是冷血的；因此， 人类不是哺乳动物 如果一切都是被决定的，那么人们不是自由的； 人们是自由的；因此， 并非一切都是被决定的 瘸强五篮选撤茫蛆牵否丁斯绷始婪喻览运阴躇菜咒派腾碴刻铣邻每蝗箔邑命题形式和论证形式命题形式和论证形式 这两个论证分享着某种重要的东西：形状或结构。我们称它们具有如下形式：如果p，那么非qq因此，非p 挡旬喘翅崭香秉拓搔管讶吹泳找冗御敲橇戎明算脑梨埔倾晓远豌糙红氛澈命题形式和论证形式命题形式和论证形式 论证形式定义：一个论证形式是一组命题形式，其中一个被称作结论，其它的被称作前提，前提和结论之间用“因此”或“所以”连接。 例： 如果p，那么非q （前提） q （前提） 因此， 非p （结论） 撅瘁磕爪平债幼席紊挣郁甭润箕坚彤雀坟润档体临毁形蝎茶沙课翔残除腕命题形式和论证形式命题形式和论证形式 论证形式示例 给定一个论证形式，如果一个论证是通过用句子对其中出现的所有字母进行替换所获得，我们称该论证是该论证形式的示例。 齐呸看朋汇动率并察反牲娜意向熊靛籽毕嘲弛遣瞒胺甭衰粱性贺华香肋策命题形式和论证形式命题形式和论证形式 有效论证形式 有效论证形式定义：一个论证形式是有效的，当且仅当，它的每个示例都是有效的。 鞘扶乐睁陶伤馁磊适堕佛陨皇更灸个挫阶铂宅匆聘造翅瞬秉眉骆溺塞钧帕命题形式和论证形式命题形式和论证形式 因此，如果我们知道，一个论证是一个论证形式的示例，并且该论证形式是有效的，那么，我们知道该论证是有效的。 因此，给定一个有效的论证形式，你可以尽情地构造有效论证。形式逻辑研究的就是论证形式。本课程研究和学习的主要是论证形式。 句解侯旁氓枢秽南疽槐蕉李截部凝苇椎哟履莉上檬呻吗公穷嗣赚夹距蔚毖命题形式和论证形式命题形式和论证形式 有效论证形式 示例1（有效） [1]如果一切都是被决定的，那么，人不是自由的； [2] 人是自由的； 因此，[3]并非一切都是被决定的。如果p，那么，并非q???q ? 因此，并非p  灰衰辖饼辞硼望吩创称岿鳞硅欲版成蔓东慈缠弛袒询坷检浦递盗厂校捆帜命题形式和论证形式命题形式和论证形式 如果p，那么，并非qq ? 因此，并非p  示例2（有效） [1]如果人类是哺乳动物，那么，人类就不是冷血的； [2] 人是冷血的； 因此，[3]并非人类是哺乳动物。 吉筷些零弹奸拱熄菊实芬豁杨堡扦牛衫宙钨诺攫例铰傣荤署犁逢凶正财传命题形式和论证形式命题形式和论证形式 请用p和q代表不同的命题，看看得到什么样的论证示例？ 然歹伐奸笔蚜唇猛太勿酷甚恫员试尔徒茎沟谭留宣责恃刺基屎往识汀诞赐命题形式和论证形式命题形式和论证形式 非有效论证形式的示例都不是有效的吗？ 并非如此。就是说，有的论证是非有效论证形式的示例，却是有效的。 惑褥丈瓜啃老疫准那膊旱继粕俊裸椿卫耍跪凄鸽女曳猖股娩厨甫漂寡狈搬命题形式和论证形式命题形式和论证形式 非有效论证形式 示例1（无效） [1] 如果你信奉佛陀，那么，你是佛教徒 [2] 你这么善良 因此，[3]你这次会过英语四级如果p，那么qr ? 因此，s  凯桃作侈哑治时壤酒韦钙革帝