論理
1. 思考の形式・法則。議論や思考を進める道筋・論法。
2. 認識対象の間に存在する 脈絡・構造。
論理は以下の要素から構成される
命題 (Q,P,R)
T / F, 正しい / 間違っている, 真 / 偽
変数 (x,y,z)
いろいろな 値 が割り当てられる 名前
述語 p,q(x)
変数を含む命題
論理演算
∧ (AND), ∨ (OR), ~ (NOT)その他、論理の記号(￢,∧,⇒,⇔)を使う。
空集合をF、空でない適当な集合をT、と見ることによって、集合演算と論理演算は対応づけることができる。
logic
ロジック（logic）
論理学