0.1.6 • Published 5 years ago

proplogic-js v0.1.6

Weekly downloads
-
License
ISC
Repository
-
Last release
5 years ago

#PropLogic-js #####To install the package:

npm i proplogic-js

#####To import the package:

const logic=require('proplogic-js')

#####To evaluate the validity of an Argument

const logic=require('proplogic-js')
console.log(logic.evalLogic(['premise1','premise2'],['conclusion1','conclusion2']));

##Symbols #####Disjunction: ∨ or || #####Conjunction: & #####Implication: ⇒ or > or --> #####Exclusive Disjunction: ⊻ or |!| #####Logical Equivalence: ⇔ or <-> #####Negation: ¬ or - or !

##Note #####If you are to 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 decompose each premise and conclusion into atoms like this: (p&q)&r

0.1.6

5 years ago

0.1.5

5 years ago

0.1.4

5 years ago

0.1.3

5 years ago

0.1.2

5 years ago

0.1.1

5 years ago

0.1.0

5 years ago