.
1-3.
I. ?
1.
2.
3.
4.
5.
II. ?
III. ?
IV. ?
- .
- .
- .
- .
- .
V. ?
1.
2.
3. -
4. --
5.
VI. ?
1.
2.
3.
4.
VII. ?
1.
2.
3.
4.
5.
VIII. ?
IX. : (.-. )
- aÚbÚc
- (aÙb)c
- aÙ(bc)
- aÙbÚùc
- aÚùbÙc
X. :
1.
2.
3.
4.
5.
4
I.
1.
2.
3.
4.
II. :
III. :
IV. :
V. :
1.
2.
3.
4.
5.
VI. :
VII. ?
1. , 2. Ā 3. 4. 5.
VIII. : , ?
IX. :
X. : -, - ?
1.
2.
|
|
3.
4.
5.
5
I. ?
1.
2.
3.
4.
5.
II. ?
III. ?
IV. ?
V. ?
1. ,
2. ,
3. ,
4. ,
5. -0, -1
VI. : .
VII. : .
VIII. : - .
IX. : .
X. : .
1.
2.
3.
4.
5.
6-7
I. ?
II. ?
III. ?
IV. : , ?
V. : , - ?
VI. ?
VII. ?
|
|
VIII. - ?
IX. - ?
- Modus ponens
- Modus tollens
- Barbara
- Modus ponendo tollens
- Modus tollendo ponens
X. ?
8-10
I. ?
II. : ?
III. : , , ?
IV. ?
V. 0?
VI. ?
VII. .. : : , , , . , , . , .
VIII. ?
IX. ?
X. ?
11-12
I. .
II. ?
1. R
2. Lù ºF
3. Vù º
4.
5.
III. ?
1. (( ), ) |
2. º
3. Vù º V
4. A a º o
5. ù (A V B) º (ù A Lù B)
IV. : , ?
V. ?
VI. , ?
VII. ?
VIII. ?
- ,
IX. , ?
|
|
X. ?
13-14
I. ?
- .
- .
- .
- .
- .
II. : ; ; ?
1. A (BÙCÙ )
2. ( Ú Ú )
3. ( ) Ù ( ) Ù ( )
4. (ù Ú Ùù) ù
5. º ( ) Ù ( ) Ù (FH)
III. ?
1. ù( Ù ) º (ù Úù)
2. ù( Ú ) º (ù Ùù)
3. ùù º
4. ( )
5. ( )
IV. ?
1.
2.
3.
4.
5.
V. .
1.
2.
3.
4.
5.
VI. .
1. S¾P
2. ARB
3. M(S¾P)
4. AºB
5. A A
VII. : ?
1.
2.
3.
4.
5.
VIII. ?
1.
2.
3.
4.
5.
IX. , .. ?
1.
2.
3.
4.
5.
X. .. : , , : , ?
1.
2.
3.
4.
5.
15-16
I. . : , , !.
1.
2.
3.
4.
5.
II. ?
1. .
2. .
3. .
4. .
5.
III. ?
1.
2.
3.
4.
5.
IV. ?
1. ?
2. ?
3. ?
4. ?
5. ?
V. : ?
1.
2.
3.
4.
5.
VI. : -, ; -, ; -, .
|
|
1.
2.
3.
4.
5.
VII. ?
1.
2.
3.
4.
5.
VIII. , , .
1.
2.
3.
4.
5.
IX. , , , ?
1.
2.
3.
4.
5.
X. ?
1. ,
2.
3.
4.
5.
.
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. - ,
.
34. . .
35. .
36. .
37. , -
.
38. : .
39. , -
.
40. , .
41. .
42. .
43. .
44. () , -
.
45. , .
.
46. .
47. .
48. .
49. .
50. : .
51. . .
.
52. : .
53. , -
.
54. .
55. .
|
|
56. .
57. , .
58. () , , -
.
59. , .
60. ( ), -
.