关于逻辑论证符号使用与有效性的疑问

我碰到了一个逻辑论证的小困惑，想跟大家探讨下：这本来应该是一个有效的论证示例，但我怀疑作者写错了集合符号——他大概率想用子集符号，结果误用成了超集符号。

按照合理的逻辑推导，这个论证应该表述为：
$ P $ 是 $ Q $ 的子集。$ x $ 不在 $ Q $ 中。因此 $ x $ 不在 $ P $ 中。
这样的逻辑链完全通顺，符合逻辑推理的规则。

但原文里的表述却是：
$ P $ 是 $ Q $ 的超集...

我是不是漏掉了什么关键点？有没有朋友能帮忙解惑？

备注：内容来源于stack exchange，提问作者help-me