- What are some examples/applications of propositional, predicate, and higher-order logic? https://en.wikipedia.org/wiki/Modus_tollens 17 comments compsci
Linking pages
- No, people aren’t unemployed because they’re lazy. We should stop teaching children myths about work https://theconversation.com/no-people-arent-unemployed-because-theyre-lazy-we-should-stop-teaching-children-myths-about-work-153643 194 comments
- Miscellaneous · Gwern.net https://www.gwern.net/Notes#open-questions 103 comments
- A Beginner's Companion to Theorem Proving in Lean 4 | Blog | emallson.net https://emallson.net/blog/a-beginners-companion-to-theorem-proving-in-lean/ 17 comments
- One Man’s Modus Ponens · Gwern.net https://www.gwern.net/Modus#:~:text=%27One%20man%27s%20modus%20ponens%20is,based%20on%20an%20implied%20conclusion. 16 comments
- Debugging C with Haskell's Divisible http://www.michaelburge.us/2017/09/27/delta-debugging-in-haskell.html 11 comments
- Miscellaneous · Gwern.net http://www.gwern.net/homelessness 1 comment
- Alex Richey | Why I Could Be Wrong https://alexrichey.com/articles/2023-01-01-why-i-could-be-wrong.html 1 comment
- Leopold Aschenbrenner - China/US Super Intelligence Race, 2027 AGI, & The Return of History https://www.dwarkeshpatel.com/p/leopold-aschenbrenner 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:en.wikipedia.org
Search title: Modus tollens - Wikipedia
See how to search.