論理和

論理和（disjunction）とは，$p$，$q$を命題（proposition）としたとき，\[p \lor q\]を「pまたはq」であることを主張する言明（statement）であると定義される．

Mathematics is the language with which God has written the universe.