Proof Checker

Help with language - Other programs - Feedback - Deutsche Fassung

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.


© Christian Gottschall / gottschall@gmx.de / 2012-03-31 01:19:53