Quantifications over propositions don't work

Quelklef / fitch

Interactive proof assistant for Fitch-style natural deduction

https://maynards.site/fitch

3 stars 0 forks source link

Closed Quelklef closed 5 years ago

Quelklef commented 5 years ago

OTOH, should this be allowed? Perhaps it is logically inconsistent.

Quelklef commented 5 years ago

Patched in 866c30017c762c40de372533351e5686342c1e35