MATH
Login Or Sign up

List Question

15
60
Views

confusion on a statement about truth

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

Counter examples in modal logic

Published on
#logic #examples-counterexamples #modal-logic #kripke-models
1.3k
Views

How Can the Peano Postulates Be Categorical If They Have NonStandard Models?

Published on
#logic #peano-axioms
117
Views

What is the least position a club in EPL can finish with 30 wins?

Published on
#logic #optimization #combinatorial-proofs
184
Views

Seeming contradiction of the tertium non datur principle through a logic problem

Published on
#logic #paradoxes
525
Views

Show that PA can prove the pigeon-hole principle

Published on
#logic #first-order-logic #model-theory #peano-axioms
109
Views

$T$ is not satisfiable, it holds that every formula is true in every model of T

Published on
#logic #notation #proof-explanation
540
Views

Check validity of given formula in First order logic

Published on
#logic #predicate-logic #first-order-logic
192
Views

CSG for the language $\{a^{n^2}|n>0\}$

Published on
#logic #formal-languages
1.3k
Views

Decidability and "truth value"

Published on
#logic #first-order-logic #model-theory #philosophy #incompleteness
210
Views

Prove or disprove: $\exists x \forall y \,\,\varphi \models \forall y \exists x \,\ \varphi$

Published on
#discrete-mathematics #logic #first-order-logic #model-theory #quantifiers
122
Views

Predicate logic: Natural deduction: Introducing universal quantifier

Published on
#logic #predicate-logic #natural-deduction
55
Views

I am kind of lost in what do I do from here in Propositional Logic Identities. Please help

Published on
#discrete-mathematics #logic #propositional-calculus
223
Views

Deduce formula from set of formulas

Published on
#logic #first-order-logic #natural-deduction
318
Views

How to prove that a axiom in a certain system is independent of the other ones?

Published on
#logic #set-theory

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.