命题逻辑重要知识点笔记

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

:  析取联结词。 pq，命题p,q至少有一个为真

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

↔：等价联结词。p↔q，"p↔q为真当且仅当p与q同时为为真或为假"。q和p互为充要条件。（重言式）

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

 

利用真值表进行运算