"The poet only asks to get his head into the heavens. It is the logician who seeks to get the heavens into his head. And it is his head that splits." G.K. Chesterton

Saturday, February 26, 2011

Propositional Logic/Calculus Calculator/Emulator in Matlab

This link will take you to the Propositional Calculus Calculator main post which contains all the instructions.


The links below are to DOWNLOAD each of the m.files required to run the Propositional Calculus Calculator (Propositional Logic Calculator): 


Still, I advise you visit the main post, also on this blog, to find out how to use it.

wff.m
valid.m
truth table.m
tautology.m
row pic.m
orf.m
numerical string entry.m
npv test.m
notf.m
n andf.m
max row.m
licence.m
is even.m
instructions.m
index of not general.m
index of.m
convert3.m
consistent.m
consistency.m
conf.m
bconf.m
andf.m
all pvs.m

Comments and feedback are welcome :)