User:Cycomachead/sandbox

From Wikipedia, the free encyclopedia
Failed to parse (unknown function "\rarrow"): {\displaystyle ((P \rarrow Q) \land P) \to Q}