简易逻辑及充要条件.ppt

该【简易逻辑及充要条件 】是由【54156456】上传分享，文档一共【23】页，该文档可以免费在线阅读，需要了解更多关于【简易逻辑及充要条件 】的内容，可以使用淘豆网的站内搜索功能，选择自己适合的文档，以下文字是截取该文章内的部分文字，如需要获得完整电子版，请下载此文档到您的设备，方便您编辑和打印。简易逻辑及充要条件逻辑概念简易逻辑基本定律命题逻辑充要条件简易逻辑与充要条件的应用逻辑概念01定义命题是一个具有真假意义的陈述句。分类真命题和假命题。表示通常用大写字母P、Q、R等表示一个命题。例子若P表示“今天是周三”,那么P是真命题。命题逻辑联结词是用来表示命题之间关系的符号。定义分类表示例子与联结词、或联结词、非联结词等。与联结词用∧表示,或联结词用∨表示,非联结词用?表示。若P表示“今天是周三”,Q表示“明天是周四”,那么P∧Q表示“今天是周三且明天是周四”。逻辑联结词定义逻辑量词是用来表示命题中个体数量的符号。表示全称量词用?表示,存在量词用?表示。分类全称量词、存在量词等。例子对于命题“所有的猫都是动物”,可以表示为?x(C(x)→A(x)),其中C(x)表示“x是猫”,A(x)表示“x是动物”。逻辑量词简易逻辑基本定律0203例子在数学中,如果一个命题成立,那么它的逆命题也必须成立。01同一律事物必须是其本身。02解释同一律是指在同一思维过程中,所使用的概念和判断必须保持一致,不能随意更改或偷换概念。同一律事物不能同时存在又不存在。矛盾律矛盾律是指在同一思维过程中,两个相互矛盾的判断不能同时为真。解释在逻辑学中,如果一个命题是真的,那么它的否命题就是假的。例子矛盾律解释排中律是指在同一思维过程中,两个相互矛盾的判断中必有一个是真的,另一个是假的。例子在数学中,如果一个命题是假命题,那么它的逆命题就是真命题。排中律事物要么存在,要么不存在。排中律