Write the following statements in symbolic form. Then use the rules of inference to find a conclusion. -sharks cannot play tennis.
-milos raonic is an excellent tennis player.
-only sharks are dangerous fish

Question

Write the following statements in symbolic form. Then use the rules of inference to find a conclusion. -sharks cannot play tennis.
-milos raonic is an excellent tennis player.
-only sharks are dangerous fish

blurbendy · Answer

-sharks cannot play tennis

Let T be "x can play tennis"
Let S be "x is a shark"

~∃x( S(x) ^ T(x) )

In logic, this translates to "There doesn't exist a shark that can play tennis", or more simply, "sharks cannot play tennis"

the ~ symbol means negation

Make sense?