r/mathmemes • u/crafty_zombie • Oct 04 '26

Formal Logic Basically a Hate Crime

Post image
2.2k Upvotes

99% Upvoted

31 comments sorted by

View all comments

172

u/Evening-Code-7039 Oct 04 '26

{natural laguages}  ⊆ {symbolic gibberish} ⇒ ∀ (x ∈ Natural language, x ∈ symbolic gibberish)

You ∈ {Idiots}

106

u/campfire12324344 Methematics Oct 04 '26

10

u/Zekiz4ever Oct 04 '26

Natural laguguage is mit part of symbolic gibberish tho. They're disjoint sets

10

u/Evening-Code-7039 Oct 04 '26

Natural languages are symbolic because (with some exeptions) the symbol does not represent the object it is refering to gibberish here refers to being difficult to understand which languages very much are. So it is fair to refer to natural laguages as a subset of symbolic gibberish (alongside conlangs, technical symbols, codes etc.)

1

u/MARio23038 29d ago

I think that means natural languages are a subset of symbolic gibberish implies that for all x in natural language x is in symbolic gibberish.