MATH
Login Or Sign up

List Question

15
73
Views

Deriving a sentence - Predicate logic

Published on
#logic #predicate-logic #first-order-logic #natural-deduction
224
Views

Using implication and equality

Published on
#algebra-precalculus #logic
168
Views

Variations in the Statement of Strong Induction: Equivalent or Different?

Published on
#logic #induction #peano-axioms #formal-proofs
132
Views

Quantifier Order in Cauchy Convergence

Published on
#real-analysis #logic #convergence-divergence #quantifiers
175
Views

Addition and multiplication are one and the same.....can this be generalized to any operators????

Published on
#abstract-algebra #logic
7.2k
Views

What would happen if we just made vacuous truths false instead?

Published on
#logic #soft-question #definition #propositional-calculus
664
Views

Quantified definition for "not a proper subset"

Published on
#elementary-set-theory #logic #quantifiers
1.4k
Views

If it's true that from a false premise we can prove anything, what does that really mean?

Published on
#logic #soft-question #definition
96
Views

Is it to say that whenever we use mathematical induction, we're inevitably admitting Peano axioms for $\Bbb N$ indeed?

Published on
#logic #induction #peano-axioms
115
Views

Literature about decidable and undecidable theories

Published on
#logic #reference-request #decidability
414
Views

Confusion about Axiom of Choice

Published on
#elementary-set-theory #logic #axiom-of-choice #foundations
86
Views

Mathematical induction - the set version v.s. predicate version

Published on
#logic #induction #set-theory #peano-axioms
765
Views

Natural deduction: swapping equivalent formulas or definitions

Published on
#logic #propositional-calculus #proof-theory #natural-deduction
748
Views

Prove that $x=-1$ if and only if $x^3+x^2+x+1=0$

Published on
#proof-verification #logic #proof-writing
116
Views

Priority of logical operations

Published on
#discrete-mathematics #logic #boolean-algebra

Trending Questions

Popular # Hahtags

second-order-logic numerical-methods puzzle logic probability number-theory winding-number real-analysis integration calculus complex-analysis sequences-and-series proof-writing set-theory functions homotopy-theory elementary-number-theory ordinary-differential-equations circles derivatives game-theory definite-integrals elementary-set-theory limits multivariable-calculus geometry algebraic-number-theory proof-verification partial-derivative algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.