[[informatics]] **論理と計算 [#vfa2cabd] ***論理結合子 [#n8e65058] |論理結合子|使い方|意味| |連言∧|P∧Q|PかつQ| |選言∨|P∨Q|PまたはQ| |否定¬|¬P|Pでない| |含意⇒|P⇒Q|PならばQ| |同値⇔|P⇔Q|PはQと同値である|