Abstract

В этом труде я излагаю аксиоматику альтернативно-отрицательного исчисления предложений со следующими правилами вывода:правило подстановки,правило отделения, определенное схемой $\begin{gathered} A\alpha \beta \\ \frac{{N\alpha }}{\beta } \\ \end{gathered} $ Аксиомами этими являются:NNApANpq,NNANApqANANqpp,NNANApqANANqrApr,ANpp,ANApqApNNq.Кроме того я доказываю независимость и полноту данных аксиом