[Solved] 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”.

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”.
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» A. ∃x [student(x) ^ likes(x, mathematics) ^~ likes(x, history)]Q.

1.6k

Do you find this helpful?

View all MCQs in

Discrete Structure (DS)

Discussion

No comments yet

Related MCQs

Represent statement into predicate calculus forms : "Not all birds can fly". Let us assume the following predicates bird(x): “x is bird” fly(x): “x can fly”.
Represent statement into predicate calculus forms : "Some men are not giants." Let us assume the following predicates man(x): “x is Man” giant(x): “x is giant”.
Represent statement into predicate calculus forms : "If x is a man, then x is a giant." Let us assume the following predicates man(x): “x is Man” giant(x): “x is giant”.
Fact 1:All dogs like to run.Fact 2:Some dogs like to swim.Fact 3:Some dogs look like their masters.If the first three statements are facts, which of the following statements must also be a fact? I:All dogs who like to swim look like their masters. II:Dogs who like to swim also like to run.III:Dogs who like to run do not look like their masters.
In a survey of 85 people it is found that 31 like to drink milk, 43 like coffee and 39 like tea.Also 13 like both milk and tea, 15 like milk and coffee, 20 like tea and coffee and 12 like none of the three drinks. Find the number of people who like all the three drinks.
In a survey of 85 people it is found that 31 like to drink milk 43 like coffee and 39 like tea.Also 13 like both milk and tea, 15 like milk and coffee, 20 like tea and coffee and 12 like none of the three drinks. Find the number of people who like all the three drinks.
∃ is used in predicate calculus to indicate that a predicate is true for all members of a specified set.
∀ is used in predicate calculus to indicate that a predicate is true for at least one member of a specified set.
Determine the validity of argument given: s1: If I like mathematics then I will study. S2: Either I will study or I will fail. S: If I fail then I do not mlike mathematics.
Let p be “He is tall” and let q “He is handsome”. Then the statement “It is false that he is short or handsome” is: