t_wの輪郭

RSS

背理はいり

背理

2022/5/23 11:49:00

背理法帰謬法はいりほう proof by contradiction

背理法

2021/8/1 10:15:00

無限降下法『情報数学 I 第十二回: 述語論理』