1. :
, . , , . , . , , .
: " , " " S , S1 1", (S) > (S11), (B>C) B , . ">" ".., ".
2. ( ) :
(/\) (/\); (vv) (Bv)v; (/\/\) (/\)/\; -(/\) (- v -); (Bv) -(e- /\ -); ( -->) (-B v C); (>) (--->-); (/\) -(-->-); ( <-> c) (- v C) /\ (- v B).
: (>-) -(B/\) - , :
- -->- /\ -(/\)
3. :
, . . , , . , . , . , .
: , : " , ", ", ".
1. :
.
.
.
.
:
.
"", .. ; , , . "", ; , , . .
|
|
2. :
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3. () :
.
.
.
.
.
.
--
-
-
.
.
.
-
.
.
.
.
:
.
, . : . . .
4. ( ) :
-->C B-->C B-->C B-->C B v C B v C B v C B v C
B C-B -B C--
????????
B-->C v D B-->C, D-->F B-->C, D-->F B-->C, D-->C M --- P
- v -DB v D - v -FB v D S --- M
?????
5. :
, . , . , . , .
: ", , -- " " () ", , "", " ". , , , , "". , :
|
|
_________ _
.
6. :
,
,
.
, ,
.
,
,
.
7. :
-
-- .
--
--
--
--
--
.
8. :
.
.
--
.
9. :
, ; ,
,
, .
,
.
-- ,
,
.
10. :
-
, , .
,
--
-- .
.