# $\mathcal{NK}p$

$\mathcal{NK}p$ is a natural deduction proof system for classical propositional logic. It is identical to NJp except that it replaces the rule $\bot_{i}$ with the rule:

 $\frac{\Gamma,\neg\alpha\Rightarrow\bot}{\Gamma\Rightarrow\alpha}(\bot_{c}),% \quad\text{ where }\alpha\text{ is atomic}.$
Title $\mathcal{NK}p$ mathcalNKp 2013-03-22 13:05:23 2013-03-22 13:05:23 Henry (455) Henry (455) 5 Henry (455) Definition msc 03F03 NKp