Preset Settings

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

Syntax

Rules

Select which rules are allowed

Hover over rules to see their description

Enabled Rules

Disabled Rules

Miscellaneous Settings