Prove ~~~~~(A &~A) is a theorem in SD+ March 27, 2021 at 04:35 0 comments Logic & Philosophy of Mathematics
Need help on how to derive this proof March 24, 2021 at 01:46 0 comments Logic & Philosophy of Mathematics
Comments
No comments.