Divergence

[gimenes2008]

Hi!

I found this divergence:

In other systems the conclusion is valid:

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

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

[frabjous]

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]

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.