命题逻辑:符号化与真值表(四)

(这部分内容和上节课重复了,可以跳过。)

(这里开始是老师对“曹操喜欢刘备是假的”的符号化,连接词是“...是假的”。假如用H代表“曹操喜欢刘备”,符号化后就是“¬H”。)

(这里开始是老师对“只有合理施肥庄稼才能长得好”的符号化,连接词是“只有...才...”。用S代表“合理施肥”,用H代表“庄稼长得好”,符号化后是“H→S”或者“¬S→¬H”。)
“只有p,才q”,表达p是q的必要条件,“如果p那么q”,表示p是q的充分条件
“a是b的充分条件”表示,有a则有b,无a未必无b。“a是b的必要条件”表示,无a则无b,有a未必有b。
充要条件也就是充分必要条件就把这两个合起来,既充分又必要,那就是有a则有b,无a则无b。
假设A是“获诺贝尔物理学奖”,B是“在物理学上有成就”,那么A是B的什么条件呢?
是充分条件,得诺贝尔物理学奖,一定在物理学上有成就,没有得物诺贝尔奖,未必在物理学上没有成就。
再反过来问,B是A的的什么条件?
是必要条件,如果在物理学上没有成就,那一定没有获得诺贝尔物理学奖,但是在物理学上有成就,未必获得诺贝尔物理学奖。
充分条件和必要条件是互逆的,A是B的充分条件,B就是A的必要条件,这是一个重要的原理,知道了这个原理,在修辞上就可以把这两种修辞互换。
“只有p才q”,如果我们换成“如果”,那就是如果q,那么p。 这是因为这句话断定的是p是q的必要条件,根据刚才的互逆的原理,q就是p的充分条件。
既然q是p的充分条件,就可以表达为“如果q,那么p”。
“如果那么”和“只有才”可以互相转化,只需要把前件和后件的位置变一下。
“只有合理施肥,庄稼才能长得好”,它断定的是,合理施肥是庄稼长得好的必要条件。我们用S代表合理施肥,用H代表庄稼长得好。
所谓必要条件就是你没有S就没有H,那么就可以表达为“非S蕴含非H”,它的直接的表达是“¬S→¬H”。

(这里开始是老师对“一个平面图形是矩形,仅当它是四边形”的符号化,连接词是“仅当”,代表蕴含关系,如果用J代表“是矩形”,用S代表“是四边形”,符号化的结果是“J→S”。)
“只有”相当于“仅当”,“只有”后边的就是必要条件,必要条件就写到蕴含号的后边。
“如果”后边的是充分条件,“如果”后面的那个命题,写在蕴含词的前边。

(这里开始是老师对“如果并且只有一个数被2整除,它才是一个偶数”的符号化,连接词是“如果并且只有”,相当于“当且仅当”,代表等值关系,如果用Z代表“被2整除”,用O代表“是偶数”,符号化的结果是“Z↔O”。)

(这里视频开始讲包含多个连接词的复合命题的符号化,我们下节课再看这部分。)

什么叫充分条件?

问题由 Rieux 创建
4 人用做记忆卡片

什么叫必要条件?

问题由 Rieux 创建
4 人用做记忆卡片

什么叫充分必要条件?

问题由 Rieux 创建
4 人用做记忆卡片

如何符号化“只有合理施肥(S)庄稼才能长得好(H)”?

问题由 Rieux 创建
4 人用做记忆卡片