Consider the following (strange) system of propositional logic. The defnition of wffs is the same as for standard propositional logic, and the rules of inference are the same (just one rule: modus ponens); but the axioms are different. For any wffs Ïand Ï, the following are axioms:
