= {Pi/i es impar}
= {P<span class="editor-subscript">j</span>ΛP<span class="editor-subscript">m</span>→¬P<span class="editor-subscript">n</span> / {P<span class="editor-subscript">j ,Pm} 
Γ y n = i + m}En el segundo punto donde dice n = i +m, segun los ejemplos no deberia de ser n = j + m ?