Skip to main content
2 events
when toggle format what by license comment
Aug 20, 2022 at 19:42 comment added Alex Alex Your argument reminds that are presented in Atkins textbook. I am interested primarily why this method of proving separability works. I want a proof of this method validity preferably written in predicate logic and in Fitch's notation.
Aug 20, 2022 at 18:59 history answered Verktaj CC BY-SA 4.0