jpdb beta

1. 命題が成り立たないと仮定し、それが誤りであることを示して命題が真であると結論する証明法。