Translate each of the following English sentences into first-order logic, using

Question

Translate each of the following English sentences into first-order logic, using only the following constants and cates... Constants: ·Joe-a person named Joe McCartney - a person named Paul McCartney Gershwin-a person named George Gershwin BHoliday -a person named Billie Holiday EleanorRigby-a song entitled "Eleanor Rigby" TheManILove-a song entitled "The Man I Love" Revolver the music album entitled "Revolver" Predicates: CopyOfx,y)- compact disk x is a copy of music album y Owns(x,y)-person x owns compact disk y Sings(xyz)- music album z contains a recording of song y sung by person x Wrote(x,y)-person x wrote song y Equal(xy)- x and y are the same object ·

Explanation / Answer

1.Wrote(Greshwin, The Man I love)
2. Not Wrote(Greshwin, Eleanor Rigby)
3.Wrote(Greshwin, The Man I love) or Wrote(McCartney, The Man I love)
4.Three exist y(Wrote(Joe,y))
5. Owns(Joe,Revolver)
6. For all y(Sings(McCartney,y,Revolver) --> Wrote(McCartney,y))
7. For all y For all x(Sings(x,y,Revolver)--> Not Wrote(Gresshwin,y))
8. For all y There exist x there exist z(Wrote(Greshwin,y)--->Sings(x,y,z))
9. For all y There exist x There exist z(Sings(x,y,z))--->Wrote(Joe,y))
10. There exist z There exist x(Owns(Joe,x) and (Copy(x,z)-->Sings(Billi Holiday,The Man I Love,z))
11. For all x For all z There exist y((Owns(Joe,x) and Copy(x,z) and Sings(McCartney,y,z))
12. For all x For all z For all y((Owns(Joe,x) and Copy(x,z) and Sings(Billi Holiday,y,z))

Related Questions

Navigate

• Browse (All)
• Browse T
• Subjects

---

---

Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.