S , S - ( ), - ( , , , - ).
S , ( ).
.
1) , ;
- , ;
* , , ;
* - , ;
* , , ;
- .
2) 2 .
4 :
A f i rmo + N e g a
, . , , .
:
1) .
2) , .
3) - - ;
4) , , , .
:
1) , , . : . p^q.
2) , , . pVq.
- , . pvq
- , , . pvvq
3) , , . p q.
4) , , , . p q.
: , , , , , , , .