MATH
Login Or Sign up

List Question

15
183
Views

Proving the schema of separation from replacement

Published on
#set-theory #first-order-logic
1.9k
Views

Find the truth value of... empty set?

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

Exchanging RAA with double negation: is this valid?

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

Translate into first order logic: "$a, b, c$ are the lengths of the sides of a triangle"

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

Primitive recursive functions of bounded sum

Published on
#logic #first-order-logic #recursion #incompleteness
260
Views

Show formula which does not have quantifier elimination in theory of infinite equivalence relations.

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

Logical Connectives and Quantifiers

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

Is this proof correct? (Proof Theory)

Published on
#proof-verification #logic #predicate-logic #first-order-logic #proof-theory
705
Views

Is there only a finite number of non-equivalent formulas in the predicate logic?

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

How to build a list of all the wfs (well-formed sentences)?

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

What would be the function to make a formula false?

Published on
#logic #examples-counterexamples #predicate-logic #first-order-logic #model-theory
182
Views

Maximal independency vs. Independent axiomatization

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

confusion on a statement about truth

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

Show that PA can prove the pigeon-hole principle

Published on
#logic #first-order-logic #model-theory #peano-axioms
539
Views

Check validity of given formula in First order logic

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