1.

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» C. x man(x) V ~ giant(x)


Discussion

No Comment Found