＞（Ｐ⊃Ｑ）⋁（Ｑ⊃Ｐ）などと言った「奇怪な“定理”」

（Ｐ⊃Ｑ）⋁（Ｑ⊃Ｐ）がなり立つからといって
∀ｘ（Ｐ（ｘ）⊃Ｑ（ｘ））⋁∀ｘ（Ｑ（ｘ）⊃Ｐ（ｘ））が成り立つとはいってないけど