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”.

Question

Accepted Answer

∃x [student(x) ^ likes(x, mathematics) ^~ likes(x, history)]Q.

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”.

Make the most of this question