שא ר עבצ א לל כ: ש י יז א , היצקיימפל א חיכ ה ל ך י ר צ ם א ת " רציי ל" , לל כ ך ר ד ב ךר צ תס הנ של ך ר ד ב ת א ז ה ה י צ ק י ל פ מ י א ה ה ע ג ה א ש י ר ה תחנ ה : יקציהלפמי אא פ י ס ל .
: , , "" : .
: , , .
""?
:
, , .
' ! () ()
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 - .
, , ,
, , .
:
, , .
:
, "" ( ).
" () ."
, ,
: , ., " , . : , ., " , .
:
, : ." .