論理和
論理和(disjunction)とは,$p$,$q$を
命題
(proposition)としたとき,\[p \lor q\]を「pまたはq」であることを主張する言明(statement)であると定義される.
Vita brevis, ars longa. Omnia vincit Amor.