Deductions | Features Tour: Flexibility

Image showing how Deductions is flexible. The phrase flexibility is at the top, with arrows pointing to various ways in which Deductions is flexible. The arrow on the left points to the phrase language options, with a picture below showing the various ways languages can be configured: constant and variable range, free variable, arbitrary constants, symbols for negation, conditional, conjunction, biconditional, contradiction; nonidentity symbol, parenthesis around quantifiers. The arrow in the middle points to the phrase system, with the image of a circle below enclosing the words classical, intuitionist, minimal. The arrow on the right points to the phrase many rules, with a picture below showing dozens of rules supported by Deductions, each of which may be turned off independently.

Options

Deductions was written to work with many languages, rulesets and systems. Chose one of the many textbook presets, or create your own by selecting the symbols and rules that fit your system.

Systems

The classical systems supported by Deductions are: sentential (or propositional) logic, predicate logic, first-order logic with identity. It also works with intuitionist and minimal logic.