MethodMath
Mathematical Logic
11 questions

Propositional and predicate logic, set theory axioms, computability theory, Gödel's theorems, and model theory.

Login to follow

Questions about Mathematical Logic

WT
Updated May 14, 2026

Question details

How to prove that a relation is an equivalence relation and find its equivalence classes?

I am studying discrete mathematics and I need to understand equivalence relations. A relation ∼ on a set S is an equivalence relation if it is: 1. Reflexive: a ∼ a for all a ∈ S 2. Symmetric: a ∼ b ⇒ b ∼ a 3. Transitive: a ∼ b and b ∼ c ⇒ a ∼ c My questions: 1. How do I prove that the relation a ∼ b iff a - b is even on ℤ is an equivalence relation? 2. What are equivalence classes and how do I find them? 3. How does an equivalence relation partition the set? 4. What is the connection between equivalence relations and functions? 5. How do equivalence relations relate to the concept of quotients (like ℤₙ)? I want to see the complete proof and the resulting partition.

more
164
SR
Updated May 9, 2026

Question details

Intuitive explanation of Bayes' Theorem with real-world examples

I'm studying probability and I understand the formula for Bayes' Theorem: P(A|B) = P(B|A)P(A)/P(B) But I struggle to understand when to apply it. The theorem feels backwards somehow — we are using P(B|A) to find P(A|B). Why would we ever know P(B|A) but not P(A|B)? Could someone provide a concrete real-world example where Bayes' Theorem is used, perhaps in medical testing or spam filtering?

more
1273
IM
Updated May 6, 2026

Question details

How to prove a function is injective, surjective, or bijective?

I'm studying discrete mathematics and I need to understand the three types of functions. Definitions: - Injective (one-to-one): f(x₁) = f(x₂) ⇒ x₁ = x₂ - Surjective (onto): For every y in the codomain, there exists x such that f(x) = y - Bijective: Both injective and surjective I understand the definitions but I struggle with the proof techniques. For example, how would I prove that f: ℝ \ o ℝ defined by f(x) = 3x + 2 is bijective? And how would I disprove injectivity or surjectivity for something like f(x) = x²? Also, what is the relationship between bijections and inverse functions?

more
1142
MO
Updated May 4, 2026

Question details

How to solve a system of linear equations using Gaussian elimination?

I'm studying linear algebra and I need to solve systems of equations using Gaussian elimination. For example: \begin{align*} x + 2y + 3z &= 9 \\ 2x - y + z &= 8 \\ 3x - z &= 3 \end{align*} I know I need to form an augmented matrix and use row operations to reach row-echelon form. But what are the allowed row operations? And how do I know when I've reached the correct form? Should I aim for row-echelon form or reduced row-echelon form (RREF)?

more
1265
SR
Updated Apr 27, 2026

Question details

How to count the number of ways to arrange books on a shelf with restrictions?

I'm studying combinatorics and I'm stuck on a problem involving permutations with restrictions. Problem: \"How many ways can 5 distinct mathematics books and 3 distinct physics books be arranged on a shelf if all books of the same subject must be together?\" I know the answer involves 5! \ imes 3! \ imes 2!, but I want to understand why. Also, what if the restriction changes to \"mathematics books must be together\" but physics books can be anywhere? How does the counting change?

more
1294
ZP
Updated Apr 21, 2026

Question details

What is the physical meaning of the Laplace transform?

I understand how to compute Laplace transforms using the formula: L f(t) = F(s) = ∫₀^(∞) e^(-st) f(t) dt And I can solve ODEs using Laplace transforms. But I don't have physical intuition for what the Laplace transform actually means. The Fourier transform decomposes a signal into frequencies, which is intuitive. Is there a similar physical interpretation for the Laplace transform? Why do we use s instead of iω?

more
1330
ZP
Updated Apr 15, 2026

Question details

Intuitive explanation of the epsilon-delta definition of a limit

I am struggling with the ε-δ definition of a limit in my Real Analysis class: \lim_(x \ o a) f(x) = L ⇔ ∀ ε > 0, ∃ δ > 0 \ ext such that 0 < |x - a| < δ ⇒ |f(x) - L| < ε I understand the mechanics of using it to prove limits, but I lack intuition. Why do we use ε and δ? What does this definition really mean in plain English? Can someone provide a concrete geometric interpretation?

more
1323
LH
Updated Apr 9, 2026

Question details

How to construct truth tables and prove logical equivalence in propositional logic?

I am learning discrete mathematics and I need help with propositional logic. I understand the basic connectives: \land (and), \lor (or), ¬ (not), → (implies), \leftrightarrow (iff). My questions: 1. How do I construct a truth table for a compound proposition like ¬(p \lor q) \leftrightarrow (¬ p \land ¬ q)? 2. What does it mean for two propositions to be logically equivalent? 3. How do I prove De Morgan's laws without truth tables? 4. What is the difference between a tautology, contradiction, and contingency? Also, how can I simplify (p → q) \land (p → r) into a single implication?

more
1207
IM
Updated Apr 6, 2026

Question details

How to prove that the derivative of sin x is cos x using the limit definition?

I'm in a calculus class and we proved that d/dx sin x = cos x using the limit definition of the derivative: d/dx sin x = \lim_(h \ o 0) sin(x+h) - sin x/h But the proof uses the identity sin(A+B) = sin A cos B + cos A sin B and then relies on two special limits: \lim_(h \ o 0) sin h/h = 1 \ ext and \lim_(h \ o 0) cos h - 1/h = 0 How are these two limits proved? They seem to rely on geometric arguments about the unit circle. Could someone show the complete geometric proof?

more
1185
LH
Updated Apr 2, 2026

Question details

What is the difference between absolute and conditional convergence?

In my AP Calculus BC class, we are studying infinite series and I am confused about the distinction between absolute convergence and conditional convergence. I understand that if ∑ |aₙ| converges then ∑ aₙ converges absolutely. But what does it really mean for a series to be conditionally convergent? Can someone provide an intuitive explanation with an example like the alternating harmonic series? Also, why does the rearrangement theorem (Riemann series theorem) only apply to conditionally convergent series?

more
192