■由于命题是能够判断真假的陈述句,因 此给定一个命题就可确定其是真或假。 真和假是命题的值或真/值。 P为真当且仅当P为假; aP∧Q为真当且仅当P、Q皆为真; PvQ为真当且仅当P、Q中至少有一个为 真 P→Q除P为真且Q为假这种情况外,皆为 真 PQ为真当且仅当P、Q有相同真假值
由于命题是能够判断真假的陈述句，因 此给定一个命题就可确定其是真或假。 真和假是命题的值(或真假值)。 P为真当且仅当P为假； PQ为真当且仅当P、Q皆为真； PQ为真当且仅当P、Q中至少有一个为 真； P→Q除P为真且Q为假这种情况外，皆为 真； PQ为真当且仅当P、Q有相同真假值
把组成一个复合命题的若干个原子命题 用符号表示,那么就可用这些符号和联 结词符号一起来表达该复合命题,这样 的方式称为命题符号化 例:李明今天下午看电影或者看录像”, 用P表示“李明今天下午看电影”,用Q 表示“李明今天下午看录像”,则原语 句应表示成:PQ 明天中午12:00,他或者去北京或者去广州 ■只有在天晴时,我们才去郊游
把组成一个复合命题的若干个原子命题 用符号表示，那么就可用这些符号和联 结词符号一起来表达该复合命题，这样 的方式称为命题符号化。 例: 李明今天下午看电影或者看录像”， 用P表示“李明今天下午看电影”，用Q 表示“李明今天下午看录像”，则原语 句应表示成：PQ 明天中午12:00,他或者去北京或者去广州 只有在天晴时，我们才去郊游
利用联结词我们可以把日常的命题写成 符号串那么是否任何符号串都是某个日 常命题的符号化呢?回答是否定的 例如:p,∧q就不是 那么什么样的符号串才是合适的呢? 通常采用递归的方式: p,q是命题则→p,p∧q,pq,p>q,p>q也 是命题 我们希望能够找到其他方式来定义
利用联结词,我们可以把日常的命题写成 符号串.那么是否任何符号串都是某个日 常命题的符号化呢?回答是否定的. 例如:p,q就不是. 那么什么样的符号串才是合适的呢? 通常采用递归的方式: p,q是命题,则p,pq,pq, p→q,pq也 是命题 我们希望能够找到其他方式来定义