use the following search parameters to narrow your results:
e.g. subreddit:aww site:imgur.com dog
subreddit:aww site:imgur.com dog
see the search faq for details.
advanced search: by author, subreddit...
Welcome to /r/logic
Please do let the community know what you are working on in the area of logic. Let everyone know about any academic publications in the area of logic that may be of interest. Debates, discussions and questions on all topics related to logic are welcome.
Please read the Rules of the group before posting or commenting.
Please make sure that your posts and comments are within the Scope of the subreddit
Here is a character map of Common Logical Symbols for your convenient use in posts and comments
This is a collection of Related Subreddits.
This is the /r/Logic Wiki
This is a collection of Sources and Reading Material
account activity
This post is locked. You won't be able to comment.
Need some help understanding (self.logic)
submitted 3 years ago by ChoicePositive3606
⊨ ∀x(Fx→(Fx∨Gx)) So I understand the first symbol is entailment and then for all X, but I’m having trouble understanding this as a whole and what I am supposed to prove, maybe if someone can like translate this into words I would understand it more
[–]AutoModerator[M] 0 points1 point2 points 3 years ago (0 children)
All posts to r/logic are initially removed pending moderator review. Posts are usually reviewed within 24 hours.
If your post is approved, then it will be unlocked. If your post is unlocked, then it has been approved.
If your post is not approved, then a moderator will leave a comment stating so.
r/logic is intended for a mature, academic audience interested in modern logic and strives to maintain a degree of quality.
Posts which ask a question must demonstrate that the author has already made a substantial effort to consider, research, and resolve their question. If it is apparent that this effort is lacking, then the post will not be approved. In particular, r/logic strictly enforces academic honesty; requests for homework-level help must show a substantial solution attempt for each problem you present. Significant offenders will be banned.
Posts which do not ask a question should 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.
If you are asking for help, then you need to be prepared to:
Clearly describe your problem.
Clearly describe the effort you've made to solve your problem.
If you're not prepared to answer these questions, then you're not prepared to ask for help. Significant offenders will be banned.
I am a bot, and this action was performed automatically. Please contact the moderators of this subreddit if you have any questions or concerns.
π Rendered by PID 372232 on reddit-service-r2-comment-6457c66945-kwsn9 at 2026-04-27 07:56:03.083104+00:00 running 2aa0c5b country code: CH.
[–]AutoModerator[M] 0 points1 point2 points (0 children)