Quantifier Manipulation

50 words

1 min read

Visual companion

Python

Type and operator map

Python Week 1: the first filter for runtime behavior

Open gallery Related surface

View

Revision summary

What this note is really saying

Short form

# Quantifier Manipulation ## Swapping Quantifiers - $\forall x \exists y P(x,y)$ is NOT equivalent to $\exists y \forall x P(x,y)$ - $\forall x \forall y P(x,y) \equiv \forall y \forall x P(x,y)$ - $\exists x \exists y P(x,y) \equiv \exists y \exists x P(x,y)$ [Join Discord](https://discord.gg/gE2m4Qrdqv) [Previous*...

Quantifier Manipulation

Swapping Quantifiers

$\forall x \exists y P(x,y)$ is NOT equivalent to $\exists y \forall x P(x,y)$
$\forall x \forall y P(x,y) \equiv \forall y \forall x P(x,y)$
$\exists x \exists y P(x,y) \equiv \exists y \exists x P(x,y)$ Join Discord PreviousPredicate LogicNextProof Techniques