rzach
commented
6 years ago Fixed in 6b21373f0d08853715b18726122b54695a0179df
Closed rzach closed 6 years ago
rzach
commented
6 years ago Fixed in 6b21373f0d08853715b18726122b54695a0179df
frabjous
commented
6 years ago They definitely aren't treated as the same formula. Something different is going on there. I'll look into it when I can.
On Fri, Jan 12, 2018 at 10:56 AM, Richard Zach notifications@github.com wrote:
p = q and q = p should be regarded as different formulas
[image: screenshot from 2018-01-12 08-55-03] https://user-images.githubusercontent.com/3122348/34883282-6bb1aefa-f776-11e7-811f-bedad4e2ac99.png
— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/OpenLogicProject/fitch-checker/issues/7, or mute the thread https://github.com/notifications/unsubscribe-auth/AASrHF8yxxXPNje3mf5nXGn8RfNzZrWkks5tJ4CygaJpZM4Rce_k .
frabjous
commented
6 years ago Nevermind, my other fix fixed this issue too!
On Fri, Jan 12, 2018 at 11:40 AM, Kevin Klement klement@philos.umass.edu wrote:
They definitely aren't treated as the same formula. Something different is going on there. I'll look into it when I can.
On Fri, Jan 12, 2018 at 10:56 AM, Richard Zach notifications@github.com wrote:
p = q and q = p should be regarded as different formulas
[image: screenshot from 2018-01-12 08-55-03] https://user-images.githubusercontent.com/3122348/34883282-6bb1aefa-f776-11e7-811f-bedad4e2ac99.png
— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/OpenLogicProject/fitch-checker/issues/7, or mute the thread https://github.com/notifications/unsubscribe-auth/AASrHF8yxxXPNje3mf5nXGn8RfNzZrWkks5tJ4CygaJpZM4Rce_k .
p = q and q = p should be regarded as different formulas