The new release 0.04.03 introduces a new proof method: conditional proof. Based on the deduction theorem you can make an assumption and draw conclusions from it. We show the unfolding of formal logic from axioms and inference rules to propositions of propositional calculus with formal proofs within qedeq_formal_logic_v1. For background informations see under Vilnis Detlovs and Karlis Podnieks http://www.ltn.lv/~podnieks/mlog/ml.htm
Log in to post a comment.