MATH
Login Or Sign up

List Question

15
198
Views

Are quantifiers a type of logical connective?

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

free variable predicate logic

Published on
#predicate-logic
544
Views

Is 'London is the capital of UK' mathematically acceptable statement?

Published on
#logic #terminology #propositional-calculus #predicate-logic
500
Views

Are "where" and "such that" interchangeable?

Published on
#logic #soft-question #predicate-logic #logic-translation #article-writing
516
Views

Can "that dog is a mammal" be considered a tautology?

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

How are Universal and Existential Quantifiers Used?

Published on
#logic #set-theory #predicate-logic #quantifiers
307
Views

Why isn't $\forall x \forall y ~ P(x,y) \rightarrow \forall x \forall y~P(y,x)$ a tautology?

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

Can the converse of this predicate axiom be proved a theorem?

Published on
#logic #predicate-logic #axioms
1.1k
Views

Negation of The Statement "The sides of the triangle $\triangle$ have different lengths"

Published on
#logic #predicate-logic
74
Views

Prove $(\cup a)\cup (\cup b)=\cup(a\cup b)$

Published on
#logic #set-theory #predicate-logic
369
Views

Equations and truth tables

Published on
#discrete-mathematics #inequality #logic #propositional-calculus #predicate-logic
107
Views

Predicate Logic - Try to prove satisfiability or unsatisfiability first

Published on
#logic #first-order-logic #predicate-logic #satisfiability
518
Views

Why is $\exists x \forall y \exists z \left(\left( y = x + z \right) \lor (z \leq x) \right)$ false?

Published on
#logic #predicate-logic #quantifiers #logic-translation
88
Views

Why is this true? $(\exists x, Px \to r) \iff (\forall x, Px) \to r$

Published on
#logic #predicate-logic
168
Views

How are $∀y∃x\:P(x,y)$ and $∃x∀y\:P(x,y)$ different?

Published on
#analysis #logic #predicate-logic #quantifiers

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.