首页 > 代码库 > 命题逻辑重要知识点笔记

命题逻辑重要知识点笔记

^ : 合取联结词。p^q,命题p,q同时为真 

技术分享:  析取联结词。 p技术分享q,命题p,q至少有一个为真

→:蕴含联结词。p→q,"如果p,则q","只有q,才p"。q是p的必要条件

↔:等价联结词。p↔q,"p↔q为真当且仅当p与q同时为为真或为假"。q和p互为充要条件。(重言式)

注:这个联结词要与 <=> 区分开,<=>不是联结词,它用来说明p,q等值,如两者真值表相等,则可用这个符号

 

利用真值表进行运算

技术分享

 

命题逻辑重要知识点笔记