10/12/29 17:08:00
>>45
なるほど・・・
では間接的になら扱うことが可能なのでしょうか
>>46
二階述語論理に対する一階述語論理、
一階述語論理に対する命題論理のような意味での基本的という意味です
論理ではなくて単なる記号の規則でも良いです
10/12/29 17:08:00
>>45
なるほど・・・
では間接的になら扱うことが可能なのでしょうか
>>46
二階述語論理に対する一階述語論理、
一階述語論理に対する命題論理のような意味での基本的という意味です
論理ではなくて単なる記号の規則でも良いです