- 分からない問題はここに書いてね422 [無断転載禁止]©2ch.net
497 ：１３２人目の素数さん[sage]：2017/01/03(火) 01:31:43.12 ID:GMk8eEB2 - >>143
> 形式論理を含める必要は無いが、教える側の背景知識として
> 排中律と背理法と対偶法が同値な公理をなすことは
> 押さえといたほうがいい。
背理法の心臓部である二重否定の除去律と排中律とは無条件に同値じゃない
両者が同値になるのは、矛盾（論理的偽）からは何を導いても良いという公理を予め認めている場合だ
そしてこの最後の公理は素人には必ずしも直感的に理解しやすいものでないし、
教師あるいは生徒にこの公理を認めるべきだと納得させるのも容易ではない
|
|