>>105
問題自体には書いてなくても、
そこまでの流れから問題の意図を正しく判断する必要があるんじゃないか？
例えば２は命題論理の何らかの体系のもとで証明するんじゃないの？