OpenLogicProject / fitch-checker

JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
GNU General Public License v3.0
51 stars 5 forks source link

examples contain invalid syntax #11

Open rogpeppe opened 5 years ago

rogpeppe commented 5 years ago

As a follow-up to issue #10, it seems that some of the examples here are invalid because they use the letter A inappropriately. It would be good to fix those.

As an aside, using a regular letter as an operator seems a bit odd to me. FWIW, incredible.pm uses ! and ? which seems to work ok and avoids this kind of confusion.