MATH
Login Or Sign up

List Question

15
48
Views

I don't understand the equivalence between these two logic formulae

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

Constructing logical sentences that involve negative integers over the nonnegative integers

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

Is there a (many-sorted) first- or second-order definition for graded rings?

Published on
#logic #model-theory #first-order-logic #graded-rings
240
Views

free variable in conversion to prenex form

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

Proving a biconditional relation between wfs $B$ and $C$, where $C$ is obtained by erasing all quantifiers from $B$

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

Write universal quantifier in terms of existential quantifier

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

FOL application expression

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

How universal and existential quantifiers relate to each other?

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

Question about free variables in mathematical logic

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

First Order Theory with Linear Ordering

Published on
#first-order-logic #formal-languages #decidability
73
Views

Constructing sentences for first-order logic models

Published on
#first-order-logic
87
Views

What is the meaning of $\forall x: \exists y:(x+y=0)$?

Published on
#logic #first-order-logic #quantifiers
515
Views

Is metric (Cauchy) completeness "outside the realm" of first order logic?

Published on
#analysis #logic #soft-question #model-theory #first-order-logic
386
Views

Undecidability of predicate logic: schemas/formulas which are neither valid nor invalid

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

Logical truth question

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

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.