命題
命題(めいだい、proposition)
真、偽で判断できる文や式
例
「3はいい数字だ」
真偽がはっきりしないため命題とは言えない
「3は素数である」
真の命題
「10は素数である」
偽の命題
命題が「太郎は日本人だ」になるとそのまま命題$ A で表せれる。
「太郎は日本人だ」の文章は平叙文
「太郎は日本人ではない」の文章は否定文
「太郎は日本人ではない」という否定の命題を表そうとしたときに、命題$ A の中身が否定のままだと困ってしまうので、こういう場合は否定の論理記号を$ \lnot をつけて$ \lnot A と表す。
code:coq
Inductive bool : Type :=
| true
| false.
関連
参考