MATH
Login Or Sign up

List Question

15
28
Views

Symbolically expressing a certain statement

Published on
#predicate-logic #quantifiers
244
Views

Existential Instantiation Intuition

Published on
#logic #proof-writing #predicate-logic #quantifiers
37
Views

Meaning of predicate logic

Published on
#logic #propositional-calculus #predicate-logic
777
Views

The nature of variables within proofs

Published on
#discrete-mathematics #proof-writing #predicate-logic
282
Views

Formal proof for first-order logic question using natural deduction

Published on
#logic #first-order-logic #predicate-logic #natural-deduction #formal-proofs
67
Views

Understanding the proof of $\sim\!\!(\forall x)A(x)\!\iff\!(\exists x)\sim \!\! A(x)$

Published on
#logic #predicate-logic #quantifiers
523
Views

Two forms of Generalization Rule in logic

Published on
#logic #predicate-logic #quantifiers
73
Views

How can I express this mathematical English statement "Let $X$ and $Y$ be finite sets" in the first-order language?

Published on
#real-analysis #analysis #first-order-logic #predicate-logic
72
Views

Showing that formulae which are provably $Σ_n$ and $Π_n$ ($n > 0$) in the arithmetical hierarchy are closed under $∃$ and $∀$ respectively

Published on
#logic #set-theory #first-order-logic #predicate-logic #incompleteness
42
Views

Finding out whether a predicate logic formula is true or false.

Published on
#predicate-logic
175
Views

Unary predicates theory with no principal types

Published on
#logic #first-order-logic #predicate-logic #model-theory
42
Views

What's the first-order logical expression of this statement?

Published on
#elementary-set-theory #first-order-logic #predicate-logic
58
Views

How to express this axiom in first-order logic

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

Proving that unary predicates theory has no $T$-complete formulas

Published on
#logic #first-order-logic #predicate-logic #model-theory #satisfiability
376
Views

Interpretation using First-order logic

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