Discrete Structure (DS) MCQ: 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 : "Not all birds can fly". Let us assume the following predicates bird(x): “x is bird” fly(x): “x can fly”.

Correct Answer: ∃x bird(x) ^ ~ fly(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