命題
命題(めいだい、proposition)
真、偽で判断できる文や式
例
「3はいい数字だ」
真偽がはっきりしないため命題とは言えない
「3は素数である」
真の命題
「10は素数である」
偽の命題
命題の型のPropというものがあって、その文脈での命題の厳密な定義は、「証明可能」か「証明不能」 命題が「太郎は日本人だ」になるとそのまま命題$ A で表せれる。
「太郎は日本人だ」の文章は平叙文
「太郎は日本人ではない」の文章は否定文
「太郎は日本人ではない」という否定の命題を表そうとしたときに、命題$ A の中身が否定のままだと困ってしまうので、こういう場合は否定の論理記号を$ \lnot をつけて$ \lnot A と表す。
命題=型レベルの対応？
(論理) 命題
(ホモトピー論) 空間
真偽値レベルの対応？
(論理) 命題
(圏論) 部分終対象(subterminal object) 関連
参考
メモ