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”.
✅ Correct Answer: (B)
∃x man(x) ^ ~ giant(x)