Good morning all, please help me in translating in FOL this sentence
"Between all the animals, Paul loves all tigers and no lions"
Which one is correct?
1) $\forall x$ Animal(x) $\Rightarrow$ (Loves(Paul,x)$\Rightarrow$($\neg$ Lion(x) $\land$ Tiger(x))
2)$\forall x$ Animal(x) $\Rightarrow$ ((Lion(x) $\Rightarrow$ $\neg$Loves(Paul,x)) $\land$(Tiger(x) $\Rightarrow$ Loves(Paul,x))
3)$\forall x$ (Animal(x) $\Rightarrow$ (Tiger(x) $\Rightarrow$ Loves(Paul,x))
I would think that is the second one but i rode somewhere that this form where predicates are replicated twice negated is not so good. So for exclusion it might be the 1).
Actually the first one use Loves as premise, instead the second one use it as conclusion !
Am i right?
Thanks
You're right that the second option is the best representation of the English sentence. There's nothing wrong with mentioning a predicate twice. (One could argue that it is more elegant if you can find a way to mention it only once, but there doesn't seem to be any way to do this here).
The first one would be true even if Paul loves nothing (not even the tigers), and therefore does not represent your goal sentence.
The last one would be true even if Paul loves everything, including the lions.