Logic / Logic 192 · Atom · ~20 seconds
Proof Notation
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
State
Number every line. Justify every derived line by citing the lines used and the rule applied.
Show
`4. Q 1, 3, MP` — line 4 is Q, obtained from lines 1 and 3 by modus ponens.
Watch for
A line without a justification isn't a proof step; it's a wish.