MATH
Login Or Sign up

List Question

15
202
Views

Showing $\langle \forall x:: P.x \rangle \land \langle \exists x:: Q.x \rangle \implies \langle \exists y: P.y : Q.y \rangle $ is a theorem.

Published on
#discrete-mathematics #logic #predicate-logic #alternative-proof
69
Views

Can definitions become statements?

Published on
#predicate-logic #philosophy
201
Views

Basic question about proofs with the goal $\exists x P(x)$

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

Prove or disprove formally: $(\forall x F) \lor G \vDash \forall x (F \lor G)$

Published on
#discrete-mathematics #logic #proof-writing #first-order-logic #predicate-logic
116
Views

Does $\phi\vDash\bot$ imply that $\vDash\phi\to\bot$ if $\phi$ is a formula that has free variables?

Published on
#logic #first-order-logic #predicate-logic
1.2k
Views

Finding logical flaw in the argument of the dog

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

Convert to Prenex Normal Form

Published on
#logic #predicate-logic
87
Views

Unsure if two expressions are logically equivalent

Published on
#predicate-logic #quantifiers
51
Views

Are - in the situation sketched below - all ultrafilters of $X$ in $\mathcal A$?

Published on
#logic #predicate-logic #boolean-algebra #filters
1.3k
Views

Pulling universal quantifier out of parenthesis makes nonequivalent statement?

Published on
#logic #propositional-calculus #first-order-logic #predicate-logic #quantifiers
65
Views

Understanding the concept of $P(u/v)$ in the context of First Order Logic.

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

Express the meaning ofthe following predicate logic statements

Published on
#discrete-mathematics #relations #predicate-logic
135
Views

Rewriting implication als disjunction - equivalence proofs

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

Reading Statements with Quantifiers

Published on
#logic #predicate-logic #logic-translation
144
Views

Propositional Formula and Translation

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