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