現代数学の系譜工学物理雑談古典ガロア理論も読む78

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む78 (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

872(1): 2019/11/10(日)15:17 ID:U91IZzoD(20/35) AAS
>>871
記号で書け、という意味ではない
推論規則について学べ、といっている

876(1): 2019/11/10(日)15:39 ID:srR4KfZA(6/17) AAS
>>872
トートロジーや排中律、三段論法、二重否定などを認めることなどの考え方は、
排中律を除けば、大体素朴集合論で感覚的に身に付く。