Authored by: Anonymous on
Sunday, October 11 2009 @ 02:32 AM BST
On the other hand, the rules of the given program can be viewed as propositional formulas if we identify the comma with conjunction the symbol not with negation and agree to treat as the implication written backwards. ,