For an assignment, I am supposed to write out all of the logical formulas into the song title "Everybody Loves Somebody Sometime" in predicate logic - Does this look right?
∀p∃t∃q.Loves(p,q,t) - “Everybody Loves Somebody Sometime”
∃p∃q∃t.Loves(p,q,t) - “Somebody loves Somebody Sometimes”
∃p∀t∀q.Loves(p,q,t) - “Somebody loves Everybody All the Time”
∀p∃q∀t.Loves(p,q,t) - “Everybody Loves Somebody All the Time”