MATH
Login Or Sign up

List Question

15
534
Views

How to formalize a variable-binding operator, such like $\frac{d}{dx}$?

Published on
#functions #logic #predicate-logic #formal-languages
54
Views

drawing tableaus for predicate logic?

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

The right way of defining a predicate

Published on
#predicate-logic #provability #automated-theorem-proving
58
Views

Show that the formula is satisfiable

Published on
#logic #predicate-logic
516
Views

Show a formula is satisfiable

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

Are those formulas valid?

Published on
#logic #proof-verification #predicate-logic #first-order-logic
413
Views

Can an open formula be a tautology?

Published on
#logic #predicate-logic
2k
Views

How do I translate sentences from English to predicate logic?

Published on
#discrete-mathematics #predicate-logic #logic-translation
65
Views

Are these statements "truly" equal?

Published on
#elementary-set-theory #logic #predicate-logic
55
Views

How do you prove this logical equivalence?

Published on
#logic #predicate-logic
835
Views

True or False: $\exists x(P(x)\lor Q(x))\equiv \exists xP(x)\lor \exists yQ(y)$

Published on
#logic #proof-verification #predicate-logic
411
Views

A better general definition of a predicate

Published on
#functions #logic #propositional-calculus #predicate-logic
408
Views

Corollary to Fermat's Little Theorem

Published on
#modular-arithmetic #predicate-logic #congruences
205
Views

Prove that, for any sentence A of the predicate calculus with identity, at least one of spectrum(A) and spectrum(¬ A) is cofinite

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

First Order Logic Tableau Multiple Universal Identifiers

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