大昔、ある模試で「PまたはQを示せ」という問題に「PでないならばQ」と完璧な証明をしたが、減点されていた話

大澤裕一 @HirokazuOHSAWA 大昔、某模試で「PまたはQを示せ」という論証問題が出題された。私の元生徒がこの問題に対し「Pでないならば Q」を完璧に証明したのだが、採点では減点されていた。赤ペンで減点理由が書かれていたのだが、それを読んで私は椅子から転げ落ちてしまった。『Pが成り立つときも考える必要が...