>>88
＞上のように理解してるんだけど合ってる？
全然違う。それは解釈以前に誤植なだけでしょ。

あなたが言っているのは
一般的には「AならばBである」、そして規制議論板では「Bであり、かつCであるなら、Eである」と言うこと。
ただしAについての記載はない。
つまりEであることの確認はCであるということの確認の他に記載されていない「Aであるか」という評価も必要と言うことになる。

対して私が言っているのは
規制議論板では「DであるならEである」と言うこと。
Dの中にAのすべてが内包されているとは限らないが必要なことは含まれているだろう。
つまりEであることの確認は「Dであるかどうか」だけで完結する。

A{　a、a’、a’’｝
２ちゃんねるでは、Aのうちa’は規制対象ではない。

あなたが言っていることは、
C｛ not a’｝
E = A & C
（※ただしAについては何も書かれていない。）

私が言っているのは
D｛a || a’’｝
E = D
ということ。