Contact us at support@wanderingmango.com and we will get back to you within a day.
Contact us at support@wanderingmango.com and we will send it to you again.
Contact us at support@wanderingmango.com to discuss your requirements.
Deductions uses a system of rules and aliases to support over 80 rules. You may be interested in the Rules and Aliases Guide, which is an exhaustive enumeration of rules and aliases.
Deductions is built upon a logic engine that is language-agnostic. Here are the symbols that are permitted in the current version: &, ∧, •, →, ⊃, ~, ¬, ∨, ↔, ≣, ∀, ∃, =, ≠, ⋏, ⊥.
Deductions is designed to work seamlessly with many textbooks. It will also work with Graeme Forbes's Modern Logic with some adjustment, and because Deductions is so flexible, it will work with other textbooks as well.
Deductions is licensed from the online store in two ways:
1. An education license, for students, researchers and instructors. Deductions may be used by one person only (the licensee).
2. A single-user license, for private individuals. Deductions may be used by one person only (the licensee).
3. A workstation license, for labs and institutions. Deductions may be used by many people, but may be installed on one computer only.
If you have not registered (unlocked) Deductions, it will be locked in trial mode. Deductions supports only the following rules in trial mode: P, A, R, &I, &E, →I, →E, ~I, ~E, DN. An alert appears if you appeal to an unsupported rule.
You may register (unlock) Deductions by purchasing a license at the Online Store. Each license comes with a special key. If Deductions does not register itself automatically, start Deductions, select "File" from the menu bar and then select "Registration..." Then fill in your name and key, and select "Unlock".