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

Related MCQs

• 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”.
• 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”.
• 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”.
• ∃ 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.
• 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:
• Let f : X →Y and g : Y → Z. Let h = go f : X → Z. Suppose g is one-to-one and onto. Which of the following is FALSE?
• Fact 1: All chickens are birds. Fact 2: Some chickens are hens. Fact 3: Female birds lay eggs. If the first three statements are facts, which of the following statements must also be a fact? I: All birds lay eggs. II: Some Hens are birds. III: Some chickens are not hens.
• Let A = {2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16} and consider the divides relation on A. Let C denote the length of the maximal chain, M the number of maximal elements, and m the number of minimal elements. Which is true?
• 1. Let m = “Juan is a math major,” c = “Juan is a computer science major,” g = “Juan’s girlfriend is a literature major,” h = “Juan’s girlfriend has read Hamlet,” and t = “Juan’s girlfriend has read The Tempest.” Which of the following expresses the statement “Juan is a computer science major and a math major, but his girlfriend is a literature major who hasn’t read both The Tempest and Hamlet.”