Tool to help practising proofing formulas using natural deduction. The tool is able to automatically apply valid logical rules to given statements and yield further logically sound arguments.
JavaScript HTML CSS
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
jasmine-2.4.1
js/src
spec
.gitignore
Gruntfile.js
README.md
index.html
main.css
normalize.css
package.json

README.md

Natural-Deduction-Tool

Tool to help practising proofing formulas using natural deduction. The tool is able to automatically apply valid logical rules to given statements and yield further logically sound arguments.

Image of the Tool

Currently implemented rules

  1. Conjunction Introduction
  2. Conjunction Elimination
  3. Disjunction Introduction
  4. Implication Elimination (Modus Ponens)
  5. Double Negation Introduction
  6. Double Negation Elimination

Future Development

  1. Modus Tollens
  2. Assumption mechanism