MCQOPTIONS
Saved Bookmarks
| 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) | |