1. 思考の形式・法則。議論や思考を進める道筋・論法。

2. 認識対象の間に存在する 脈絡・構造。

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

命題 (Q,P,R)

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

変数 (x,y,z)

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

述語 p,q(x)

変数を含む命題

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

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

ロジック（logic）