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

Question

Represent statement into predicate calculus forms : "If x is a man, then x is a giant." Let us assume the following predicates man(x): &ldquo;x is Man&rdquo; giant(x): &ldquo;x is giant&rdquo;.

Admin · Accepted Answer

&forall; (man(x)&rarr; giant(x))

Admin · Answer

&forall; (man(x)&rarr; ~giant(x))

Admin · Answer

&forall; man(x)&rarr; giant(x)

Admin · Answer

None

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

Discusssion