各プログラミング言語における論理和の表記と意味は、短絡評価と密接な関係がある。論理積数理論理学において論理積(ろんりせき、)とは、与えられた複数の命題のいずれもが例外なく真であることを示す論理演算である。合接(ごうせつ)、連言(れんげん、れんごん)とも呼び、ANDとよく表す。例.の二つの命題の論理積は、性質.逆に、否定と論理積を用いて論理和を表すこともできる。真理値表.論理積の真理値表表記法.論理学.電子工学.プログラミング言語.のように使用される。のように使用される。のように使用される。だが、さらに可変長でのように記述できる。各プログラミング言語における論理積の表記と意味は、短絡評価とも密接な関係がある。例.の命題の否定は、である。性質.他の論理演算と違い、対象となる命題が一つという事から、単項演算であることがわかる。真理値表.否定の真理値表表記法.論理学.電子工学.プログラミング言語.のように使用される。のように使用される。のように使用される。のように使用される。全否定と部分否定.ある対象に関する命題で、対象すべてに関する否定を全否定、一部に関する否定を部分否定という。これらは、述語論理において、次のように表現される。全否定命題の否定は部分肯定、部分否定命題の否定は全肯定である。その他の論理的否定.否定をさらに他の観念と組み合わせて考えることもできる。可能性「~でありうる」、必然性「~にちがいない」などを論理学の枠組として扱うのが様相論理学であり、ここではそれらに対する否定が基本的法則(公理)として必要とされる。例えば意味としては(言語形式上とは異なる)自然言語における否定.自然言語において、否定は極性表現の一種である。否定を表す言語表現は文否定と構成素否定に分けられる。文否定は、英語や日本語ののように、述語に否定標識を付与することによって否定命題を表現する方法である。構成素否定は、英語ののように、述語以外の構成素に否定標識を付与することで否定命題を表現する方法である。日本語では「ない袖を振る」のように修飾語を否定しても否定文にはならない(「袖を振らない」の意味にはならない)。