逻辑真值

2022-04-13 06:00:05   第一文档网     [ 字体: ] [ 阅读: ] [ 文档下载 ]
说明:文章内容仅供预览,部分内容可能不全。下载后的文档,内容与下面显示的完全一致。下载之前请确认下面内容是否您想要的,是否完整无缺。下载word有问题请添加QQ:admin处理,感谢您的支持与谅解。点击这里给我发消息

#第一文档网# 导语】以下是®第一文档网的小编为您整理的《逻辑真值》,欢迎阅读!
真值,逻辑



简单判断



支判断 支判断

P

Q

复合判断

联言判断 P并且Q











判断为真;只要有一假时假。 合成式 P Q

所以,P并且Q

分解式 P并且Q

所以,PQ



选言判断

相容 或者P或者Q

不相容 要么P要么Q



充分条件 如果P那么Q











后件真前件假判断为假;判断为真时,件真前件真前件假后件就假反之不定。 否定前件式 只有P,才Q P

所以,非Q 肯定后件式 只有P,才Q Q

所以,P



一真一假就假;判断为真时,前件真(假)后件真(假),后件假(真)前件就假(真) 当且仅当P,则Q

P P Q Q

Q Q P P 肯定前件式 否定前件式 肯定后件式 否定后件式

假言判断 必要条件 只有PQ

充要条件 当且仅当PQ

















选言支同真同假前件真后件假判断为时判断为假;有且假;判断为真时,真;同假时假。 只有一真时为真。 件真后件真后件假

前件就假反之不定。 否定肯定式

或者P,或者Q P 所以,Q

否定肯定式 要么P,要么Q P 所以,Q

肯定否定式 要么P,要么Q P

所以,非Q

肯定前件式 如果P,那么Q P

所以,Q

否定后件式 如果P,那么Q Q

所以,非P









1


本文来源:https://www.dywdw.cn/95bab946bb4ae45c3b3567ec102de2bd9605de87.html

相关推荐
推荐阅读