論理記号

論理記号：トピック一覧 ～ 数学についてのwebノート 【命題論理】 否定(ない)を表す論理記号￢～ / 選言･論理和(または)を表す論理記号∨ / 「または」の否定￢(∨) 連言･論理積(かつ)を表す論理記号∧ / 「かつ」の否定￢(∧) 「ならば」を表す論理記号 / ￢(⇒) / 同値を表す論理記号⇔ 【述語論理】 全称記号･量化子∀(任意の) / 存在記号･量化子∃(ある～) / ￢∀と∃￢ / ￢∃と∀￢ / ∀(∧) / ∃(∨) ∀∀の入替 / ∃∃の入替 / ∃と∀の入替 →論理関連ページ ： 恒真命題・恒偽命題 / 論理法則－同値 / 論理法則－含意 / 同値変形 →集合論の記号 ： ∈/φ/Ω,U/⊂/=/∪/∩/+/－/△/c/(a,b)/{a,b}/A×B →総目次 /

[sr10]

"論理記号" -

[tanakaBox]

まとまってる

[suVene]

結構詳しくのってる。