...P^3.1

一般に， $(\exists x)[{\bf P}(x) \land {\bf Q}(x)] \neq (\exists x)({\bf P}(x)) \land (... ...x) \lor {\bf Q}(x)] \neq (\forall x)({\bf P}(x)) \lor (\forall x)({\bf Q}(x))$ であることに注意!!

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...P^3.2

(iii) の (c),(d), (iv) の (a),(b) の逆は成り立しないことに注 意!!

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.