MATH
Login Or Sign up

List Question

15
256
Views

Natural deduction: predicate logic proof (Prenex form)

Published on
#logic #first-order-logic #predicate-logic #natural-deduction #formal-proofs
34
Views

Why is a relation that is $\Sigma-$representable not an IFF condition?

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

Why is $Th(\Sigma) := \{ \sigma : \Sigma \vdash \sigma \}$ an L-theory?

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

How does one show that the Godel number of $L-$terms are computable?

Published on
#logic #first-order-logic #predicate-logic #computability
211
Views

What does it mean for a set of L-sentences $\Sigma$ to be computable?

Published on
#logic #predicate-logic #computability
61
Views

Formalisation of a given sentence using quantiifiers

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

Show that $(\exists x. P_1(x) \to P_2(x)) \to ((\forall y.P_1(y)) \to \exists z.P_2(z))$ is a true statement.

Published on
#proof-verification #logic #predicate-logic
120
Views

infinite and uncountable structures in specific classes of structures

Published on
#first-order-logic #predicate-logic #model-theory #proof-theory
199
Views

consistent Henkin theory with language that has only one constant symbol

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

logical equivalence between statements

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

$T \vdash \forall x (f(x)=x \vee \dots \vee f^{n}(x)=x)$ for $\omega$-categorical theories

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

why is $\exists z \forall x \forall y (x-y=z+2)$ false?

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

Question with Predicate logic

Published on
#logic #predicate-logic
234
Views

Prove that the topological closure of a set is definable if the set is definable

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

Predicate Logic Quantifiers Question

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