MATH
Login Or Sign up

List Question

15
125
Views

Provide a model for which the following is true $\forall x\forall y\forall z((S(x,y)\land S(y,z)) \implies S(x,z))$.

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

A model for which the following is false, $\forall xR(x)\lor \forall xQ(x)$

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

Represent the following sentences in first order logic.

Published on
#discrete-mathematics #logic #propositional-calculus #first-order-logic #predicate-logic
75
Views

Complexity of formulae involving projective sets in Polish spaces

Published on
#logic #predicate-logic #descriptive-set-theory #descriptive-complexity
771
Views

Double negation of existential/universal quantifier $\lnot(\exists x(\lnot A(x))$

Published on
#logic #predicate-logic #quantifiers
220
Views

How to express ''there exists a subset $X$ of $\Delta$ which is such that at least $50$ percent of $X$ satisfy a property''

Published on
#logic #first-order-logic #predicate-logic #quantifiers #higher-order-logic
890
Views

Converting English statements into symbolic form and then negating them

Published on
#logic #first-order-logic #predicate-logic #quantifiers #logic-translation
140
Views

translating informal language to predicate logic; existential vs universal quantifier

Published on
#predicate-logic
219
Views

Prove $\exists x(P(x) \land \forall y(P(y) \to y=x)) \vdash \exists x \forall y(P(y) \leftrightarrow y=x)$.

Published on
#logic #first-order-logic #predicate-logic #natural-deduction #formal-proofs
27
Views

Does a definite predicate logic have multiple ways to proof

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

Decucibility of FOL well formed formulas

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

What is the key point or " nervus probandi" of the proof of Godel-Henkin's Completeness of Predicate Logic? (Attempted outline).

Published on
#logic #predicate-logic #metalogic
93
Views

Substitution of identicals in predicate logic

Published on
#logic #first-order-logic #predicate-logic #substitution
103
Views

Logic proofs using Tableau method (symmetry of a predicate)

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

Proof of $x = y \leftrightarrow x \in \{y\}$

Published on
#first-order-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.