❤
npm
Sign UpSign In

proposition-validator

1.0.0 • Public • Published

Proposition Validator

Checks a given proposition to see whether it is a well formed formula.

Usage

var validate = require("proposition-validator");

validate("¬((q∧¬(p∧¬p)))");
// true

validate("¬((q∧¬(p∧¬()p)))");
// false

Author

Jordan Lord

License

GPL-3.0

Dependencies (0)

    Dev Dependencies (2)

    Package Sidebar

    Install

    npm i proposition-validator

    Weekly Downloads

    0

    Version

    1.0.0

    License

    GPL-3.0

    Last publish

    Collaborators

    • logiclogue
    Try on RunKit
    Report malware