. : , , .
, , aRb R (a,b), b - , R - .
3. (). ( ) . : , .
. ( ) .
, , , , , , .
, , , , . : S ( ) P . , .
, :
1. - . : S . : .
2. I- . : S P ). , . affirmo, ; : - I - .
3. - . : S . : .
4. - . : S . , . nego, .
S , , , , S , .
S , . , S ; , , ≤= S.