>>544
命題は
前提⇒結論の形の論理式です。そう書きました

ありがとうございました。もう結構です
どこまでいっても定義を聞き返されるだけになりそうなので

要はある論理式(例えばA⇒B)があって、その部分論理式として、¬Aとか¬¬Bを認めるか否か(部分論理式の定義をどうするか)が
｢NKについて部分論理式原理が成り立つ｣といえるかどうかを決めるということですね