notes

Personal notes
git clone git://git.laack.co/notes.git
Log | Files | Refs

NestedQuantifier.md (166B)

      1 # Nested Quantifiers
      2 
      3 U 1.5.1
      4 
      5 **Definition:** Nested quantifiers are when there are multiple quantifiers in the same scope.
      6 
      7 Example:
      8 
      9 $\forall x \exists y (x+y=0)$