論理(6)背理法
Highschool
こんにちは、Frankです。 今日で172日目。今回の単元「背理法」(proof by contradiction) は私のお気に入りの学習項目のひとつです。理由は――。  ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄
論理(5)対偶証明法
Highschool
こんにちは、Frankです。 今日で171日目。今回の単元「対偶証明法」では対偶を使って 命題を証明してみます。proof by contrapositive・・・格好いい ですね。  ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄