1
1. .
2. . .
3. . . ().
4. . .
5. .
6. .
:
1. , :
) (p Ú q) ½ (p & q); ) (p É q), q ½ p; ) (p & (q Ú r)) ½ (p Ú r);
) (p É q), (q É r), r ½ Øp; ) (p É (q & Ør)) ½ ((p & q) Ú r).
2. , , , - :
) : 5.
: 4 5.
, 5.
.
) : / .
: , / .
.
) : .
: , .
, .
:
1. .. . 1992, . 116-137.
2. .., .. . 1998, . 387-422.
1. . . . . .
2. . , . .
3. . , , . .
4. . - . .
5. . .
6. , , . . . .
7. . . .
8. . .
9. . : , . .
10. . -, -, . , .
11. . .
|
|
12. : , , .
13. . . .
14. : , , .
15. : (, , ).
16. . , . .
17. : . .
18. . . . .
19. . . .
20. . .
21. . .
22. . . .
23. , . .
24. . .
25. . . .
26. . . , .
27. . . .
28. : , . , .
29. . .
30. - . . .