.


:




:

































 

 

 

 


4. ( )

, . :

: (. , . VII, 1).

2, . , :

( ~> ) a (q -> ) ( -> s)... ( -> 2)

, ,■ (. , . VII, 5).

1

, , . , ( ..., ...). , .

:

, , , . . (, . 53). ;

, , ( - ), , ( - q).

, ( - q), ( - /).

, , (), (/).

(-)(->)

1.1. , . , , .

1.2. , , . .

1.3. , , , . , , , .

1.4. . , . .

1.5. , , . , . , .

1.6. , , , (70

4.

, . .). .

1.7. , , , , , , , , , 1.

1.8. , , . .

1.9. , . , . , .

1.10. - . - . - . , .

, , .

()

1.11. , , - . , , .

1.12. , . , , ,' . - - , . .

4.1.

71

. , .

1.13. , , , , , , , . , , ^, , , , , . , ... , , , - 1.

1.14. , , , ( , , ). . , , , , , , , .

1.15. , . . . ? , . , . , , .

1 . . // . . . , 1984. . 236.

1 . . . // . . . ., 1984. . 116.72

4.

4.2. -

- , - , - .

- :

1) (modus ponens) - , . :

- , (. , . VII, 1).

2

, , , . . 1, - .

:

( - ), ( - q).

2) (modus tollens) - , . :

2) - .

:

3) 4) - . :

3) ~* .

4.2. -

73

(). ().

-g, p

-:L-i- - .

2.1. , . .

2.2. , . .

2.3. , . .

2.4. , . .

2.5. , . . .

2.6. , . . .

2.7. , . , .

2.8. , , , , . .

2.9. , , -, , . . . -

.

2.10. , . .

2.11. , , (). .

2.12. , , , . . . .74

4.

2.13. , . .

2.14. , , . , , - .

2.15. , 161 . .

3

, : ) , ) , . , ( ..., ...).

:

.

1. ..., ...: (), { q).

2. : (), (q). (). , { q).

: ■

3. : (), { q). (] q), , (]).

:

3.1. , .

3.2. ' , .

3.3. , .

4.2. -

75

i

3.4. - .

3.5. , ().

3.6. , , .

3.7. , ().

3.8. , (). ■

3.9. , .

3.10. - .

3.11. .

3.12. .

3.13. , ().

3.14. , , .

3.15. , .

()

4

. 3, . ( = q).

5

, , .

:

(), (pv ).

, 1 { v ). , (lg).

(pv /) = g,l(pv r) : ---------.

- . , .76

4.

5.1.. . , . . .

5.2. . , . 162 . . . 162 .

5.3. , . .

5.4. "" , .

5.5. , . . .

5.6. , , . .

5.7. , . .

5.8. , , . .

5.9. , . . .

5.10. , . .

5.11. , , . , .

5.12. . .

5.13. , , , , , , , -, . 1.

4.3. -

77

1 . . // .. . . 244-245.

5.14. , , , , ...1.

5.15. , . . .

5.16. , . .

-

- , - , - .

, () , , .

- : - (modus ponendo-tollens) -- (modus tollendo-ponens).

- ( ) , . :

 

V - .

, : - ( ).

- ( ) , . :

< v q>,

<...> - () 2.

1 . . // .. . . 259-

2 , .78

4.

, : ( - () ) (. , . VII, 2).

6

- , , , : , .

:

() (q). ().

().

: < V >, - , - [ q - .

6.1. . - - . ...

6.2. -. . ...

6.3. , .

6.4. . ,

6.5. . .

6.6. . - .

6.7. , . , - ., , .

6.8. , , , ,

4.3. -

79

. .

6.9. , . - .

6.10. .

6.11. , , . .

6.12. , , . , .

6.13. , , , - . , .

6.14. , , , , , , , , , , .

6.15. , , , , . . .80

4. '■}

7

, : ) - , ) -- ; , , .

:

() [ q).

1. - . (). , , (1 q).

: \' q,p - -

fq .

2. - :

). , (q).

: < pv q>, I p - -

q .

7.1. () .

7.2. .

7.3. , .

7.4. . , , .

7.5. .

7.6. ' , .

7.7. . .

7.8. ., ., .

7.9. . , , .

7.10. , , , .

7.11. -

4.3. -

81

, , .

7.12. , , .

7.13. . -, ().

7.14. - , , - (-).

7.15. , ,

.

()

8

- .

-

8.1. : , , , . , . , - , .

8.2. . , . , , .

8.3. , . . , . .

"- 82

4.

, , ., , . ■ , . , .

8.4. 1 , - ' - , . , , , , . , - , . - : , , , :

, . , , , ' I .

: , . , . , ? . , . : . , , . 1.

8.5. 14 5 , .

. . , , ( , , ).

1 . . // . .: 8 . ., 1966. . 1. . 515-516.

4.3. -

83

, .

, , . , ; - . . - , , , .

8.6. . - - , , , , - -

■ . , . , . . , , 3., ., X. .

, . 3., , . . , .

X., , . . - .

8.7. , , , : ... , , . . , ,

*84

4.

#

? , , - , 1.

i.8. , , :

- , , . , , . ?

- ! - .

- . . 2.

.9. , .

. , . , 1 , . , .

, . , . ? : . . , , . , , , , .

.10. , , , , , £ .. , , , , .

4,3. -

85

1 . . // . .: 8 . ., 1996. . 1. . 155-156.

2 . . 189.

. .. . . . .

, : . , .. , , , 43-, -.

8.11. 15 . , - . , , 15 , . .

, . , . , , .

, , .

, 15 : 84 64 . .

-. , 15 12 , . . .

15 . , . , - 1.

1 .: . ., 1958. . I 4.

4.4. -

, , - , -. , .

() () , .

:

1.

2.

q v s

3.

( -> ) ( -> ), 1 q v I r

4.

(. , . VII, 3.)

9

, , , .

:

. (), 158 (q). . (), 162 (s). H. (), ().

; , . 158 (q) 162 (s).

: (>

qv s

- .

4.4. -

87

9.1. , , - . , .

9.2. , . .

9.3. , , , . . , .

9.4. , () , , .

, , . , .

9.5. , . . , .

9.6. , , , , ; , , . .

9.7. , . .

9.8. . , . - 4.

4.4. -

89

. - .

9.9. , . ] .

9.10. - , - . , .

9.11. , , . . .

9.12. , , , , .

. , .

9.13. , 1, , -, . , -, . - .

9.14. , , , ; - , . , , , .

1 41 .

9.15. , . , , ; , : , ( ) - . , .

10

; , .

10.1. , , . , . , , : ; , ; , , , ... , , .

10.2. ? ? ? - , , . ? , 1.

10.3. . , , - (--).

1 . . . . // . , . . 210. 90

4.

10.4. , , , ().

10.5. , . , .

10.6. , , , , ; , - ().

10.7. , , , .

10.8. . , , , . .

10.9. - , , .

10.10. . , 171 . - 172 . . , ■ 171 172 .

10.11. , , , . , . , . , . , , , , . ,

4.4. -

91

. , . ( , .) , , , .

10.12. , .. , - . , . . , ?.. , , , ... - (. 1988. 24 ).

10.13. , , , . , , , ( . 15/2).

10.14. , . , , 23 , , ( . 8). 92

4.

10.15. - . , , , . : , , , - , . .



<== | ==>
 | 
:


: 2018-10-17; !; : 159 |


:

:

, , .
==> ...

1844 - | 1511 -


© 2015-2024 lektsii.org - -

: 0.211 .