I'm trying to write the FOL for "Borrowing a book doesn’t change who owns it" given the functions:
- Book(x) = x is a book
- Owns(x, y) = x owns y
- Provide(x, y) = x provides y
My attempt was ∀x,y (Book(x) ∧ Owns(y, x) ∧ Provides(y, x)) ⇒ Owns(y, x) but I'm not quite sure what I am missing from this