Asklemmy

49813 readers

432 users here now

A loosely moderated place to ask open-ended questions

Search asklemmy 🔍

If your post meets the following criteria, it's welcome here!

Open-ended question
Not offensive: at this point, we do not have the bandwidth to moderate overtly political discussions. Assume best intent and be excellent to each other.
Not regarding using or support for Lemmy: context, see the list of support communities and tools for finding communities below
Not ad nauseam inducing: please make sure it is a question that would be new to most members
An actual topic of discussion

Looking for support?

Looking for a community?

Lemmyverse: community search
sub.rehab: maps old subreddits to fediverse options, marks official as such
[email protected]: a community for finding communities

~Icon~ ~by~ ~@Double_[email protected]~

founded 6 years ago

MODERATORS

[email protected]

What are some useful logical/math/cs operators or textual tools for thinking (lemmy.world)

submitted 2 years ago* (last edited 2 years ago) by [email protected] to c/[email protected]

19 comments fedilink hide all child comments

I notice programming stuff leaks into my thinking and writing often but I actually enjoy the various constructs that help clarify thinking. I don't have any formal background in logic tho :(

What are some useful and accessible logical tools/operators/symbols that help in thinking+"pseudocode" Edit: definitely useful math/cs/logical symbols are particularly interesting

If you can, please copy/paste the actual unicode symbol or whatever

you are viewing a single comment's thread
view the rest of the comments

[–] [email protected] 10 points 2 years ago

Well maybe this is too basic but here are the most important to me:

formal implication:

X ⇒ Y (X implies Y)

means that if X is true, Y is also true. Note that the reverse is not necessarily true, Y being true does not mean X is true (or that X is false). There is truly a staggering number of people who make this mistake in thinking all the time. And If X ⇒ Y and Y ⇒ X then X ⇔Y (X if and only if Y).

Understanding ∀ (for all) and ∃ (there exists) is also very valuable.

Understanding these concepts is enough to understand the basic notation of a lot of math, with it you can start reading basic math papers and really expand your horizons.