: , , "" : .

: , , .

""?

:

, , .

' ! () ()

p(qs) prem ps ~q~p prem p hyp p(qs) rep 1. qs E 3,4 ~q hyp ~q~p rep 2 ~p E 6,7 p rep 3 p~p I 9,8 ~~q I~ 6-10 q E~ 11 s E 12,5 ps I 3-13

k. l. E i, k, l

i , (m) , m - .

, , ,

, , .

:

, , .

:

, "" ( ).

" () ."

, ,

: , ., " , . : , ., " , .

:

, : ." .