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