![Mcqmate logo](https://mcqmate.com/images/logos/logo-black.png)
![Mcqmate logo](https://mcqmate.com/images/logos/logo-white.png)
McqMate
Q. |
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”. |
A. | ∃x bird(x) V fly(x) |
B. | ∃x bird(x) ^ ~ fly(x) |
C. | ∃x bird(x) ^ fly(x) |
D. | None |
Answer» B. ∃x bird(x) ^ ~ fly(x) |
View all MCQs in
Discrete Structure (DS)No comments yet