Каждый математик - ученый, но только некоторые математики - учителя

Question

Я не могу понять FOL для этого вопроса .. Нужна помощь с этим вопросом. Я пробовал ∀ x, ∃y математик (x), математик (y) -> ученый (x) и учитель (y)

Answer 1

∀ x (математик (x) -> ученый (x)) и ∃у мой математик (х)