MATH
Login Or Sign up

List Question

15
75
Views

Gödel's Completeness Theorem for uncountable domains

Published on
#first-order-logic #predicate-logic #formal-proofs
53
Views

What is the truth value of this nested quantified statement

Published on
#discrete-mathematics #logic #predicate-logic #quantifiers
35
Views

Prove the sequent $\exists x A(x) \to \forall x B(x) \vdash \forall x (A(x) \to B(x))$

Published on
#predicate-logic
72
Views

Prove $(\forall x (P(x) \to \exists y Q(x, y))) \to (\exists x P(x) \to \exists y Q(x, y))$

Published on
#predicate-logic
121
Views

What are indexed variables formally?

Published on
#logic #predicate-logic #formal-languages
47
Views

Is $n$ free in this formula?

Published on
#logic #first-order-logic #predicate-logic #formal-languages
91
Views

Quantifiers duality, extending De Morgan's law to uncountable discourse domains

Published on
#logic #predicate-logic
73
Views

How can open formulae be premises in an argument?

Published on
#logic #predicate-logic
61
Views

Is my attempt with predicate-logical symbols correct?

Published on
#predicate-logic
78
Views

Translate an English sentence having exactly/only one condition in First Order Logic

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

Translate the English sentence into predicate logic

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

induction for finite cases from 1 to n. How is this possible?

Published on
#logic #induction #propositional-calculus #predicate-logic
95
Views

Is the sentence $(x+1)^2=x^2+2x+1$ open or closed?

Published on
#logic #predicate-logic
80
Views

Is there a prop.-logic formula $P$ s.t. $\forall x(\phi(x)\lor\psi(x))\iff P(\forall x\phi(x),\exists x\phi(x), \forall x\psi(x),\exists x\psi(x))$?

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

Negation of a statement: No human can fly

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.