命题形式和示例命题形式命题形式是通过用字母来替换命题中的“子命题”获得
这样得到的形式被称作原有命题的命题形式
“如果天上有乌云,则天会下雨”命题形式:“如果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,那么,并非qq因