Discrete Structures [Lecture 6 / Segment 4] - Predicate logic - Part 8/20

0:00 Predicate logic
0:35 Precedence of quantifiers
2:38 Free variable
3:08 Bound variable
4:23 Proving that:
there exists x (P(x) and Q(x))
and
there exists x P(x) and there exists x Q(x)
are not logically equivalent
10:06 Proving that:
for all x (P(x) and Q(x))
and
for all x P(x) and for all x Q(x)
are not logically equivalent