, .
- , . , , .
, . , , . , , .
() , . , , , .
. , . , , , .
. , , . , , , - .
. , , . , , . , , .
, . , , , , (, ) (., , , ). (, , , ) (., , , ).
, .. .
:
1) () , (.1)[1]. A B , A, B, .
2) , , . , , , . A B (.2), B A, , A, B ( ).
3) () , . , A, B, . A B (.3), , A B, , .
|
|
.
, .
:
1) , (.. ) . , (.4).
2) , () . A B, , , (. 5).
3) , - (. 6).
A ‑ , B, A. , A ‑ B (), A (). .
‑ , . B, A. A ‑ B (), A (). , ( ).
, . ‑ , . A , (.. , 1) B, ( 1) , B .
, , A.
, , . . A , , A.
, , . .
, () ().
, . .
. , , , , .
|
|
A A 1, A 2,..., A n (n ), :
) A 1, A 2,..., A n A);
) A 1, A 2,..., A n A;
) A 1, A 2,..., A n . A , A 1, A 2,..., A n .
, .. () , .
, , . , , , . (. dicho , tome ). , , . polis ).
" " " ".
1. . . , A1, A2,,..., An A, A1, A2,,..., An A; . , : " ", () A1, A2,..., An A ( ); " ", () () , .
2. . () , .. , .
3. . . , , , . , .
"" "". ( ) - , , , , , .
. .
. .
. , .
1. . , , . ().
2. . () . .
. Ÿ , -, . -, () .
|
|
, ( )
"". -, , , . , , , . (). , , ? , , .
-, , , . , , "", , , 4,4 . , " , 4,4 ", "".
, , . , , , .
.
:
1) , ( Dfd . definiendum);
2) , , ( Dfn - . definiens);
3) , Dfd Dfn ( º).
: Dfd º Dfn.
1. . Dfd Dfn .
:
1) - Dfn Dfd;
2) - Dfn Dfd;
3) - Dfd Dfn .
4) - Dfd Dfn .
2. . Dfd Dfn, , , Dfd. " ". " " Dfd Dfn ( ) Dfd.
3. . Dfn Dfd, . , , .
4. . Dfn , . . , : ) Dfn Dfd, .. , , Dfd, ; ) Dfn , ().
5. . Dfn , . " ".
|
|