, . .
1.6.1. , . , .
1.6.1. , .
. , .
(A Ù Ø C)((AÙB)ÚØC) = Ø (A Ù Ø C)Ú(AÙB)ÚØC =
=Ø A Ú CÚ(AÙB)ÚØC = Ø A Ú CÚØCÚ(AÙB)=
= Ø A Ú (AÙB)Ú I = I.
, , 1.6.1 .
1.6.1. , , .
1.6.2. ̳ , . , .
. : A ; B ; A ; B .
~ , , , ~ , ~ .
(. 1.6.1), ~ .
~ | ~ | ~ | ||||
X | X | I | I | I | I | I |
X | I | X | I | X | X | I |
I | X | X | X | I | X | I |
I | I | I | X | X | X | I |
1.6.1
, . , , . , .
1.6.1. , .
1.6.2. , , , .
.
1.6.3. , , .
1.6.4. , - , .
|
|
.
, , . , (. 1.6.2).
1.6.2
(Modus Ponens) | ||
(()Ù(®))() | ó | |
³䒺 (Modus Tollens) | ||
( ) | ||
(- ) |
. 1.6.2
(Ù((Ú))Ù(®D)Ù(CD))D | ||
(Reduction ad Absurdum) |
. 1.6.2 . , . 1.6.2, . , , .
1.6.3. n 9, n 3 . , n 9. , ?
. :
A n 9 ,
B n 3 .
n 9, n 3 . n 3.
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. , , ?
32. ?
33. ? .