Predicates
This video presents the same text shown beside it, spoken and on screen. It adds nothing the text does not say.
State
Capital letters express properties; attached to a constant they form a statement.
Show
H = "is human." Hs = "Socrates is human." True or false — a genuine statement.
Watch for
Hx is not a statement — no truth value until x is quantified or replaced.