Predicate Logic For All Quantifier

Question

"Every Lion Drinks Coffee'.

UoD : Animals

The equivalent First Order Logic statement for the above statment is

$\forall x(Cat(x) )\rightarrow Coffee(x))$

Lets consider in UoD (animals), let there may be a CAT, TIGER ..etc and consider below statment

Tiger Drinks Coffee. then the first order logic statment
$\forall x(F \rightarrow T)$

this statement also satisfying and giving the truth value.

But our actual statement is 'Every Lion Drinks Coffee' right??

 I think the statement ' Every Lion Drinks Coffee', doesn't mean, if an animal is not a lion, then it shouldn't drink coffee??. if its true then the first order logic statement is valid.

Answer 1

Have look at the GateBook video it was very clearly explained that could clear your doubt in efficient way