Solutions to Homework #9, Problems 23-29

English FOL Names: John. Mary. Predicates: x and y went to the Concert together. x likes y John. Mary. AttendedConcert(x, y) Likes(x, y) AttendedConcert(John, Mary) ( (Likes(John, Mary) ( Likes(Mary, John) Problem 12 “Max managed to get Carl home” merely implicates (does not imply) that it was hard to get Carl home. This is because if we ... ................
................