t_wの輪郭

証明 inductive proof 帰納的 proof by induction

帰納的証明

2024/4/4 14:36:00

『情報数学 I 第十二回: 述語論理』

inductive proof proof by induction 背理法

『情報数学 I 第十二回: 述語論理』

2024/4/4 14:36:00

https://www.sw.it.aoyama.ac.jp/2007/Math1/lecture12.html