MATH
Login Or Sign up

List Question

15
133
Views

Question about deduction in first order logic

Published on
#logic #predicate-logic #first-order-logic #natural-deduction
56
Views

Lemma concerning compatibility of words (formed by a term algebra)

Published on
#proof-verification #proof-writing #first-order-logic #universal-algebra
236
Views

Appearance of other quantifiers in rules of conversion to prenex normal form.

Published on
#first-order-logic
1.7k
Views

How to find out if a set of formulas in first order language is inconsistent?

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

Formal proof of a very simple fact.

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

Showing that a formula is inconsistent.

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

Proof strategy involving first order logic for existential quantification at very beginning

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

How to define new constants in Tableaux Method of predicate logic

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

Equivalence of first order logic formulas

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

Let $\alpha$ be any cardinal. There are at most $2^{\alpha \cup ||\mathscr{L}||}$ nonisomorphic models for $\mathscr{L}$ of power $\alpha$

Published on
#logic #model-theory #first-order-logic
2.6k
Views

Substituting two variables in a first order logic formula (free and bounded variables)

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

What is the idea behind "representability" in a first order theory?

Published on
#logic #intuition #first-order-logic
201
Views

Presburger arithmetic and finite model property

Published on
#first-order-logic #model-theory #presburger-arithmetic
190
Views

Skolem functions in the real ordered field.

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

Proving logical equivalences

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