0

述語計算で「ある」(∃)と「すべて」(∀)の埋め込みがどのように機能するのか疑問に思っています。具体的には、実存的インスタンス化 (EI) と実存的一般化 (EG) を使用して、 ∃x∃y(R(x,y)) --> ∃y∃x(R(x,y)) を正式に示しようとしています。 .

全体の証拠を探しているわけではありません。しかし、埋め込みがこれらのエンティティでどのように機能するか (および証明を開始する方法) に関するいくつかのヒントは、非常に役立ちます!

前もって感謝します。

4

1 に答える 1

0

この声明には、「ある x とある y について、それらの間に関係がある場合、ある x とある y の間に関係があると推測できる」と書かれています。

少し役立つことを願っています

于 2011-02-23T22:00:42.033 に答える