Represent statement into predicate calculus forms : "Some men are not giants." Let us assume the following predicatesman(x): “x is Man” giant(x): “x is giant”.

Represent statement into predicate calculus forms : "Some men are not

1.	Represent statement into predicate calculus forms : "Some men are not giants." Let us assume the following predicatesman(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» C. ∃x man(x) V~ giant(x)