1.

Represent statement into predicate calculus forms : "If x is a man, then x is a giant." Let us assume the following predicates man(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


Discussion

No Comment Found