fregejs

Version:

A propositional logic library written in Typescript

20 files

Filename	Content Type	Size
../
buildConjunctionString.ts	text/typescript	273 B
eliminateDoubleNegation.ts	text/typescript	729 B
haveEvenNumberOfNegations.ts	text/typescript	348 B
index.ts	text/typescript	680 B
isArrayString.ts	text/typescript	130 B
isBiconditional.ts	text/typescript	304 B
isBinaryOperation.ts	text/typescript	246 B
isConjunction.ts	text/typescript	296 B
isContradiction.ts	text/typescript	703 B
isDisjunction.ts	text/typescript	296 B
isEndOfHypothesis.ts	text/typescript	194 B
isHypothesis.ts	text/typescript	133 B
isImplication.ts	text/typescript	296 B
isMolecularFormula.ts	text/typescript	509 B
isNegation.ts	text/typescript	190 B
isProofItemInferred.ts	text/typescript	256 B
isPropositionalVariable.ts	text/typescript	570 B
objectBuilder.ts	text/typescript	926 B
parse.ts	text/typescript	426 B
printTruthTable.ts	text/typescript	626 B