2023-04-01から1ヶ月間の記事一覧

論理記号⇒(ならば, 論理包含, implies)の直感的説明

世界中の学生を悩ます難物「⇒」。 A B A⇒B T T T T F F F T T F F T なんでAがFのときA⇒BがTになるの? 納得できない! 既存の説明の仕方としては以下の二つがあるようだが、到底納得できるものではないだろう。 日常の言葉としての「ならば」と、論理学の「⇒…