MATH
Login Or Sign up

List Question

15
199
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
501
Views

Exchanging RAA with double negation: is this valid?

Published on
#logic #predicate-logic #first-order-logic
80
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
590
Views

Primitive recursive functions of bounded sum

Published on
#logic #first-order-logic #recursion #incompleteness
270
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
144
Views

Is this proof correct? (Proof Theory)

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

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

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

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

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

What would be the function to make a formula false?

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

Maximal independency vs. Independent axiomatization

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

confusion on a statement about truth

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

Show that PA can prove the pigeon-hole principle

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

Check validity of given formula in First order logic

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

Trending Questions

Popular # Hahtags

geometry circles algebraic-number-theory functions real-analysis elementary-set-theory proof-verification proof-writing number-theory elementary-number-theory puzzle game-theory calculus multivariable-calculus partial-derivative complex-analysis logic set-theory second-order-logic homotopy-theory winding-number ordinary-differential-equations numerical-methods derivatives integration definite-integrals probability limits sequences-and-series algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.