Applying Quantifier Negation
This video presents the same text shown beside it, spoken and on screen. It adds nothing the text does not say.
Quantifier negation drives a negation sign inward past a quantifier, flipping the quantifier as it passes, after which the propositional replacement rules finish the job inside.
Start with the denial of a universal: tilde, for all x, open bracket, Fx horseshoe Gx, close bracket. Read it aloud first — not every F is a G. Step one: move the negation past the quantifier, which flips the universal to an existential and leaves the negation attached to what follows. There exists an x such that tilde, open bracket, Fx horseshoe Gx, close bracket. Step two: the negation now sits on a conditional, so implication rewrites that conditional as a disjunction — tilde, open bracket, tilde Fx wedge Gx, close bracket. Step three: De Morgan takes the negation inside, negating both parts and turning the wedge into a dot — tilde tilde Fx dot tilde Gx. Step four: double negation clears the front. There exists an x such that Fx dot tilde Gx. Read it back: some F is not a G. The whole stack worked as one machine.
The quantifier flips only when the negation actually crosses it. A negation already inside the brackets governs the predicate rather than the quantifier, so flipping there changes the claim rather than rewriting it, and the resulting line no longer follows from the one above it.
Builds on
Unlocks
- Nothing yet depends on this.