Scroll over the rules below to see where in the proof each one applies.
-
The conclusion must be the last line of the proof, on the
main proof line
-
Every statement must be numbered sequentially
-
Every line below the original premises must have a justification
-
Every justification must work, and must cite the correct line numbers
- No justification
can use line numbers from a statement below it
|
|