0027132人目の素数さん垢版 | 大砲2018/05/19(土) 01:30:08.39ID:aNDPn9PL >>13 こういうスタイル俺もやるわ。 背理法って要は対偶論法なんだよな。真であることがわかってる命題Aに対して「¬P⇒...⇒¬A」を示して、 そこから対偶で全部ひっくり返して「A⇒...⇒P」とやってPを証明する。 細かいことを言えば頭に量化子がついたりするんだけど、言いたいことは分かると思う。