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

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 .

TuteeHUB · Accepted Answer

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

TuteeHUB · Answer

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

TuteeHUB · Answer

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

TuteeHUB · Answer

None

1.	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
Answer» B. x [student(x) ^Vlikes(x, mathematics) V~ 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 .

Discussion

No Comment Found

Related MCQs

Reply to Comment