Px is x can live on land Nx is x is a Narwhal x animals eve

P(x) is x can live on land, N(x) is x is a Narwhal, x = animals.

every narwhal is unable to live on land is ?x N(x) - > ~ P(x)

Question is what does the \" - > \" stand for ?

Solution

\"-> \" stands for conditional statement \"if then\"

for example P->Q means \"if P then Q\". It is FALSE only in one case when P is True and Q is False.