数学においては、例えば確率は命題の確からしさを表すなど、命題の存在を基本的前提として出発する場合がある。類語等.言い換え.現在では、論争や存在論的な含みを持つことを避けるため、ある解釈の下で(真か偽のいずれであるかという)真理の担い手となる記号列自体について述べる時は、「命題」という代わりに「文」という術語を用いる。ストローソンは「言明」という術語を用いることを提唱した。定立.至上命題.数学書における「命題」.上述のように命題とは真か偽かがはっきり定まる形式をもつ文(断言する文)のことを言うが、数学書において「命題」と見出しをつけて書かれている命題は、公理と定義を元にして定理の体系を作り上げていく過程で必要とされる「真の命題」を指し、そのなかでとくに重要なものが定理と呼ばれ、「定理」と見出しが付けられる。数学書で「定理」「命題」「補題」「系」と見出しを付けて書かれた文は、正しいことが証明された(あるいはその数学書でこれから正しいことが証明される)命題である。論理和数理論理学において論理和(ろんりわ、)とは、与えられた複数の命題のいずれか少なくとも一つが真であることを示す命題を作る論理演算である。離接(りせつ)、選言(せんげん)とも呼ぶ。例.の二つの命題の論理和は、となる。この論理和が真となるのはのいずれかである。論理和が偽となるのは以下の場合である。性質.また、論理積は論理和と否定で表せる。この二つをド・モルガンの法則という。真理値表.論理和の真理値表一般語との乖離.命題はしばしば「または」と読まれる。この用語「または」は一般語としての用法より意味が限定的である。日常会話において「または」と言った場合、例えばとのいずれか一方のみが成り立つことを意味することがある(排他的論理和)。具体例として、レストランにおいて「コーヒーまたは紅茶が付きます」と言えばコーヒーと紅茶のどちらか一方のみが付くことを意味し、両方が付くことは含意しない。排他的論理和と明確に区別するために、通常の論理和を「包含的論理和」()と呼ぶこともある。表記法.論理和(OR)は、中置記法により表記される。論理学.電子工学.プログラミング言語.のように使用される。