>>641
命題Aには真と偽のどちらかしか成り立たない
命題Aが偽、つまり命題Aの仮定と結論の否定が同時に成り立つとすると
矛盾が起きる→原因は命題Aを偽としたこと