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.