The Finite-Universe Method
This video presents the same text shown beside it, spoken and on screen. It adds nothing the text does not say.
State
To prove invalidity: build a small universe (one or two members) where universals become conjunctions, existentials become disjunctions — then find an assignment with true premises and a false conclusion.
Show
A two-member world is a truth-table row for predicate logic.
Watch for
This proves invalidity only. Proofs certify validity; models certify invalidity; between them, the system is complete.