MATH
Login Or Sign up

List Question

15
37
Views

Analyzing logical form clarification

Published on
#elementary-set-theory #logic #proof-explanation #first-order-logic #predicate-logic
143
Views

Is there a first order formula that is satisfied by $\mathbb{N}$, but not by any other models of Peano axioms?

Published on
#logic #first-order-logic #predicate-logic #peano-axioms #nonstandard-models
57
Views

If $B$ is a generalised subformula of $\textbf{Q}xA$ then there exists a free term $t$ such that $B$ is a generalised subformula of $[A]_t^x$

Published on
#logic #solution-verification #predicate-logic #proof-theory
266
Views

Is the wf $B \to \forall x B$ logically valid?

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

Applications of intuitionistic logic

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

How to prove that $\forall_a [a\in R \implies (-a) \in R]$ using additive inverse axiom?

Published on
#group-theory #logic #predicate-logic
150
Views

Does the sentence "prove that two things are equal" has a sense?

Published on
#logic #predicate-logic
347
Views

Applications of intuitionistic logic in programming

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

Existential quantifier looks fallacious

Published on
#discrete-mathematics #logic #predicate-logic #quantifiers
40
Views

Negating a certain if-then statement in English involving a quantifier

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

Explanation for this Limitation of 1-Order Logic Concerning Supremum

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

Converting to predicate logic

Published on
#discrete-mathematics #logic #proof-writing #predicate-logic #logic-translation
49
Views

Consider the statement S and answer the following.

Published on
#logic #solution-verification #propositional-calculus #predicate-logic
119
Views

Is there a difference between $\exists x(\phi(x) \rightarrow \forall y\phi(y))$ and $\exists x \phi(x) \rightarrow \forall y\phi(y)$?

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

Does tense matter in propositional logic [negation. contrapositive, converse]?

Published on
#logic #solution-verification #computer-science #propositional-calculus #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.