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