Представление предложения в FOL

Question

Как представить следующее предложение в FOL (Логика первого порядка): «Есть животное, которое ест только мясо»
Верно ли следующее представление?
Ǝx ест (х, мясо), где х это животное

Answer 1

Я думаю, что простой способ представления предложения:

Ǝx∀y (животное (x) ∧ ест (x, y)) -> мясо (y)

Answer 2

Нет, это не совсем правильно. Как указывалось в комментариях Гейба, ваше выражение не исключает возможность того, что x съел другие вещи. Вам нужно будет добавить соединение, которое исключает все продукты, которые не являются мясом. То, как вы это сделаете, зависит от того, какую логику вы используете.

Answer 3

Мог ли он просто сказать:

-Есть (x, y) ^ y! = Мясо

подразумевать, что мясо - это единственное, что животное не ест?1006 * Довольно пессимистичный взгляд, но он выполняет свою работу, хаха.

Answer 4

Одна небольшая поправка сделает его корректным.Это выглядело бы немного глупо, хотя.Сделать Eats в OnlyEats.