For the given sentence “All Pompians were Romans” write a well formed formula in predicate logic.
For the given sentence “All Pompians were Romans” write a well formed formula in predicate logic.
Share
Lost your password? Please enter your email address. You will receive a link and will create a new password via email.
We have detected that you are using extensions to block ads. Please support us by disabling these ads blocker.
Download the attachment for answer
All Pompians were Romans = ∀x:Pompians(x) ->Romans(x)
Explanation:
Here All is used so we have to use Universal Quantifier (∀)
∀x = for all of x
Pompians(x)->Romans(x) = If x is a Pompians then x is Romans
and x can be anyone(all)
∀x:Pompians(x) ->Romans(x)
It will be read as: For all of x implies that If x is a Pompians then x is Romans and x can be anyone