- 601 名前：１３２人目の素数さん [2005/09/08(木) 10:01:10 ]
- ありがとうございます！！！
あと、上の一階述語論理の公理系を、等号付きの一階述語論理の公理系にしたいのですが、付け加える公理は
A6 ∀x（x＝x）
A7 (x=y)→(φ(・・・・ｘ・・・・）＝φ(・・・・y・・・・）)
（φはｎ変数関数記号で、φ(・・・・ｘ・・・・）は項φ(・・・・ｘ・・・・）のｘのあらわれのひとつ以上（いくつでもよい）をｙでおきかえてえられる項とする）
で足りますか？
むかしどこかで取ったメモに、
A7 ∀x∀ｙ(x=y)→(φ(・・・・ｘ・・・・）＝φ(・・・・y・・・・）)
というのを見つけたのですが、これは俺の書き誤りでしょうか？
あと、A8 ∀x∀ｙ（（（x＝ｙ）∧Ax）→Ay） （AyはAxのxのところ（必ずしもそのすべてでなくともよい）を、yに置き換えた論理式である。）
というのも・・
質問してばかりで、心苦しいですが、もう少しだけ、どなたか、お付き合いください。
よろしくお願いします。
