論理積

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

Vita brevis, ars longa. Omnia vincit Amor.





















フッ素 結合子 命題論理 推論 命題 実数 real number