first-order-logic - FOL での文の表現

Question

次の文を FOL (First Order Logic) で表現する方法 「肉しか食べない動物がいる」
次の表現は本当ですか?
Ǝx Eats(x, 肉) x は動物

Answer 1

1 つのマイナーな修正は、それを正しくします。ちょっとばかげているように見えますが。Eats を OnlyEats にします。

Answer 2

彼はただ言うことができます：

-Eats(x, y) ^ y != 肉

動物が食べないのは肉だけだと暗示していますか?

かなり悲観的な見方ですが、これで仕事は完了です（笑）。

Answer 3

いいえ、それは完全に正しいわけではありません。ゲイブのコメントで指摘されているように、あなたの表現は x が他のものを食べる可能性を排除するものではありません. 肉以外のすべての食品を除外する結合を追加する必要があります。これを行う方法は、使用しているロジックの種類によって少し異なります。