

McqMate
Q. |
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”. |
A. | ∃x man(x) ^ giant(x) |
B. | ∃x man(x) ^ ~ giant(x) |
C. | ∃x man(x) V ~ giant(x) |
D. | None |
Answer» B. ∃x man(x) ^ ~ giant(x) |
View all MCQs in
Discrete Structure (DS)No comments yet