Question: Let D = { a , b , c } be a domain. Let our language consist of one dyadic predicate R . Consider two
Let be a domain. Let our language consist of one dyadic predicate
Consider two different interpretations I and of the predicate on the domain
Can you find a sentence of predicate logic in the language just consisting of the predicate so no
standard names which distinguishes the two interpretations I and J; ie a sentence true according to
one interpretation but not the other? Explain your answer
Step by Step Solution
There are 3 Steps involved in it
1 Expert Approved Answer
Step: 1 Unlock
Question Has Been Solved by an Expert!
Get step-by-step solutions from verified subject matter experts
Step: 2 Unlock
Step: 3 Unlock
