:
, :
1. ǒ . , .
2. () .
3. .
:
, .
ǒ .
, .
.
, .
.
p → q
p____
q
- ;
³ - q.
(modus ponens) - .
, .
:
, :
1. ǒ .
2. , .
3. , .
4. () .
5. ǒ (, , , ).
:
: . , - .
- . ().
- . ().
() :
S .
S.
.
³ . .
:
, :
1. ǒ , .
2. ǒ (, , ).
3. .
4. .
5. () .
6. .
7. , .
8. .
:
. . ....
- - ;
- .
- .
, , : ᒺ (S) , () . .
.
() (). ( )
(S) (). ( )
, (S) ().
I .
|
|
|
|
().
:
, :
1. ǒ . .
2. ǒ (, , ).
3. .
4.
5. () .
6. .
7. , .
8. .
9. , .
10. , .
:
: . . ....
; .
.
, , : ᒺ (S) , () . .
.
.
.
, .
() .
.
S
, S .
II .
|
,
. , .
.
1. 2 : . .
2. : . .
, .
) :
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. 㳺?