propositional_logic-js
v0.1.4
Published
A library for determining the validity of arguments in propositional logic.
Downloads
6
Readme
#PropLogic-js #####To install the package:
npm i propositional_logic-js
#####To import the package:
const logic=require('propositional_logic-js')
#####To evaluate the validity of an argument. (Can hold more than two premises)
const logic=require('propositional_logic-js')
console.log(logic.evaluateLogic(['premise1','premise2'],conclusion));
##Symbols #####Disjunction: ∨ or | #####Conjunction: & #####Implication: ⇒ or > or --> #####Exclusive Disjunction: ⊻ or |!| #####Logical Equivalence: ⇔ or <-> #####Negation: ¬ or - or !
##Note #####If you include multiple atoms in a given premise, please separate them accordingly. This library will not accept things like: (p&q&r). You will need to split those up into things like this: (p&q)&r