Propositional Calculus Implementation of a Propositional Calculus in PHP. Based on the book Artificial Intelligence - foundations of computational agents chapter 5 Propositions and Inference.