多義語：proposition -- 命題

• 現状と対策、、、ほぼ地獄の様相 - 檜山正幸のキマイラ飼育記 メモ編

1. Pureの型prop
2. 命題論理の命題変数
3. 論理式（一番標準的だと思える）
4. 閉じた論理式（自由変数を含まない）
5. 型がpropであるラムダ項
6. MLのデータ型thm
7. MLのデータ型thmのデータインスタンス

MLのデータ型thmは、任意の論理式を表せるので、命題のデータ型と言える。