MATH
Login Or Sign up

List Question

15
153
Views

Is ZFC a first- or third-order theory?

Published on
#logic #set-theory #first-order-logic
351
Views

First Order Logic knowledge base problem

Published on
#first-order-logic #predicate-logic #automated-theorem-proving #theorem-provers #finite-state-machine
79
Views

Resolution proof in first-order logic

Published on
#first-order-logic
109
Views

What's the intuition behind $(\exists y)(\mathscr{C}(y)\supset\mathscr{D})\supset((\forall x)\mathscr{C}(x)\supset\mathscr{D})$

Published on
#logic #intuition #first-order-logic
111
Views

Is there a combined theory of the Reals and the Naturals that has a model where the Naturals and Reals have the same cardinality

Published on
#first-order-logic #nonstandard-models
60
Views

Mathematical logic problem on Mr. M

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

Logic & Negation

Published on
#logic #first-order-logic #predicate-logic #quantifiers #logic-translation
852
Views

If $\Gamma$ is satisfiable then $\Gamma$ is consistent

Published on
#first-order-logic
306
Views

Proof explanation of invalidity implying a non-tautology

Published on
#proof-explanation #propositional-calculus #first-order-logic #predicate-logic #formal-systems
35
Views

Order of operators in Logic

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

Possible Worlds Semantics and Modal Logic

Published on
#logic #first-order-logic #modal-logic
150
Views

Does every first order theory have a pointwise definable model?

Published on
#first-order-logic #model-theory
859
Views

There is a book of mathematical logic that doesn't use informal arguments to build it theory?

Published on
#first-order-logic #book-recommendation
123
Views

Questions about the statement "Every number can be specified by less than twenty words."

Published on
#logic #first-order-logic #fake-proofs #meta-math
97
Views

Requiring the isomorphism between two FOL interpretations to be a bijection when proving they are elementary equivalent

Published on
#logic #first-order-logic #model-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.