論理和

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

Vita brevis, ars longa. Omnia vincit Amor.





















フッ素 論理積 結合子 命題論理 推論 命題