MATH
Login Or Sign up

List Question

15
93
Views

Signature without equality

Published on
#logic #predicate-logic
119
Views

Predicate and propositional logic

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

Set of sentences in L with no non-logical symbols that are satisfiable iff L-structure is even

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

Why aren't these logically equivalent? How can I show this?

Published on
#logic #predicate-logic #quantifiers
1.2k
Views

I don't get how "universal generalization" works? is my understanding of UI, EI, EG. correct?

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

First order logic variable without quantifiers

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

First order formula that is true in a structure with $f(x)=x^2$ but not in a structure with $f(x)=x^3$

Published on
#logic #predicate-logic #model-theory
189
Views

How to construct a model to satisfy first order logic sentences

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

Is it possible to express the following in First Order logic?

Published on
#logic #first-order-logic #predicate-logic #model-theory
1.7k
Views

How to symbolize this "only" statement in first-order logic?

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

Help understand truth value of $\exists !\,x\;P(x) \implies \exists x\;P(x)$

Published on
#discrete-mathematics #logic #predicate-logic
128
Views

Upward Lowenheim Skolem use

Published on
#logic #predicate-logic #model-theory
67
Views

Should $\to$-elimination always have precedence over $\lnot$-elimination when transforming formulas to Prenex CNF?

Published on
#logic #first-order-logic #predicate-logic #quantifiers #automated-theorem-proving
411
Views

Is there a notation for a mutually exclusive set of propositions/predicates?

Published on
#notation #predicate-logic
388
Views

Relations between the "$\forall$" quantifier and integration

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