Many Textbooks, Many Systems

The logic engine on which Deductions is built is system-agnostic, which provides a great deal of flexibility. The following textbooks are already configured in Preferences, but you can also select custom language, symbol and rule parameters to get Deductions working how you want!