UnkleRhaukus
  • UnkleRhaukus
which subtopic of maths does logic go in/
OpenStudy Feedback
  • Stacey Warren - Expert brainly.com
Hey! We 've verified this expert answer for you, click below to unlock the details :)
SOLVED
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.
jamiebookeater
  • jamiebookeater
I got my questions answered at brainly.com in under 10 minutes. Go to brainly.com now for free help!
anonymous
  • anonymous
Metamath (for mathematical logic)
UnkleRhaukus
  • UnkleRhaukus
if you say so
anonymous
  • anonymous
Don't u believe me?:-)

Looking for something else?

Not the answer you are looking for? Search for more explanations.

More answers

UnkleRhaukus
  • UnkleRhaukus
i dont really know what defines metamath
ParthKohli
  • ParthKohli
It comes under Pure Mathematics. @estudier is telling you to ask them in the Meta-math group.
ParthKohli
  • ParthKohli
Mathematical logic per se is a study which comes under Pure Mathematics.
anonymous
  • anonymous
Roughly speaking it is the use of math to talk about math.
UnkleRhaukus
  • UnkleRhaukus
what ever you reckon
ParthKohli
  • ParthKohli
Because they have no mathematical logic group, meta-math is the best group to ask in. In fact, Meta-math is an appropriate description of mathematical logic, because it's mathematics about mathematics.
anonymous
  • anonymous
To be honest, I am not so sure that we really need this section in OS. At least, I think that there would not be so many members of that group.
UnkleRhaukus
  • UnkleRhaukus
but logic about logic is maths
ParthKohli
  • ParthKohli
Yeah... it's sort of a conclave thing.
anonymous
  • anonymous
One thing I noticed missing is a Miscellaneous/Other category or a category for Recreational Mathematics
anonymous
  • anonymous
Anyway, that is not the question here, sorry...
anonymous
  • anonymous
I think it is a good idea to ask the question in the metamath group "What is metamath?" (And pin the thread, except u can't do that)
UnkleRhaukus
  • UnkleRhaukus
well so far i have some reason to post logic questions in the subtopic metamath, however i can think of equally valid reasons to post logic question in other subtopics, so i still am not convinced that metamath is the best section to post in
anonymous
  • anonymous
Where would you post it instead? Algebra? (I don't disagree with u, metamath only includes mathematical logic usually)
UnkleRhaukus
  • UnkleRhaukus
probability, statistics, discrete math
UnkleRhaukus
  • UnkleRhaukus
geometry
anonymous
  • anonymous
Exactly which sort of logic are we talking about?
UnkleRhaukus
  • UnkleRhaukus
where do you think is best for this question \[(1,2)\cap[2,3)=\]
anonymous
  • anonymous
Set Theory = Metamath Applications of Set theory = The area in which it is being applied.
UnkleRhaukus
  • UnkleRhaukus
im talking about these operators \(\neg,\land,\lor,\Rightarrow,\Leftrightarrow,\exists,\forall,|\)
anonymous
  • anonymous
Again, you have to distinguish between the theory and the applications
anonymous
  • anonymous
The theory is that of formal systems (First order logic and in general, nth order logics).
UnkleRhaukus
  • UnkleRhaukus
well im doing a course you see, and we have covered all the above operators , then some stuff on proof, ( like proof of \(\sqrt{2}\not\in\mathbb Q\}\) and now we are starting some set theory
anonymous
  • anonymous
Yes, these are all connected...
UnkleRhaukus
  • UnkleRhaukus
\[\{,(,[,\cup,\cap,\]
UnkleRhaukus
  • UnkleRhaukus
i feel there should be a single subtopic that can accommodate all these, maybe it is just maths
anonymous
  • anonymous
propositional logic - simple declarative propositions, first-order logic - covers predicates and quantification as well
anonymous
  • anonymous
These are then used in ZFC (a formal mathematical system) to prove things using the language of sets
anonymous
  • anonymous
At a very abstract level, I would call this metamath. Otherwise, it would depend on where it was being applied.
UnkleRhaukus
  • UnkleRhaukus
yeah
anonymous
  • anonymous
However it does seem to be to be very algebraic in nature.
UnkleRhaukus
  • UnkleRhaukus
my main reason for disliking metamath as the best option, is that the OS group dosent have much history of use of these symbols
anonymous
  • anonymous
Basically, I agree, we could get along fine without this subgroup and instead maybe have one called "Proofs, Logic and Sets" or something like that.
lgbasallote
  • lgbasallote
logic is under discrete mathematics......
anonymous
  • anonymous
I have seen people say that logic (and set theory/proofs) is a part of discrete math but I fail to see why that should be, logic, proof and set theory is applied across all of mathematics.
lgbasallote
  • lgbasallote
if you consider logic to be under mathematics, then it's under discrete mathematics. Otherwise, you might as well consider logic to be under philosophy
anonymous
  • anonymous
If it is the theory of mathematical logic then it is definitely metamathematics, the applications could be anywhere but to me the usage seems most like algebra (symbolic manipulation according to some rules). There are a lot of things under the heading "logic", it depends what u mean and whether you are talking about applications or theory.
shadowfiend
  • shadowfiend
That's a good question. Keep in mind that if you can't find a valid subtopic, you can absolutely just post it directly in math. That said, you're right that set theory and formal logic could probably use some sort of subtopic. I feel like lumping proofs in there is random and unnecessary, however (despite the fact that proofs often rely on formal logic). Perhaps a logic & sets topic? The correlation there is stronger, I feel.
swissgirl
  • swissgirl
Well Discrete math is basically compromised of Logic, Set Theory, Relations, Cardinality, Functions such as mapping a function onto or one to one and sometimes graph theory. So I guess you would ask a logic question in the Discrete math section.
anonymous
  • anonymous
@swissgirl Well (deleted) math is basically compromised of Logic, Set Theory, Relations, Cardinality, Functions such as mapping a function onto or one to one and sometimes graph theory. So I guess you would ask a logic question in the (deleted) math section. :-)
swissgirl
  • swissgirl
As usual I didnt follow the joke lol

Looking for something else?

Not the answer you are looking for? Search for more explanations.