>>288
>これが示せれば ¬(Aかつ¬P) 即ち ¬AまたはP を示したことになる
がわかりません