MATH
Login Or Sign up

List Question

15
85
Views

Expressing that a tree has an even number of nodes in monadic second order logic

Published on
#logic #predicate-logic #trees
89
Views

Finding the simplest logically equivalent formula

Published on
#discrete-mathematics #solution-verification #predicate-logic
375
Views

Understanding why does universal generalization work.

Published on
#discrete-mathematics #logic #first-order-logic #predicate-logic
31
Views

Predicates that look like negation to each other.

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

Consider the language of groups. Show that the theory $T= \{\sigma\mid A\vDash\sigma\}$ is a Henkin theory, where $A$ is a fixed nontrivial group.

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

Must skolem functions depend on unused variables?

Published on
#logic #first-order-logic #predicate-logic #quantifiers #quantifier-elimination
42
Views

Negation statement a net

Published on
#predicate-logic #nets
35
Views

Moving the universal quantifier when some statement is independent of the corresponding variable

Published on
#predicate-logic
204
Views

A confusion on baisc conditional statement. Logical falsehood entails everything as long as antecedent is not universally true?

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

Finding truth value through the division of variables in predicate logic

Published on
#logic #predicate-logic
132
Views

Show that PA has a denumerable model that is not isomorphic to N

Published on
#predicate-logic #metalogic
217
Views

Mendelson logic exercise 2.31.e solution attempt.

Published on
#logic #solution-verification #first-order-logic #predicate-logic
91
Views

Finding $\theta$ such that $\mathfrak{B} \models \theta$ implies a nice property

Published on
#logic #proof-explanation #predicate-logic #model-theory #proof-theory
166
Views

Translating sentences into first-order logic

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

How to prove that predicates are not equivalent?

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