Logic / Unit 6 Logic 258 short lesson, about 20 seconds
Predicates
Captions available
The idea
Capital letters express properties; attached to a constant they form a statement.
In practice
H = "is human." Hs = "Socrates is human." True or false — a genuine statement.
Where people slip
Hx is not a statement — no truth value until x is quantified or replaced.
Your place on the trail
Every lesson rests on earlier ones and opens later ones. Tap any to jump.
Builds on
Something wrong in this lesson? Flag it · Sources for Logic