Represent statement into predicate calculus forms : There is a student who likes mathematics but not history. Let us assume the following predicates student(x): “x is student.”likes(x, y): “x likes y”. and ~likes(x, y) “x does not like y”.

• A. ∃x [student(x)^ likes(x,mathematics)^~ likes(x, history)]Q.
• B. ∃x [student(x)^Vlikes(x,mathematics) V~ likes(x, history)]Q.
• C. ∃x[student(x) ^~likes(x, mathematics)^likes(x, history)]Q.
• D. None