tag:blogger.com,1999:blog-11162230.post5532137761515210509..comments2024-03-04T13:50:45.089-08:00Comments on Jeremy Siek: How to Prove ItJeremy Siekhttp://www.blogger.com/profile/13773635290126992920noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-11162230.post-18098577950381174682023-03-06T10:20:39.094-08:002023-03-06T10:20:39.094-08:00Some typo in the last proof. The sentence "Th...Some typo in the last proof. The sentence "Therefore ¬p→(q∨r)." appear twice. One of them shoudle be "Therefore r→(q∨r)." . Thanks for your writing. Anonymousnoreply@blogger.com