MATH
Login Or Sign up

List Question

15
79
Views

How to distinguish gibberish from legitimate expressions in formal languanges?

Published on
#logic #reference-request #formal-languages
45
Views

How to prove $(\forall x)(\phi (x) \lor G) \equiv [(\forall x)\phi (x) \lor G]$?

Published on
#logic #predicate-logic #first-order-logic #quantifiers
51
Views

First order logic semantic resolution

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

First order logic Open formulas

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

Question on a proof of elementarily equivalent but not isomorphic

Published on
#logic #proof-explanation #model-theory
381
Views

Logical consequence equivalence proof

Published on
#logic #propositional-calculus
335
Views

Use quantifiers to express and then negate

Published on
#discrete-mathematics #logic #predicate-logic #first-order-logic #quantifiers
413
Views

Definition of arbitrarily large model in model theory

Published on
#logic #definition #first-order-logic
200
Views

Can a set of infinite groups be elementary class instead of elementary class in the wider sense?

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

Herbrand theorem works only with clauses

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

Clauses with costants and unification

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

A question on soundness and consistency of propositional logic

Published on
#logic #model-theory
217
Views

Problem with a basic lemma in Lambda Calculus

Published on
#logic #computer-science #lambda-calculus
39
Views

Logical functions

Published on
#logic #boolean-algebra
235
Views

How do I know what we already know in a proof when the assumptions we can use are even more complex?

Published on
#logic #proof-writing #soft-question

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.