Relational Predicates
This video presents the same text shown beside it, spoken and on screen. It adds nothing the text does not say.
State
Predicates can take two or more terms, expressing relations.
Show
Lxy = "x loves y." Lab: a loves b. Lba is a different claim — ask anyone.
Watch for
Order inside the predicate is meaning. Relations are where predicate logic leaves categorical logic permanently behind.