.


:




:

































 

 

 

 


2. .




1: :

:

, -

. ( ),

.

: ,

, . ,

; , ..

.

.

1: .

: ,

, -

. , ,

; : , ,

..

2: .

: , -

. .

2.: (, ).

: , . -

, /: , /;

, /, -

/; , , .. -

/, /.

: , .., .

: - , .. - , -

- .

3: ( -

).

: , -

, , (-

). , -

/, /.

/, , /. -

, - , .. -

, -

, .. /, /. ,

,

/-, -/.

//. ,

, /, , -

, /. , -

/ӻ, , /.

: .

28

-

()

: , , ( -

), , .

4: ,

, .

: (-

), ( -

).

: .

: .

- .

5: : ) ; ) ?

: , -

/, /. ,

. , .

/, /. ,

/ /. , -

/ - /.

6: :

: . -

: , (), .

; ()

; -

, . -

, . / -

/. : -

, .

. -

. -

.

:

;

;

.

;

.

;

;

;

;

;

;

. . . .

8: :

:

. -

.

: .

,

29

: . .

9: , , -

, , :

: , .

: (: dfd) , ,

, . (: dfn) ,

. -

, dfd -

, dfn ,

.

:

1. , .. dfd dfn. -

: ) dfd < dfn /

/; ) dfd> dfn /

/; ) -

, /

,

, , , ../;

2. . : ) -

dfd dfn, dfn dfd. /

, , /; ) -

df dfd. / /.

3. . :

) , , dfn

) / -

/.

4. / /.

: , .

: : .

11. , ,

?

: () , -

( ) . :

,

, - , . /

, .. ,

, ., /.

/ 12 /.

:

1. . -

. : ) / .

/; ) / , -

/.

2. . : ,

/ , , /.

3. . / :

, /.

30

4. . -

/ , , .. -

: , , , -

, ,

../.

14-18. .

:

, -

. , , -

. -

, . , -

. .

, , .. ,

. ( -

) / /, ( )

/ /, ( ) /

/.

, . -

, -. S. ( . Praedicatum

) , . -

: л. ( ) .

. / : S

, , /.

.

( - ), ( ), -

, . ,

. : S л S л.

, .

: S л, S л. ,

.

, / -

/. , -

.

.

. S л.

I - S л.

Ż - S л.

λ - S л.

I ffirmo (), Ż λ

Nego ().

, .

, , , ,

(S+), , , -

(-). , -

, , .

I .

, , ,

31

(S-, -). (S) ()

, S , , +.

/ (S+) (+)/

S , . , ,

/ (S-) (+) / S ,

S; , .

:

: I: I: : - . : -

- . . - .

16. -

, , I, , -

:

: .

: , , -

: S- P-

, .

S - :

17. (, , I, ). -

. -

, ,

.

:

-

.

____________ ,

. : -

( I, ), (-

I ). -

, .

: ( ) -

( I , ).

:

: ( ), (I );

(I ), ( ). : -

, , : ,

. -

: , -

. , , - . -

S+ Ж S Ж S P+

S+ + S- +

S P

I

32

, . ,

, , .

: .

: (I).

: - ;

: - .

: - .

18. ,

. ( ).

: .

: I :

.

19-23. __________ .

:

, , -

.

( ): , λ (), Ȼ

(), Ȼ (), , λ ( ), , λ (-

), , ().

1. , λ (). : . -.

: , . , .

, .. .

2. Ȼ (). -

, , , , , ..

. : ∧ &. :

. ∧ &.

3. Ȼ (). : ∨. :

. ∨. . -

, ,

.

4. , λ ( ). : ∨. : -

. ∨ .

. , -

, .

5. , λ (). : →, ⊃. : -

, . -

. -

. : ,

. : →.

6. __________ , (). : ≡,

↔. : , -

. -

: ≡.

19. 3:

3 - . , .

33

:

, .

, . ( ).

:

: , , -

, D , .

((∧)→) ∧ ((∧)→).

21 22. . , -

.

:

.

) :

: , . ,

- . , .

, , .

:

∧ ∨ ∨ → ≡

, :

∧ . .

, .

. . : , -

, . - ; , , - . ,

(∧) . : , -

. , . , , , - . __________

. : , . , , -

.

∨ . . : 1) -

, -. ∨ . 2) -, -. , ∨ ( -

) . 3) -, -. , ∨ . 4) -, -. , .

, ∨ .

∨ . , . -

: 1) -, -. . 2) -, -. ∨

. 3) -, -. ∨ . 4) -, -. ∨ .

→. , . -

: 1) - ( , , ), (-

). → . 2) - ( , -

, ), ( ). -

34

, → . 3) -, -: → ,

. 4) -, -: → .

≡. ,

. : ,

. : 1) -, -. . 2) - , -:

, . ≡ . 3) - , - : ≡ -

. 4) - , ( , ): ≡ .

1: : ((→) ∧)→.

: . ,

, (→) [1] [2]. [3] -

[4]. → [5].

.

(→)∧» [ 3] ˻, [1]∧

[2] = .

→ 1 3 2 5 4

(→) ∧ →

5 - -

. , .

2: ((→)∧(∨))→(∨). ,

.

: ,

.

: , , -

8 .

→ 1 3 2 5 4

((→) ∧ (∨)) → (∨)

( 5) -

. , .

22. ,

. ( .)

35

:

:

( ∧ ) ≡ ∨ ;

( ∨ ) ≡ ∧ ;

( → ) ≡ ∧ ;

≡ .

: .

, -

.

23 :

.

: -

.

: 1 2 , -

(1→2) .

, 1: ∧, 2: ∨. , 1 2.

(∧) → (∨):

→ 1 3 2

(∧) → (∨)

(: ) . , -

1→2 , , 1 2.

.

-

.

. , (1→2) , ..

- .

1 : (∧) = , 2 : (∨) = .

, = =, ,

( ) . . , -

, . , -

(1→2) . , ,

, ,

.

24. .

,

. . .

.

1. : -

.

: ≡.

36

, -

, .

2. :

, , -

.

: (∧).

, ,

. , ,

, , .

3. : :

, , .

/ -

/, /

/.

4. : -

.

, , .

, , .

25. - , , -

.

:

.

1. - -

. , . -

.

2.

, .

3.

, . ,

, .

4.

, .

, .

: .

:

: . .

: -. - :

.

: .

: - .

26-30. .

:

() , -

. . Syllogismos - -

, (), .

37

1:

.

S

.

S

, .

:

: , . S -

. . ,

, . , S. -

, .

:

:

1. .

/ 2: . . (?),

/

2. , .

/ 3: . . , - /

3. .

/ 4: . . (?), -

/

4. , .

/ 5: . -

. , /

:

1. .

/ 6: , - ,

/.

/ 7: . . , - -

./

2. .

3. (S, ) , -

.

8: P+ -

.

S+ -

.

S+ -

.

,

, , -

.

:

.

1 : ____ 2 : ____ 3 : ____ 4 : ____

S_____ M S ____ M M____S M____ S

S

38

: , -

.

: , -

.

: , .

: , -

. ,

.

1 . , -

. - . ,

.

8 . .

. . ,

.

29: . ,

.

: .

, . , -

, : , , , ,

, , , , , ..

: , .

: ( ,

). ,

. , .

, . . .

. .

M+ P-

. .

S+ M- . 1 .

. .

S+ P-

.

31-36. .

: , -

. - -.

- -. - (-

) , , , .

, -

.

31: - ,

, .

: , . -

.

: , -,

: - . -

. .

39

(→)∧(→)

, →.

: , .

33: -

.

:

- () , -

, . -

( ) ( -

).

: , .

:

) :

((→)∧)→.

,

.

.

.

) :

((→)∧)→.

, -

.

.

.

) :

((→)∧)→.

, -

.

.

.

) :

((→)∧)→.

, -

.

.

.

34: - . . ,

.

:

- (), -

, .

: ((∨)∧)→ - ; ((∨)∧)→ -

. : -

. - ,

: . . , . -

- -

. : -

. . , .

.

: . .

: , . ∨

- - .

.

35: , - -

: ) - ; ) - -

. ( ).

: .

40

: ) . ) .

, . , .

, .

36. . , .

.

: , , ,

. .

: .

: .

: ( → ) ∧ ( → D)

∨ D.

.

37: .

:

.

.

. .

.

. ( . Inductio ).

. , -,

, -, , -

. / ; , , , ,

. /.

.

. .

: ) - -

; ) ; )

, .

: 1) -

; 2) ; 3) .

4) ; 5) .

1)

.

2)

3)

,

-

.

,

-

.

,

.

, , , , , ,

, D, -, , - , D,

, F, G -, , -

, - -, D, -

.

, -

-

.

, -

.

41

4) . 5)

, -

.

, -

.

1, , 1 , , ,Y,Z

2, , 2 A X

3, , 3 B Y

,

- .

, C

Z.

:

,

. 1880 . .. :

, (.)

(. ). . ,

- . , .

(.).

:

:

, : :

, , .

-, ,. .

, () ().

: .

38: , -

,

:

- , -

,

. . -

. .

-

, .

: 1) . 2) -

, . 3)

. : 1) __________

(.. , , , ,

..). 2) ( , , , -

..)

3) , : , , , -

, .

. -

, . -

Җ , .

:

42

1. , ( ,

).

.

1. .

2. .

3. .

4. . , .

: : .

:

) : , -

.

. , , -

. , , .

,

:

, , .

.

.

. , . .

) :

, . -

, . , , .

) :

1. , . (- ).

2. .

3. , . ,

.

4. , , . , ,

.

39: .

:

, . 3 ,

: , -

.

, . -

.

:

1. , ().

2. . ( ).

3. . .

4. .

:

1. ( ).

2. ( ).

3. .

: : .

:

43

:

1. , .

2. , , .

3. .

4. , .

:

1. ( ): -

.

2. () ( ).

: , __________

, , , , , -

, .

3. , - .

.

, -

. / : ,

. :

, /. ,

, , ,

.

, : , -

.

, -

, . / ,

, . /.

44

1. .. .- .: , 2000 304 .

2. .. . .: - , 1996. 309 .

3. .. . .: , 2000. 264 .

4. .., .. . . , 1998.

5. .., .-.. . -: - , 1999. 72 .

6. .. . , 1996.

45

2

1. .

I. ....3

. ...8

. ...15

2. 酅.27

.._______44__





:


: 2017-03-18; !; : 743 |


:

:

, .
==> ...

1853 - | 1669 -


© 2015-2024 lektsii.org - -

: 0.644 .