論理結合子

論理結合子 logical connective	使い方	意味
連言 conjunctive ∧	Ｐ∧Ｑ	ＰかつＱ
選言 disjunction ∨	Ｐ∨Ｑ	ＰまたはＱ
否定 contradiction ￢	￢Ｐ	Ｐでない
含意 implication ⇒	Ｐ⇒Ｑ	ＰならばＱ
同値 equivalence ⇔	Ｐ⇔Ｑ	ＰはＱと同値である