Logic / Logic 273 · Atom · ~20 seconds
Relational Predicates
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
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.