![Mcqmate logo](https://mcqmate.com/images/logos/logo-black.png)
![Mcqmate logo](https://mcqmate.com/images/logos/logo-white.png)
McqMate
Q. |
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» C. ∀ (man(x)→ giant(x)) |
View all MCQs in
Discrete Structure (DS)No comments yet