13/11/23 00:07:48.42
>>480
単項述語論理でも関数が入ってたらダメでしょ
ところで∀∃標準形ってあるの？
そういう標準形になにか意味あるの？∃∀標準形の方なら意味あるかもだけど
13/11/23 00:07:48.42
>>480
単項述語論理でも関数が入ってたらダメでしょ
ところで∀∃標準形ってあるの？
そういう標準形になにか意味あるの？∃∀標準形の方なら意味あるかもだけど
13/11/23 00:07:48.42
>>480
単項述語論理でも関数が入ってたらダメでしょ
ところで∀∃標準形ってあるの？
そういう標準形になにか意味あるの？∃∀標準形の方なら意味あるかもだけど