記号論理学や数理論理学において、よく用いられる論理的接続詞を記号化したもの。論理演算子。⟹,⟺,∧,∨,∀, exist ,⊕,¬などがあり、数学では集合論の記法と併せて用いられる。
無料のスペイン語コースで 論理記号 が実際の会話でどう使われるかご覧ください。