Represent statement into predicate calculus forms : "If x is a man, then x is a giant." Let us assume the following predicatesman(x): “x is Man” giant(x): “x is giant”.

Represent statement into predicate calculus forms : "If x is a man, th

1.	Represent statement into predicate calculus forms : "If x is a man, then x is a giant." Let us assume the following predicatesman(x): “x is Man” giant(x): “x is giant”.
A.	∀ (man(x)→~giant(x))
B.	∀ man(x)→ giant(x)
C.	∀ (man(x)→giant(x))
D.	None
Answer» D. None