[全体]
¬Pの¬は一番強いので、カッコがなくても¬Pの塊が優先されます。
強さの順は、
¬ ＞ (∧または∨) ＞(⇒または⇔)
のようです。
一番外側のカッコはいるんでしょうか…。ちょっとよくわかりません。僕の答えでは消すことにします。
[各問]
(1)
今回はカッコの省略法ということなので、答えは
P→(P→(Q→¬S))
でしょうか。
でも、P→(P→Q)の形って、P→Qと同値だと思うんです。僕は
P→(Q→¬S)
と書きたいですね。カッコ以外も省略しているので、これは答えにはならないかもしれません。
(2)
(P→¬Q)→(Q→¬P)
(3)
∨は→よりも強いです。故に、
(P→R)→(¬Q→R∨S)
(4)
(P∧Q)∧Rの形はP∧Q∧Rと同値だと思うので、答えは
R∧¬(P→Q)∧S
でしょうか。
