MATH
Login Or Sign up

List Question

15
45
Views

Question about the representability of a relation

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

Unprovability of $\exists x\forall u\exists y((R(x,x)\vee\neg R(x,u))\vee(R(y,x)\&\neg R(y,u)))$

Published on
#logic #solution-verification #predicate-logic #model-theory #proof-theory
749
Views

Converting an English sentence to WFF

Published on
#logic #predicate-logic #logic-translation
335
Views

How do you represent the following sentence in first-order logic?

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

Logic Identity for $\mathcal{(A'B)}$+$\mathcal{(AB')}$

Published on
#logic #propositional-calculus #predicate-logic #boolean-algebra
74
Views

Upward Löwenheim-Skolem theorem without equality

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

Truth of a sentence in predicate logic

Published on
#logic #predicate-logic
73
Views

Confusion about the proof of the Metatheorem on Constants in predicate logic

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

How to correctly understand a Corollary of the Metatheorem on Constants in predicate logic

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

Is $\exists x \, \forall y : P(x,y)$ equivalent to $\exists x : P(x,y) \; \forall y$?

Published on
#predicate-logic #quantifiers
53
Views

Is my logical quantifier representation of "The natural number n > 1 is a prime" correct?

Published on
#logic #predicate-logic #quantifiers #logic-translation
43
Views

Dealing with a symbol not in the language L

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

Logic - Natural Language vs. Symbolic Form Confusion

Published on
#logic #predicate-logic #quantifiers
97
Views

Formal logic question - why is this invalid?

Published on
#logic #predicate-logic
39
Views

How can I draw the link between negation inconsistency and this result?

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