真（true）は,\[\top\]と表し,偽（false）は,\[\bot\]と表されます.
命題 $P$ が正しいというのは,\[P=\top\]ということであり,命題 $P$ が間違っているというのは,\[P=\bot\]ということになります.
Vita brevis, ars longa. Omnia vincit Amor.
