MATH
Login Or Sign up

List Question

15
427
Views

Negating first order logic

Published on
#logic #first-order-logic #predicate-logic #logic-translation
393
Views

Relation between depth and lenght of a formula in First-Order Logic

Published on
#logic #first-order-logic #predicate-logic
1.3k
Views

Expressing "Every even number is the difference of two primes" in symbols

Published on
#predicate-logic #quantifiers
22
Views

Predicates and true statements

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

Impredicativity in first order logic

Published on
#logic #set-theory #first-order-logic #predicate-logic
64
Views

Understanding requirement of logic question

Published on
#logic #predicate-logic
103
Views

logical equivalence in predicate logic

Published on
#discrete-mathematics #logic #first-order-logic #predicate-logic #logic-translation
118
Views

Is $[[\varphi]]$ a common notation for the set of $x$ satisfying a predicate $\varphi(x)$ in a specified model?

Published on
#logic #notation #first-order-logic #predicate-logic
125
Views

Unexpected definition of structure in predicate logic

Published on
#logic #predicate-logic
630
Views

What are some examples of ∃x (P(x) <-> Q(x)) and (∃xP(x)) <-> (∃xQ(x)) not being logically equivalent to each other

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

Weakest theory equi-consistent to ZFC

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

Express $x\geq 0$ in the specified language

Published on
#logic #predicate-logic
135
Views

Logic: Can the computation of a predicate "leave" the universe of discourse and still be valid?

Published on
#elementary-set-theory #logic #predicate-logic
564
Views

Formally how does one show that if $\Sigma$ is consistent and $\Sigma \vdash p$ then $\Sigma \cup \{ p\}$?

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

Why does my proof fail to show the logical equivalence of (∀x)(Fx v Gx) ⊢ (∀x)Fx v (∀x)Gx?

Published on
#logic #first-order-logic #predicate-logic #fake-proofs

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.