命題邏輯重要知識點筆記

^ : 合取聯結詞。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等值，如兩者真值表相等，則可用這個符號

 

利用真值表進行運算