Add ~, # rules for new version of Calgary remix

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

Add ~, # rules for new version of Calgary remix #2

Closed rzach closed 6 years ago

rzach commented 6 years ago

As per https://github.com/rzach/forallx-yyc/issues/11 we're planning to change the ~ and # rules used in the Calgary remix to the standard Prawitz rules. To accommodate this, fitch-checker should recognize:

~E (identical to current #I)
ECQ (identical to current #E)
IP (identical to current ~I, except with assumption and conclusion switched)

rzach commented 6 years ago

Well, that was easy