0

わかりました、与えられた関係があります: F(x) が真でない場合、G(x) と H(y,x) を満たすケースはありません。((∀x ¬F(x)) ⇒¬(∀y G(y) ˄ H(y,x)))

さて、これを次のように変換できますか: (∀y G(y) ˄ H(y,x))) ⇒ ((∀x F(x)) ????

そうでない場合、左辺は本質的に次のことを暗示する必要があります。F(x) が true でない場合.... For All または Existential 数量詞については何も言及していません。量指定子の外で否定を取ることはできますか、つまり (¬(∀x F(x)) のように置きますか?

4

1 に答える 1

2

これが正しい場所かどうかはわかりませんが、できません。否定を外に移動すると、量指定子が変更されます。また、最初の式はあなたが望むものではないかもしれません: 最後の x は自由変数です。

于 2012-09-26T12:49:23.670 に答える