MATH
Login Or Sign up

List Question

15
101
Views

Is $\exists x(P(x)\rightarrow\forall y P(y))$ a tautology?

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

What is a Primitive Atomic Formula?

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

What does this symbol mean (set theory)

Published on
#predicate-logic
64
Views

Translate usual sentence into logical proposition

Published on
#logic #predicate-logic
293
Views

Understanding the proof of "connected set is interval."

Published on
#real-analysis #general-topology #predicate-logic
1.1k
Views

How to reason with Equisatisfiability

Published on
#logic #predicate-logic #satisfiability
95
Views

difference between some terminologies in logics

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

If a variable does not exist is it bound?

Published on
#predicate-logic
1.2k
Views

Counting quantification and the cardinality of a set

Published on
#logic #cardinals #predicate-logic #first-order-logic #quantifiers
387
Views

How to convert formulas to rectified prenex form?

Published on
#logic #predicate-logic
103
Views

In predicate logic, all $x$ in set $X$ who have quality A also have quality B

Published on
#predicate-logic
132
Views

How can I indicate that n and k are natural numbers in ∀n[(∀k < n P(k)) → P(n)].

Published on
#predicate-logic
1.7k
Views

Having hard time understanding implies

Published on
#logic #predicate-logic
545
Views

Demonstration with fitch notation and quantifiers

Published on
#logic #predicate-logic
96
Views

Intuitive understanding of a logical equivalence

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