>>570
俺の認識が間違ってたらスマンが、これは命題論理学じゃなくて
クラス論理学の方なんだ。だから真理表は関係なく、
わけわからん恒真式を、いくつも当て嵌めて解かねばならないんだ。