MATH
Login Or Sign up

List Question

15
797
Views

Semantic proofs to syntactic proofs

Published on
#logic #first-order-logic #predicate-logic #formal-proofs
427
Views

Negating first order logic

Published on
#logic #first-order-logic #predicate-logic #logic-translation
394
Views

Relation between depth and lenght of a formula in First-Order Logic

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

Impredicativity in first order logic

Published on
#logic #set-theory #first-order-logic #predicate-logic
103
Views

logical equivalence in predicate logic

Published on
#discrete-mathematics #logic #first-order-logic #predicate-logic #logic-translation
1.6k
Views

Why does Skolemming not preserve validity?

Published on
#logic #first-order-logic #satisfiability
124
Views

Confusion in determining an argument's validity?

Published on
#discrete-mathematics #logic #propositional-calculus #first-order-logic #logic-translation
119
Views

Is $[[\varphi]]$ a common notation for the set of $x$ satisfying a predicate $\varphi(x)$ in a specified model?

Published on
#logic #notation #first-order-logic #predicate-logic
58
Views

Completeness and homomorphisms between models

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

Weakest theory equi-consistent to ZFC

Published on
#logic #first-order-logic #predicate-logic #formal-proofs
641
Views

Negation of First Order Predicate Logic Example

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

Numeralwise expressibility in logic

Published on
#elementary-number-theory #logic #first-order-logic
207
Views

Why does my proof fail to show the logical equivalence of (∀x)(Fx v Gx) ⊢ (∀x)Fx v (∀x)Gx?

Published on
#logic #first-order-logic #predicate-logic #fake-proofs
195
Views

Is the subset of FOL with no function symbols and no predicates of arity > 1 decidable?

Published on
#first-order-logic
66
Views

Can any 1st-order proof be expressed with an SMT?

Published on
#logic #first-order-logic #satisfiability #automated-theorem-proving

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.