岡竜之介のブログ

岡竜之介のブログです。

2016-10-12から1日間の記事一覧

違和感ある論理式:(A∧B)→Cと(A→C)∨(B→C)が同値??

今日は論理学の話です。 僕が6年ほど前にクソ違和感を感じた件がありまして。 違和感の内容 いいですか。驚かないでくださいよ。 この2つの式が同値だって言うんですよ!! … …… ………だから? いやだからね、ちょっと考えてみましょう。 これは、AとBが同時に…