"SL" - "Sentential Logic", "SL+" - "Sentential logic with derived rules"
"FOL" - First Order Logic, "FOL=" - First Order Logic with identity
Optional advanced syntax overrides. The defaults below already match the normal/previous behavior, so most users do not need to change these.
Defaults: premise citation pr, assumptions as,ass,assume,A,H, constants a-m, variables n-z (with v reserved for disjunction).
Hover over rules to see their description