質問: 至急! 証明してもらってもいいでしょうか 次の推論を NRS で証明せよ。 p1∨p2 → ~(~p1∧~p2)
回答: で a + b > !((!a) * (!b)) と入力するとゲンツェンのシーケント計算の証明図が得られます. NRSがどういう体系か詳しくは知りませんが参考にはなるでしょう.