Logic / Unit 6 Logic 273 short lesson, about 20 seconds
Relational Predicates
Captions available
The idea
Predicates can take two or more terms, expressing relations.
In practice
Lxy = "x loves y." Lab: a loves b. Lba is a different claim — ask anyone.
Where people slip
Order inside the predicate is meaning. Relations are where predicate logic leaves categorical logic permanently behind.
Your place on the trail
Every lesson rests on earlier ones and opens later ones. Tap any to jump.
Builds on
Unlocks
Something wrong in this lesson? Flag it · Sources for Logic