Settings

Preset Settings

System, book, or author

Presets aim to match the notation and inference rules of the selected book or author. JustInfer is not affiliated with or endorsed by the referenced authors or publishers.

Syntax

Truth Table Settings

These defaults apply to truth tables unless a problem has its own layout.

Truth table display defaults
Layout
Truth values
First row

Rules

Select which rules are allowed

Hover over rules to see their description

Search Rules

Enabled Rules

Disabled Rules

Rule shortcuts

Miscellaneous Settings

Handling Hypotheticals:

Rule/Line Citation Order:

Order of Line Citation Matters:

Allow Chained Inferences:

Manual Premise Citation:

Allow Free Variables:

Allow Bound Constants (in beta):

Allow Brackets as Parentheses:

Drop Outer Parentheses:

Allow Omitted Outer Parentheses:

Require Consistent Predicate Arity:

Allow Falsum (⊥):

Allow Vacuous Quantification:

Allow Repeated Quantification in a Scope: