Math Forum http://mathforum.org/kb List of forum topics en Forward Branching MODUS PONENS! http://mathforum.org/kb/thread.jspa?messageID=7933951&tstart=0#7933951 and a FORMULA

how would you decide if the FORMULA
was a THEOREM of those AXIOMS?


AXIOM]]> Dec 7, 2012 9:00:26 PM Dec 7, 2012 9:00:26 PM grahamcooper7@gmail.com 0