バックアップ一覧
差分
を表示
現在との差分
を表示
ソース
を表示
論理と計算
へ行く。
1 (2010-12-22 (水) 22:11:41)
informatics
論理と計算
†
↑
論理結合子
†
|論理結合子|使い方|意味| |連言∧|P∧Q|PかつQ| |選言∨|P∨Q|PまたはQ| |否定¬|¬P|Pでない| |含意⇒|P⇒Q|PならばQ|
同値⇔
P⇔Q
PはQと同値である