MATH
Login Or Sign up

List Question

15
93
Views

Can you deduce an statement from the two statements "No B is an A" and "Some C are B"

Published on
#logic #predicate-logic
306
Views

Why isn't there a contradiction between compactness and the Archimedean property when we create non-standard models of real numbers?

Published on
#logic #predicate-logic #nonstandard-models
174
Views

First order logic - Identity. Show $\vDash \forall x\exists y (x = y)$.

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

Push down quantifiers and simplification of a FOL formula

Published on
#first-order-logic #predicate-logic #quantifiers
59
Views

Is there a way to define universal quantification in such a way, that I can prove$\forall xPx\land Q\iff \forall x(Px\land Q)$ and similar statements?

Published on
#proof-writing #induction #propositional-calculus #first-order-logic #predicate-logic
418
Views

If the cat is on the mat then that cat exists

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

How to interpret an identity like $\sin(A+B) ≡ \sin(A)\cos(B)+\cos(A)\sin(B)$ using quantifiers?

Published on
#algebra-precalculus #logic #terminology #predicate-logic
708
Views

How do we tell whether ‘some’ means Exactly one or At least one?

Published on
#logic #terminology #predicate-logic #logic-translation
480
Views

Proving the Fibonacci numbers, the odd numbers and other sets are spectra

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

Guarded fragment is convertible to ExistsForall?

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

For any first order sentence $A$ at least one of $\mathrm{Sp}(A)$ or $\mathrm{Sp}(\neg A)$ is cofinite

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

Differentiating between two notions of being a complete set of sentences in some first-order language

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

Can two non tautologically equivalent propositional-logic statements be quantified into formalisations of the same natural language statement?

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

Tricky proof of ∃x∃yfxy → ∃y∃xfxy using natural deduction - help appreciated!

Published on
#logic #first-order-logic #predicate-logic #natural-deduction
35
Views

Finding a mathematical model that disproves a sequent's validity

Published on
#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.