真（true）は,\[\top\]と表し,偽（false）は,\[\bot\]と表されます.
命題 $P$ が正しいというのは,\[P=\top\]ということであり,命題 $P$ が間違っているというのは,\[P=\bot\]ということになります.
Mathematics is the language with which God has written the universe.
