/r/logic

Photograph via snooOG

A subreddit for modern formal logic.

A subreddit for modern logic.


Common symbols

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

Rules

All posts to r/logic are initially removed pending moderator review.


If you are asking a question, then you must:

  1. Describe your problem clearly and completely.

  2. 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.

r/logic strictly enforces academic honesty.

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.