20/04/19 15:01:49.15 UbuHltnc.net
>>642
＞①反証可能性が残されるように、開かれていなければならない
＞②反証が存在しないことが示される
数学の場合
①主張したい命題が論理式として記載可能
②主張したい命題の否定から矛盾が導かれることを示す（これが証明）
①は実際に書く必要はないが、論理式で書けると読者が認識できる必要がある
②は背理法の形で書いたが、証明は別に背理法でなくてよい
（どんな証明も背理法の形に直せるから）
20/04/19 15:01:49.15 UbuHltnc.net
>>642
＞①反証可能性が残されるように、開かれていなければならない
＞②反証が存在しないことが示される
数学の場合
①主張したい命題が論理式として記載可能
②主張したい命題の否定から矛盾が導かれることを示す（これが証明）
①は実際に書く必要はないが、論理式で書けると読者が認識できる必要がある
②は背理法の形で書いたが、証明は別に背理法でなくてよい
（どんな証明も背理法の形に直せるから）