- 418 名前：１３２人目の素数さん [2005/05/16(月) 13:05:23 ]
- 可証性述語を表現するとされる論理式を、ちょっと強くしたんだろうな、
くらいで通り過ぎようと思っていましたが、なんか教えてもらえそうなので、もう少しくらいついてみます。
>>413
>>414
>>415
∃ｙProv(y,x)∧¬∃ｚDispr(z,x) 「ある論理式φの証明があって、どれも¬φの証明では無い」では、ｚがｙと関係付けられていないので、まずい、
〜より小さい、というのは、ｚをｙと関係付ける一つの方法だ、
というように読めるのですが、
それが、
・〜より小さい、という表現を用いている
・「ある論理式φの証明があって、どれも¬φの証明では無い」 ではだめ
ということの理由ですか
