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.
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
Download the attachment for answer