MATH
Login Or Sign up

List Question

15
39
Views

Constructing Truth Tables for Formulas with Variable Valuations

Published on
#discrete-mathematics #logic #propositional-calculus #computer-science #first-order-logic
74
Views

Give an interpretation where a predicate logic formula is true

Published on
#logic #propositional-calculus #computer-science #first-order-logic
1.5k
Views

How to prove that Gödel's Incompleteness Theorems apply to ZFC?

Published on
#logic #set-theory #predicate-logic #first-order-logic #incompleteness
68
Views

For an L-structure $M$, and a formula $\phi$, in which of the cases does $M \models \phi(x/2)$?

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

What does "decidability" of a Model mean exactly?

Published on
#model-theory #first-order-logic
97
Views

Let $M$ and $N$ be $L$-Structures, $h\colon M \cong N$ an isomorphism. Show $h$ is an elementary map.

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

Show that: A is consistent iff Ded(A) does not equal Fml(L)

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

Definable relations in given structure (first order logic)

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

Would a "Prenex Sum of Products" be canonical?

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

Prove that for an arbitrary (possibly infinite) language, that for a finite L-structure $M$, if $M \equiv N$ then $ M \cong N$

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

The definition of term in Enderton's Logic book

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

Determining the negation of a logical statement?

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

First Order Logic and groups: Prove that no $T$ exists such that $M \vDash T \cup T_{grp}$ **IFF**

Published on
#group-theory #first-order-logic
676
Views

How to rewrite a theorem in symbolic logic?

Published on
#logic #first-order-logic
1.4k
Views

First Order Logic: Prove that the infinitely many twin primes conjecture is equivalent to existence of infinite primes

Published on
#number-theory #model-theory #first-order-logic #twin-primes

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.