, . ( ), .
, . () . () , .
() : , , , , .
() ; ; - - . ( ); .
( ) . , ( , ); - , .
( ), -.
: , ( ).
. () .
. .
. . X, , . X, , , .
(), , .
, X, , Z, X, .
|
|
.
- .
, X, , ; ; , , .
:
1. : ( ),
2. : ,
3. : .
1 , ( ); 2 ; 3.
13 , . .
( ) . ,
. , . , , . , .
. : () .
, .
, () , .
=Df.a, "a","b" , ( , ); "=Df." , b , b () ().
.
: .
: .
2. .
1. () .
2. .
3. . .
4. . . .
|
|
5. . .
4. .
1. , , .
2. .
3. .
4. .
. , , . () , . , .
, , - , .
, : , , .
( ) , ( )
,
, .
. - - ( ) . - .
( , , ) (, , - ) , :
() ,
() ,
- , .
, - .
: , .
.
( ) ( ) ().
:
() , ; , - .
: . .
: (), (), (I), (). .
- , .
. . .
3. () .
1. , .
2. .
3. () .
|
|
4. - , , I, .
5. , .
5. .
1. .
2. .
3. .
, (, ) .
.
- , , .
, , .
.
: , , , .
, .
, .
- , . .
, () ().
- , .
, , .
- .
- (, ), - ( ) .
.
.
, , , .
. : , , . : - ( ) - ( ). , .
4.
1. .
2. .
6. .
1. .
2. . .
3. ().
4. .
5. ().
.
1. ù ù = ;
2. ( Ù ) = ;
3. ( Ú ) = ;
4. ( Ù q) = (q Ù) ;
5. ( Ú q) = (q Ú ) ;
6. (( Ù q) Ù r) = ( Ù (q Ù r)) ;
7. (( Ú q) Ú r) = ( Ú (q Ú r)) ;
|
|
8. ( Ù ( Ú q)) = ;
9. ( Ú ( Ù q)) = ;
10. ( Ù (q Ú )) = ( Ù q) Ú ( Ù r) ;
11. ( Ú (q Ù r)) = ( Úq) Ù ( Ú r) ;
13. ù ( Ù q) = ù Ú ù q - ;
14. ù (pÚq) = ù p Ù ù q- ;
15. ( É q) = ù Ú q - ;
16. ( É q) = ù ( Ù ù q) - ;
17. (p Ú q) Ù(ù p Ú r) = (p Ú q) Ù(ù p Ú r) Ù(q Ú r) - 1;
18. ( Ù q) Ú (ù Ù r) = ( Ù q) Ú (ù Ù r) Ú (q Ù ) 2;
19. p = q = (p Ù q) Ú (ù p Ù ù q) = (p Ú ù q) Ù (ù p Ú q);
20. p Ú q = (p Ùù q) Ú (ù p Ù q) = (p Ú q) Ù (ù Ú ù q).
- , . ù Ù;ù Ú; ù É; ù, Ù Ú.
: -, - . - ( ) .
, , . .
() n () .
, .
, .
- () .
- () .
-, .
-, .
() , . . , -.
() , . . , -.
. . .
. . .
5. .
1. .
2. ().
3. ,
4. ().
5. , .
7. .
1. .
2. . .
3. .
- . () () . . . .
|
|
: ( -), -, - ().
- () . :
((p É q) Ù (q É r)) É (p É r)
- (modus ponens modus tollens).
: modus ponens ((p É q) Ù p) É q;
modus tollens ((p É q) Ù ù q É ù p
- (modus ponendo tollens modus tollendo ponens.
modus ponendo tollens ((p Ú q) Ù ù q) É p. .
modus tollendo ponens. .
- () .
:
: ((p É q) Ù (r É q) Ù (p Ú r)) É q;
: ((p É q) Ù (r É s) Ù (p Ú r)) É (q Ú s);
: ((p É q) Ù (p É r) Ù (ù q Ú ù r)) É ù p;
: ((p É q) Ù (r É s) Ù (ù q Ú ù s)) É (ù p Ú ù r).
. . . , . , . ( ) . , , (). , , -, , ( ).
6. .
1. .
2. , .
3.
.
8. .
1. .
2. .
)
) .
) .
3. .
4. (, , )
A, E, I, O.
.
, . : - , .
, .
: , . , .
, . : , - , .
. I.
, . : , - , .
. .
() , A, E, I, O.
. .
, .
, , , - .
, ( ), .
:
1. . ( ).
2. .
( )
3. .
:
4. . ( ).
5. , .
.
.
. .
. 256 , 24 ( 6 ).
(. ) - . . ( ).
, () (). .
. () () .
, . , . .
7. . (, - ).
1. , , .
2. .
3. .
9. .
1 .
2. .
3. , .
, , , .
: , ( ) .
() , .
.
. - , , , .
, .
, , .
( ) , . ( ) ( ). .
(-) ( () ), () , .
: , ( ) ( ). ( ).
: , , , , , , . .
: , , , , .
: , , , () .
(, ) , ( ) a b - , , , b .
, a b , .
, a b .
10. .
1 , .
2. , .
3. , .
.
: , , . , . , . , , .
.
- .
- .
- , .
- .
().
, . . .
() , .
- ( ) .
- ( ). , .
.
, : 1) ( ); 2) .
, , . , , .
: I) ( ); II) ; III) .
I. ( )
) - .
) :
1. ( ) , . , , . (reductio ad absurdum).
2. . ( ) (. . -), - () . , , .
II. . , . .