Every student in this class has studied calculus
If S(x) represents the statement that person x is in this class, C(x) which is the statement “x has studied calculus.”
we see that our statement can beexpressed as
∀x(S(x) → C(x) )
Some student in this class has visited Mexico
M(x), which is the statement “x has visited Mexico.” S(x) to represent “x is a student in this class.”
∃x(S(x) ∧ M(x))
In 1st example Implication is taken Why in 2nd Example and is taken
why not S(x) ->M(x)