links logica proposicional sentencial axiomas sistemas axiomaticos

http://www.ltn.lv/~podnieks/mlog/ml.htm

http://en.wikipedia.org/wiki/Propositional_logic

http://plato.stanford.edu/entries/pm-notation/