/r/logic
A subreddit for modern formal logic.
Symbol | Meaning |
---|---|
~ , ¬ | negation; NOT |
∧ | conjunction; AND |
∨ | disjunction; OR |
→ , ⊃ | conditional; If... Then... |
↔ , ≡ | biconditional; ...if and only if... |
∀ | universal quantifier; For all... |
∃ | existential quantifier; There exists... |
⊢ | ...syntactically entails... |
⊨ | ...semantically entails... |
□ | It is necessary that... |
◊ | It is possible that... |
∈ | ...is an element/member of... |
∅ | empty set |
⊆ | ...is a subset of... |
⊂ | ...is a proper subset of... |
∪ | union |
∩ | intersection |
× | cartesian product |
All posts to r/logic are initially removed pending moderator review.
If you are asking a question, then you must:
Describe your problem clearly and completely.
Present your work demonstrating the effort you've made to solve your problem.
If you're not prepared to fulfill these basic requirements then you're not prepared to ask for help. If it is apparent that this effort is lacking, then your post will not be approved. Significant offenders will be banned.
Posts which do not ask a question must present content that is substantially informative, credible and academic in nature. Off-topic, low-effort, "prove me wrong" or wildly unfounded posts will not be approved. Significant offenders will be banned.
/r/logic
Lean Programming Language and Theorem Prover
Open Logic Project, Richard Zach et al.
Beginning Mathematical Logic: A Study Guide, Peter Smith
Five Big Red (Open Access) Logic Books, Peter Smith
A Modern Formal Logic Primer, Paul Teller
Symbolic Logic: A First Course, Gary Hardegree
Introduction to Logic, Stanford
Mathematical Logic through Python, Yannai A. Gonczarowski & Noam Nisan
Learn You a Haskell for Great Good!, Miran Lipovača
Book Notes on Logic and the Philosophy of Mathematics, Peter Smith
Essentials of Symbolic Logic, R.L. Simpson
How to Prove It: A Structured Approach, Daniel J. Velleman
Logic for Applications, Anil Nerode & Richard A. Shore
An Introduction to Non-Classical Logic, Graham Priest
Introduction to the Theory of Computation, Michael Sipser
Zermelo Fraenkel axioms, Richard E. Borcherds
Categories for the idle mathematician, Richard E Borcherds
Category Theory, Bartosz Milewski
Logic & Foundations with Haskell, Marius Furter
Oxford Philosophy of Mathematics, Joel David Hamkins
MIT 18.404J Theory of Computation, Fall 2020, MIT OpenCourseWare
MIT 6.001 Structure and Interpretation, 1986, MIT OpenCourseWare
Building an 8-bit breadboard computer!, Ben Eater
Message the mods if you have a recommendation for an addition to this list.