.
, . , .
, .
(S) ()
, ( S - ).
, (S) ().
. (S) - ().
, , . (S) ().
, . (S) ().
2. , ,
. , . . , , , , , , , , .
: , , .
.
() , .
: 10 2 10 5. 2 : 10 2 (); 10 5 (q).
. , , . . , *q , , .
p | q | p*q |
, , , , .
() , , . - -, .
|
|
, -. , . .
: , , . , , . :
p | q | pnq |
, , , .
() , . . : .
p | q | pύq |
, , , .
() , , , .
. : , . . .
q | p→q | |
, , , , . .
: , , , . : , 0ѻ. : , , .
: , , , . : , . . : , .
: ( ) (, ).