Discrete Structure (DS) MCQ: 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 : "Some men are not giants." Let us assume the following predicates man(x): “x is Man” giant(x): “x is giant”.

Correct Answer: ∃x man(x) ^ ~ giant(x)

Make the most of this question

This page focuses on one Discrete Structure (DS) question from Engineering. After checking the answer, return to the topic list to practice more or run a timed set.

← More Discrete Structure (DS) MCQs All Engineering topics Mock test hub