1. : ) , ) , ) , ) ,
) ;
2. , :
) ;
) - ;
) .
3. , :
) , ;
) ;
) , .
4. , :
) , , , ;
) , , , ;
) , , , .
5. , : , .
) , ;
) , ;
) , .
6. , :
) (p → q) → (~q → ~p);
) (p → q) Λ p ≡ p → q;
) ((p Λ q) → ~q) v (p → (~q v ~p).
7. , :
, . , , .
) - , ;
) - , ;
) - , .
8. :
, , .
. , .
9. , :
) ; ) , ; ) , .
.
,
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.. . .
31. .