論理記号のリスト

この記事には論理記号が含まれています。適切なレンダリングサポートがない場合、論理記号の代わりに疑問符、ボックス、またはその他の記号が表示されることがあります。

論理学では、論理的表現を表現するために記号の集合がよく使用されます。次の表には、多くの一般的な記号が、その名前、読み上げ方、および関連する数学の分野とともにリストされています。さらに、後続の列には、非公式の説明、短い例、Unicodeの場所、 HTML文書で使用する名前、^[1]、およびLaTeX記号が含まれています。

基本的な論理記号

高度な論理シンボルまたはめったに使用されない論理シンボル

次の記号は、高度で状況依存であるか、またはめったに使用されません。

参照

参考文献

^ 「名前付き文字参照」。HTML 5.1 Nightly。W3C。2015年9月9日閲覧。
^ クワイン、WV（1981）：数学論理学、§6
^ ヒンティッカ、ヤッコ（1998）、数学原理再考、ケンブリッジ大学出版局、p. 113、ISBN 9780521624985。

さらに読む

Józef Maria Bocheński (1959)、「A Précis of Mathematical Logic」、Otto Bird 訳、フランス語版とドイツ語版、ドルドレヒト、南ホラント州: D. Reidel。

外部リンク

HTML 4.0の名前付き文字エンティティ

[1] 「名前付き文字参照」。HTML 5.1 Nightly。W3C。2015年9月9日閲覧。

[2] クワイン、WV（1981）：数学論理学、§6

[3] ヒンティッカ、ヤッコ（1998）、数学原理再考、ケンブリッジ大学出版局、p. 113、ISBN 9780521624985。