Highschool 論理(5)対偶証明法 Frank2022年5月19日2022年5月19日0 こんにちは、Frankです。 今日で171日目。今回の単元「対偶証明法」では対偶を使って 命題を証明してみます。proof by contrapositive・・・格好いい ですね。  ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ Read More