逻辑6题知识点.doc

逻辑6题知识点

模块一:命题逻辑基础

1.命题的定义与分类

-命题:能够判断真假的陈述句。

-真命题:永远为真的陈述句。

-假命题:永远为假的陈述句。

-原子命题:不可再分解的命题。

-复合命题:由原子命题通过逻辑联结词构成的命题。

2.逻辑联结词

-否定(?):?P表示P不成立。

-合取(∧):P∧Q表示P和Q同时成立。

-析取(∨):P∨Q表示P或Q至少有一个成立。

-蕴含(→):P→Q表示如果P成立,则Q成立。

-双条件(?):P?Q表示P和Q同时成立或同时不成立。

3.命题的真值表

文档评论(0)

1亿VIP精品文档

相关文档