Settings

Preset Settings

Choose settings by system:

"SL" - "Sentential Logic", "SL+" - "Sentential logic with derived rules"
"FOL" - First Order Logic, "FOL=" - First Order Logic with identity

Hover over rules to see their description

Rule/Line Citation Order:

Order of Line Citation Matters:

Line Check Mode:

ForAllX discharging and subproof citation: