Library for representing and evaluating symbolic logic formulas.
npm install logicallylogically is a library for representing and evaluating symbolic logic
formulas and proofs.
Complete documentation for the API can be found at logically-js.github.io/docs.
Currently, the library mainly consists of a few classes: Formula, Line of
Proof, and Proof. The Formula class allows you to analyze and perform
operations on propositional logical formulas as inputs. E.g.:
````
const p = new Formula('p');
const notP = new Formula('~p');
assert(p.isNegation(notP));
Proofs are made of Lines of Proof. A Line of Proof consists of a Formula,
followed by the name of a natural deduction rule justifying that line, followed
by a list of citations to any other lines were "cited" or that played a role in
the justification of the current line.
A Proof, then, is a series of Lines of Proof.