At vero eos et accusamus et iusto odio dignissimos ducimus qui blanditiis praesentium voluptatum deleniti atque corrupti quos dolores et quas molestias excepturi sint occaecati cupiditate non provident, similique sunt in culpa qui officia deserunt mollitia animi, id est laborum et dolorum fuga.
Et harum quidem rerum facilis est et expedita distinctio. Nam libero tempore, cum soluta nobis est eligendi optio cumque nihil impedit quo minus id quod maxime placeat facere possimus, omnis voluptas assumenda est, omnis dolor repellendus.
Itaque earum rerum hic tenetur a sapiente delectus, ut aut reiciendis voluptatibus maiores alias consequatur aut perferendis doloribus asperiores repellat.

Get our expert's

answer on brainly

SEE EXPERT ANSWER

Get your **free** account and access **expert** answers to this and **thousands** of other questions.

See more answers at brainly.com

Join Brainly to access

this expert answer

SEE EXPERT ANSWER

To see the **expert** answer you'll need to create a **free** account at **Brainly**

Metamath (for mathematical logic)

if you say so

Don't u believe me?:-)

i dont really know what defines metamath

It comes under Pure Mathematics.
@estudier is telling you to ask them in the Meta-math group.

Mathematical logic per se is a study which comes under Pure Mathematics.

Roughly speaking it is the use of math to talk about math.

what ever you reckon

but logic about logic is maths

Yeah... it's sort of a conclave thing.

Anyway, that is not the question here, sorry...

probability, statistics, discrete math

geometry

Exactly which sort of logic are we talking about?

where do you think is best for this question
\[(1,2)\cap[2,3)=\]

Set Theory = Metamath
Applications of Set theory = The area in which it is being applied.

im talking about these operators \(\neg,\land,\lor,\Rightarrow,\Leftrightarrow,\exists,\forall,|\)

Again, you have to distinguish between the theory and the applications

The theory is that of formal systems (First order logic and in general, nth order logics).

Yes, these are all connected...

\[\{,(,[,\cup,\cap,\]

i feel there should be a single subtopic that can accommodate all these, maybe it is just maths

These are then used in ZFC (a formal mathematical system) to prove things using the language of sets

yeah

However it does seem to be to be very algebraic in nature.

logic is under discrete mathematics......

As usual I didnt follow the joke lol