11/08/05 23:11:13.27
誤：[2]と同様、[3]でも、「(A●(B▲C))を(A●B▲C)と省略してよい 」とすればいいだけだろ。
正：[2]と同様、[3]にも、「(A●(B▲C))を(A●B▲C)と省略してよい 」を追加すれば良いだけだろ。
11/08/05 23:11:13.27
誤：[2]と同様、[3]でも、「(A●(B▲C))を(A●B▲C)と省略してよい 」とすればいいだけだろ。
正：[2]と同様、[3]にも、「(A●(B▲C))を(A●B▲C)と省略してよい 」を追加すれば良いだけだろ。