MATH
Login Or Sign up

List Question

15
382
Views

Discrete mathematics, antecedent and subsequent of an implication logic

Published on
#discrete-mathematics #logic #first-order-logic
358
Views

Lukasiewicz logic, deduction theorem and complete calculi

Published on
#logic #proof-theory #nonclassical-logic
140
Views

Are there "structure-specific" logical axiomatic systems? Do these have extra power?

Published on
#logic #arithmetic #first-order-logic #incompleteness #peano-axioms
36
Views

How to express statement in $\mathcal{L}_A$?

Published on
#logic #first-order-logic
87
Views

Proving complicated predicate calculus sequent

Published on
#logic #first-order-logic #predicate-logic #quantifiers #natural-deduction
322
Views

How to prove Generalized DeMorgan's Laws

Published on
#discrete-mathematics #logic #proof-writing #propositional-calculus
81
Views

Logic Laws and Sets

Published on
#discrete-mathematics #elementary-set-theory #logic
1.2k
Views

Why isn't the axiom of extensionality considered a definition of equality?

Published on
#elementary-set-theory #logic #terminology #axioms
282
Views

Where does $\forall xP(x,x)\land\forall x\forall y( P(x,y)\rightarrow\forall z( P(x,z)\land P(y,z) ) )\rightarrow \exists x\forall yP(y,x)$ not hold?

Published on
#logic #first-order-logic
300
Views

Precise definition of relative consistency in Kunen's "Set Theory"

Published on
#logic #set-theory #proof-theory #finitism
39
Views

Propositional variables confusion

Published on
#logic #self-learning #intuition
156
Views

What kinds of variables range over proofs?

Published on
#logic #terminology #constructive-mathematics #type-theory #intuitionistic-logic
389
Views

Negation of uniqueness quantification in first-order logic

Published on
#logic #first-order-logic #quantifiers
195
Views

Are statements of arithmetic without logical negation or existential quantifiers decidable?

Published on
#logic #incompleteness #peano-axioms
291
Views

Understanding the "Ecological Fallacy" in Statistics/Logic

Published on
#logic

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.