logically v0.2.1

logically

logically 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.