MATH
Login Or Sign up

List Question

15
88
Views

How to express "$a \leq x \leq a + \frac{y}{n} $ for every $n \geq 1$, then $x = a$" using quantifiers

Published on
#discrete-mathematics #logic #real-numbers #predicate-logic #quantifiers
82
Views

Finding counterexamples for $\models\exists x\alpha$ and $\models\alpha(x/c)$.

Published on
#logic #computer-science #first-order-logic #predicate-logic #model-theory
45
Views

Give a semantic proof of $\alpha(x/t)\rightarrow\exists x \alpha$.

Published on
#logic #computer-science #first-order-logic #predicate-logic
77
Views

Replace an axiom of propositional calculus formal system P.

Published on
#logic #propositional-calculus #first-order-logic #predicate-logic
86
Views

Is it possible to define the notion of substitution without the notion of free and bound variables?

Published on
#logic #definition #first-order-logic #predicate-logic
57
Views

Prove $((\exists x_i)\mathcal{A}\rightarrow\mathcal{B}) \rightarrow(\forall x_i)(\mathcal{A}\rightarrow\mathcal{B})$ (no free $x_i$ occurences in B)?

Published on
#logic #predicate-logic
288
Views

how to check an equivalence in first-order logic?

Published on
#logic #propositional-calculus #first-order-logic #predicate-logic #quantifiers
204
Views

(Fake proof) How are axiom schemas not "set theory in sheep's clothing"?

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

Show that $\{A_{\alpha}: \alpha\in I\}$ is a set using the axiom of replacement in ZFC

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

How is "so" correctly translated into predicate logic?

Published on
#logic #notation #predicate-logic #logic-translation
64
Views

About formula deducibility from theory

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

Prob. 50, Sec. 1.5, in Rosen's DISCRETE MATHEMATICS, 8th ed: Converting quantified statements into Prenex Normal Form

Published on
#logic #solution-verification #propositional-calculus #predicate-logic #quantifiers
129
Views

$x^2=4 \implies \exists x{=}2(x^2=4)$

Published on
#analysis #logic #predicate-logic #quantifiers
114
Views

What (if anything) is the difference between propositional constants and propositional variables in first-order logic

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

Equational axioms for quantifiers

Published on
#logic #predicate-logic #quantifiers #axioms #algebraic-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.