2014-01-10から1日間の記事一覧

奇妙な恒真式

(A ∨ B → A) ∨ (A ∨ B → B) は(古典論理で)恒真なのですが,これはわりと奇妙に見えます。そこで,なんで奇妙か考えてみた。簡単にいうと「A または B」からは A と B のどっちもいえないので,二つの成立しないものが ∨ でつながってても正しくなさそう,と…