Upload
damien-ashwood
View
233
Download
0
Embed Size (px)
DESCRIPTION
מצגת שיעור 7
Citation preview
: , , "" : .
: , , .
""?
:
, , .
' ! () ()
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 - .
, , ,
, , .
:
, , .
:
, "" ( ).
" () ."
, ,
: , ., " , . : , ., " , .
:
, : ." .