[logic] Everything I did last semester
Merge branch 'logic' of https://github.com/CurryBoy/Peirce-Logic into logic