Преобразование в логику первого порядка

Question

Я преобразовал маленький абзац в логику первого порядка.Может кто-нибудь проверить, правильно это или нет.Информация следующая.

"Anyone who has catarrh will sneeze. if anyone allergic to animal danger 
or dust mite then they will have catarrh. Maya is  allergic to animal danger."

Это я и сделал.

1. ∃x p(x) ∧ c(x) ∧ s(x).
2. ∃x p(x) ∧ a(x) V d(x) --> c(x)
3. a(maya).

Пожалуйста, помогите мне решить эту проблему.

Answer 1

Ваши ответы на 1 и 2 выглядят неверно.Ваш ответ на номер 3 выглядит разумным.

Первые два утверждения на английском языке не требуют, чтобы такой человек существовал;и они не говорят, что существует только один такой человек.Вы должны перевести на что-то вроде:

1. forall x . p(x) and c(x) implies s(x)
2. forall x . p(x) and (a(x) or d(x)) implies c(x)
3. a(maya)