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”.

Represent statement into predicate calculus forms : "Not all birds can

1.	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) Vfly(x)
B.	∃x bird(x) ^ ~fly(x)
C.	∃x bird(x) ^fly(x)
D.	None
Answer» C. ∃x bird(x) ^fly(x)