論理と計算のバックアップ差分(No.1)

バックアップ一覧
現在との差分を表示
ソースを表示
バックアップを表示
論理と計算へ行く。
- 1 (2010-12-22 (水) 22:11:41)

追加された行はこの色です。
削除された行はこの色です。

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