Logic / Logic 191 · Atom · ~20 seconds
What a Proof Is
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
State
A proof is a sequence of statements, each a premise or derived from earlier lines by a valid rule, ending at the conclusion.
Show
If every step is guaranteed, the destination is guaranteed. Validity, assembled by hand.
Watch for
Tables verify; proofs *construct*. For arguments with many letters, proofs are also dramatically shorter.