This is the Proof Machine for the PL system in Ted Sider's Logic for Philosophy Ch. 2. See below for instructional video and practice problems.
If you're looking for them, the regular Proof Machine is here and the Truth Machine is here.

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

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

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

For modus ponens, use "MP;1,2" (e.g.) as 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

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

Messages

Instructions: How to use the PL Proof Machine

PL Practice Problems