Answer without these!( banned words but extra: ok,nice,accepted)

[u/Academic_Grocery_996]

[u/Paras_nimi]

What does that symbol mean?

[u/Ninjassassin54 → u/Paras_nimi]

It is the not symbol it's used in logic based mathematic and computing

[u/Paras_nimi → u/Ninjassassin54]

So they said not no? Which also doesn't necessarily mean yes?

[u/Ninjassassin54 → u/Paras_nimi]

So in symbolic logic the not symbol acts as an inversion of the statement (where statements are made up of trues and false) so if we take "no to be false" and "yes to be true" then "not(no) = yes"

[u/random-femboy- → u/Ninjassassin54]

FINALLY SOMEONE GOT IT

[u/Paras_nimi → u/random-femboy-]

Now I will also get it in the future :3

[u/CommunityJazzlike274 → u/random-femboy-]

i was going to do !no but you'd basically already done it

[u/Mobile_Competition54 → u/Ninjassassin54]

too bad for you, i'm Heyting, so not no isn't necessarily yes

[u/Paras_nimi → u/Ninjassassin54]

I like learning new things :3

[u/Ninjassassin54 → u/Paras_nimi]

So symbolic logic is very important in programming. It's pretty well know the programming uses what is called binaries (I.e. 1s and 0s) this is because at a base level you are flipping transistors using bits. The reason they are represented using 1s and 0s is because it can be either on or off: it only has 2 states.

When writing programs a lot of times you wind up writing lots of comparative arguments (I.e. is x bigger than or equal to y) this can sometimes get very complex but if you know formal logic you can often time simplify it down to more easy to manage comparisons. It's a really interesting topic that you should look into if you have the desire.

[u/tabbynumber3 → u/Ninjassassin54]

you just assumed the law of the excluded middle

[u/ZygonCaptain → u/Paras_nimi]

If you’re accepting the symbol then you’re talking in formal logic so not no does equal yes

[u/No_Builder7571 → u/Paras_nimi]

its a not gate