This is fixed mode of the Proof Machine for the PL, where the conclusion and toolbox mode is set for you.
To return to sandbox mode go here.

For atomic sentences, use P, Q, R, etc.

For premises, use "Premise" or "P" for citation.

For axioms, use "PL1", "PL2" or "PL3" for citation.

For modus ponens, use "MP;1,2" (e.g.) for citation.

Line   Return or Control + "l" key: checks the line.

Row   Control + "r" key: adds row below.

Row   Control + "d" key: deletes current row.

Entire proof   Control + "p" key: checks entire proof.

Toolbox: Allow spaces:










PL Proof Machine (fixed)

1.
2.
3.
4.
5.
6.

Messages

PL Practice Problems