命题形式和论证形式.pptVIP

命题形式和论证形式第1页，共23页，星期日，2025年，2月5日命题形式命题形式是通过用字母来替换命题中的“子命题”获得。这样得到的形式被称作原有命题的命题形式。第2页，共23页，星期日，2025年，2月5日“如果天上有乌云，则天会下雨”命题形式：“如果p，则q”p替换“天上有乌云”q替换“天会下雨”第3页，共23页，星期日，2025年，2月5日命题形式的示例?给定一个命题形式，如果一个句子是通过用句子替换其中的字母所获得的，我们称该句子是该命题形式的示例。

第4页，共23页，星期日，2025年，2月5日命题形式：如果p，则q示例1：如果天上有乌云，则天会下雨p替换为“天上有乌云”q替换为“天会下雨”第5页，共23页，星期日，2025年，2月5日命题形式：“如果p，则q”示例2：如果刘翔尽全力，则刘翔会赢罗伯斯p替换为“刘翔尽全力”q替换为“刘翔会赢罗伯斯”第6页，共23页，星期日，2025年，2月5日论证形式和示例第7页，共23页，星期日，2025年，2月5日论证形式回顾：如果人类是哺乳动物，人类就不是冷血的；人类是冷血的；

因此，人类不是哺乳动物如果一切都是被决定的，那么人们不是自由的；人们是自由的；

因此，并非一切都是被决定的

第8页，共23页，星期日，2025年，2月5日 这两个论证分享着某种重要的东西：形状或结构。我们称它们具有如下形式：

??????????如果p，那么非q

??????????????q

???????????因此，非p第9页，共23页，星期日，2025年，2月5日论证形式定义：一个论证形式是一组命题形式，其中一个被称作结论，其它的被称作前提，前提和结论之间用“因此”或“所以”连接。例：如果p，那么非q（前提）q（前提） 因此，非p（结论）

第10页，共23页，星期日，2025年，2月5日论证形式示例给定一个论证形式，如果一个论证是通过用句子对其中出现的所有字母进行替换所获得，我们称该论证是该论证形式的示例。第11页，共23页，星期日，2025年，2月5日有效论证形式有效论证形式定义：一个论证形式是有效的，当且仅当，它的每个示例都是有效的。第12页，共23页，星期日，2025年，2月5日因此，如果我们知道，一个论证是一个论证形式的示例，并且该论证形式是有效的，那么，我们知道该论证是有效的。因此，给定一个有效的论证形式，你可以尽情地构造有效论证。形式逻辑研究的就是论证形式。本课程研究和学习的主要是论证形式。第13页，共23页，星期日，2025年，2月5日有效论证形式示例1（有效）[1]如果一切都是被决定的，那么，人不是自由的；[2]人是自由的；因此，[3]并非一切都是被决定的。?如果p，那么，并非q

???q

?因此，并非p

第14页，共23页，星期日，2025年，2月5日 如果p，那么，并非q

???q

?因此，并非p

示例2（有效）[1]如果人类是哺乳动物，那么，人类就不是冷血的；[2]人是冷血的；因此，[3]并非人类是哺乳动物。第15页，共23页，星期日，2025年，2月5日请用p和q代表不同的命题，看看得到什么样的论证示例？第16页，共23页，星期日，2025年，2月5日非有效论证形式的示例都不是有效的吗？并非如此。就是说，有的论证是非有效论证形式的示例，却是有效的。第17页，共23页，星期日，2025年，2月5日