>>446
矢印が逆だ。左向きは成り立つけれど、右向きは成り立たない。
右向きが成り立たない例として例えば

xの全体集合は自然数
P(x)：xは奇数である
Q(x)：xは偶数である