FOLで文を表現

Question

FOL（First Order Logic）で次の文を表現する方法「肉を食べるだけの動物がある」
次のrepresantaionは本当ですか？
Ǝx（x、肉）xは動物である。

Answer 1

1つのマイナーな訂正で訂正されます。それは少しばかげて見えるだろう。 食べるだけで食べる。

Answer 2

いいえ、それは完全ではありません。 Gabeのコメントで指摘されているように、あなたの表現はxが他のものを食べる可能性も排除しません。あなたは、肉ではないすべての食料を排除する結合体を追加する必要があります。どのようにこれを行うかは、使用しているロジックの種類によって少し異なります。

Answer 3

は、彼はちょうど言うでした：

-Eats（x、y）は^ yは=肉

暗示肉は動物が食べていないいない唯一のものがありますか！？

かなり悲観的な見解ですが、仕事は終わってしまいます。

Answer 4

私は文章を表現するための簡単な方法であると考える：

Ǝx∀y（動物（X）∧食事（X、Y）） - >肉（Y）