. ( ) , , . . 3- :
1) (P, S, M). , , .
V
(M) .
(M).
_________
.
- , . . , , , .
2) . , - S P.
V
(M-) .
(M-).
______________________________________________________
?
. . S P, .
3) , . , S P, , .
V
(P-).
(S-) .
____________
(S+) (P+) .
, 4- :
1. , . . .
2. , .
3. , . . .
4. , .
, , :
1- , .
2- , .
|
|
3- , .
4- .
5.7. ,
, , . , , . , , . , , . , , : . , .
V
.
.
.
.
___________________________________________
.
, :
, .
, .
, .
, .
_____________________
, , .
, , . . . , - , , b, , d, : a É b, c É a, c É b, d É c |= d É b. : ((aÉb)Ù(cÉa)Ù(cÉb)Ù(dÉc))É(dÉb).
, .
V
.
.
.
.
______________________________________________________
.
: a É b, c É a, b É d, c É b |= É d, a ; b ; ; d . : ((aÉb)Ù(cÉa)Ù(bÉd)Ù(cÉb))É(Éd).
|
|
( . ένθύμημα ). : 1) , , - : ; 2) , , , , . . , , , , . . , , . 1- . . , ( ) , , , , . , . , , . , , .
V
, . (), . (), ( ), , . , , . , , . :
.
.
__________________________________________________
.
aaa .
. ( . σωρός ) , . , , . () . .
V
.
.
.
|
|
___________________________________________
.
, ( ), , , : ( ).
, , (), , (). : a É b, c É a, d É c |= d É b, a , b , , d . ((aÉb)Ù(cÉa)Ù(dÉc))É(dÉb) (. ). () . .
V
, :
.
.
.
______________________________________________________
.
, , .
, (), , ( ). : a É b, b É c, c É d |= a É d, a , b , , d . ((aÉb)Ù(b Éc)Ù(Éd))É(aÉd) . (). ( . ) , .
V
, .
, .
_________________________________
, .
, . , . , . , . :
( I )
.
.
|
|
__________________________________________________
.
( iai IV )
.
.
_______________________________________
.
( aii III ):
.
.
__________________________________________________
.