, , .
2 . R(A, B) A B, A B.
A B :
- ;
- , ;
- - .
.
. , , . -> . , 1, . , , ( - ), -> . , .
- (P) - (Q) P -> Q, , .
: , .
, , . .
, , .
, . , , . , .
, . ().
, .
, , , . , . . .
|
|
. , . .
. . . : , , , .
, . .
- :
- ;
- .