論理学:論理 - suto3の大福帳

論理学:論理

論理は以下の要素から構成される

命題 (Q,P,R)

T / F, 正しい / 間違っている, 真 / 偽

変数 (x,y,z)

いろいろな値が割り当てられる名前

述語 p,q(x)

変数を含む命題

∧ (AND), ∨ (OR), ~ (NOT)その他、論理の記号(￢,∧,⇒,⇔)を使う。

空集合をF、空でない適当な集合をT、と見ることによって、集合演算と論理演算は対応づけることができる。