Proof Checker

Please note that the letters "A" and "E" may be used as abbreviations for the universal and the existential quantifier, respectively. For this reason, these letters cannot be used as propositional variables.

Operating the Logic server currently costs about 113.88€ per year (virtual server 85.07€, domain fee 28.80€); hence the Paypal donation link.