OpenLogicProject/fitch-checker

Divergence

gimenes2008 opened this issue · 2 comments

gimenes2008 commented

Hi!

I found this divergence:

image

In other systems the conclusion is valid:

image

Source: https://www.umsu.de/trees/

image

Source: https://www.taut-logic.com/predicate_nd.html

frabjous commented

This does look like a bug, but this isn't really an active project any more. It was more of a proof of concept back when I created it. I am working on a new system, and I'll try to make sure it handles this correctly, so I don't think it's worth making any changes to the old system.

gimenes2008 commented

This does look like a bug, but this isn't really an active project any more. It was more of a proof of concept back when I created it. I am working on a new system, and I'll try to make sure it handles this correctly, so I don't think it's worth making any changes to the old system.

I understand.