Next:
ii
, Previous:
nq
, Up:
Predicate Rules
6.3.7 Prenex
3x(P(x) ^ Q(a)) <=> 3x(P(x)) ^ Q(a)
Vx(P(x) ^ Q(a)) <=> Vx(P(x)) ^ Q(a)
3x(P(x) v Q(a)) <=> 3x(P(x)) v Q(a)
Vx(P(x) v Q(a)) <=> Vx(P(x)) v Q(a)