Learn Before
Concept
Nested Quantifiers
"For every x (in the domain), there is at least one y (in the domain) that can depend on x and may be equal to x such that L(x, y) is true"
- x y L(x, y)
- Everyone loves someone (e.g. their family)
"There is at least one y such that for every x (including the case y=x), L(x, y) is true"
- y x L(x, y)
- There is someone everyone loves (e.g. santa)
0
1
Updated 2020-09-09
Tags
Math