1
1. . : , .
2. . .
3. -, -, .
4. , .
:
1. , :
) Ø(Øp), ) Ø(Øp Ú Øq), ) p & q Ú r, ) (p & q) Ú r),
) Ø (q), ) ØØØØp, ) (pØÚ Øq), ) ( & ).
2. , - -, -, :
) Ø(p É p), ) ((Øp É q) & Ø (q Ú p)), ) (Ø(p Ú q) º (Øp & Øq)),
) ((p Ú Øq) É (q & r)), ) (((p É q) & (p É r)) É ((Øq Ú Ør) É p)),
) ((p & (q Ú r)) É ((p & q) Ú (p & r))).
3. , , :
) , , , .
) 2 3, , 3, 2.
) , , , , .
:
1. .. . 1992, . 73-78.
2. .., .. . 1998, . 91-113
2
1. .
2. .
3. .
4. .
5. .
:
1. , :
) , . .
) , , . .
) , , . , .
) , . , .
2. , , :
1) ;
2) , ;
3) .
|
|
) , ?
) , ?
) , ?
3. :
) , . , .
) , . . , , .
) , . , . , .
) , . . , , , , .
) , . . , .
) . , . . , .
4. :
) , . , . , . , . , .
) , , . . , , .
) , , . , . . , .
) , . , . , , .
) , . , . , , . . , , .
5. , :
) , , , . , - . , , - .
|
|
) . , . , . , . .
) . - , , - , . , , , .
) , , , . . , .
) , , , . . , .
) , . - . , . , , .
) , . , . , . , , .
:
1. .. . 1992, .79-81.
2. .., .. . 1998, . 333-349.
5.
1
1. .
2. . .
3. .
4. .
:
1. , :
) . .
) . .
) - . -.
) - . .
2. , S P , - :
) S S P, ) S P, ) -S -P.
:
1. .., .. . 1998, . 325-333.
2
1. .
2. , , .
:
1. :
) .
) .
) .
) .
) , .
) .
) , .
2. , , :
) .
) .
) .
) .
) .
3. :
) . , .
) , , .
|
|
) , .
) , , . , .
) . , .
) . , .
:
1. .. . 1992, .82-86.
2. .., .. . 1998, . 349-363.
3
1. . , .
2. .
3. .
4. .
:
1. , , :
) - , , .
) - . - .
) 1- - . - 1- . - .
) , , . . , , , .
) , . , .
) , . , .
) . . , .
2. :
) 2- - .
) 1- - . ) 3- - .
3. , , ; :
) 1- , ) II 2- ,
) 3- , ) I 4- ,
) 1- , ) 4- .
4. , :
) , - .
) , .
) , .
) . , - .
) , .
) , .
5. , , :
) - .
.
) .
- .
) .
.
) .
- .
:
1. .. . 1992, .86-93.
2. .., .. . 1998, . 363-387.