Venn図って結局図上の点それぞれで命題論理適用して
どの点ｘでも¬Ｑ（ｘ）⋁Ｐ（ｘ）が成立すれば
∀ｘ（Ｑ（ｘ）⊃Ｐ（ｘ））としてそれを「ＱならばＰ」とあらわしてるだけ
（しかも「ならば」としての⊃と、集合の包含としての⊃は向きが逆）