Файловый архив студентов. Файловый архив студентов.
1264 вуза, 4628 предмета.
/ Регистрация
FAQ Обратная связь Вопросы и предложения
Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Национальный медицинский университет им. А.А. Богомольца
Предмет:
[НЕСОРТИРОВАННОЕ]
Файл:

Logika-Homenko

.pdf
Скачиваний:
50
Добавлен:
20.03.2015
Размер:
1.25 Mб
Скачать
☆

) " ! " & : -+ $ . ) $ $ -$ .

5. = % 0 !

B ; - , $ :

1. #’

 

( ! -

 

!

- ).

 

.

 

 

 

2.

 

 

 

 

3. ,

$

 

.

 

 

 

 

*

 

: « — $

».

"$ :

 

 

 

 

+ #: .

 

.

 

 

 

+ #:

 

 

 

:

 

, — -

"

.

 

 

 

 

!& & : % - : «+ # # ! ) , % - # !, ) ) ! ) -». ) " ! - ! - - (-. ! - % % , ( ! - , $ % . ( , ( , ; -; « '».

' «# C <

»

 

 

 

 

 

1. = % 0 ! ,

$ :

B ; ( ,

1.

#’

(

: ’-,

,

’ ;

.

 

 

2.

(

 

 

3.

# $ (

.

 

 

321

* ( «+ # ! # )-». :

0 )’# : - & .: .

9 ’ — -.

< ( . N ! ($) - +: «+ S # P».

2. E ! ! !

2.1. E$ !

B ; ! + , -

 

! , + -

+ , $

:

 

 

 

1. +

, $

+

, &$ -

"

.

 

 

+ -

2. #’ ,

" &, ; -

+

.

&$

 

.

 

 

 

 

,

3. L +

! .

 

 

 

 

 

 

 

* +

«/ % «0» ) «!»

! «9 » #, «E » ' -

$ ».

 

 

 

 

 

 

< +

,

’ $:

«0» # — p.

 

 

 

 

 

 

«!» # — q.

 

 

 

 

 

«9 » # — s.

$

— r

 

 

 

«E »

'

 

 

 

/ — z.

 

 

 

 

 

 

B (

+

$ -

: «% …, …», «… ) …»

«… …». G +

«-

" », « ’+ " » « ’+ " ».

 

 

# % ! +

:

((p q) s) (r z).

 

 

 

 

 

 

322

2.2. E$

B ; ! +

, -

 

 

! , + -

, $

:

 

 

1. #’

 

, ; -

+

, &$

.

 

2. #’ , ; +-

 

,

&$ .

 

3. # ! .

 

 

*

+

: «+ ».

B $ : «) -

» «) ». &$

-

R.

 

 

 

 

/

+

(

 

 

(« »). < ! " & - -

 

« ’+ " ».

 

 

# % ! +

:

 

x(P(x) R(x)).

 

 

 

 

 

 

3. ! !

 

 

% #! &

B ; , - ( +-

 

 

 

, -

+

+ -

"

, $ :

 

 

1.L + ++ .

2.) ! , & !- " &, ! . A ( ! -- " .

3.( $ -

" $ $ ($ ! ). A-" ++ ! + 2n,

n — "

$

$ ! .

4.

 

 

( &

& !

(

 

 

$.

323

 

 

5. , - (

+

-

 

 

,

 

 

+ .

 

 

 

 

 

 

 

 

 

 

 

 

* +

«6 !, % #

 

 

) , ! ,

 

 

# , ».

 

 

 

 

 

 

 

L- . -:

 

 

 

(p q) ( p q).

 

 

 

 

 

 

 

 

 

 

 

!

& ! : p, q, p, q,

 

 

p q, (p q), p q, (p q) ( p q).

 

 

 

< ! + (

 

 

" .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

p

q

p

q

q

 

(p q)

 

p q

 

 

(p q) ( p q)

/

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

B ( & ! $

 

 

"

 

 

 

, + && !-

 

 

: p, q. ) ’ " " 22 = 4,

 

 

 

 

 

, $ (

 

 

"

 

: , , , $ , $, , $, $ .

 

 

- "+

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

p

q

 

p

 

q

q

 

 

(p q)

 

p q

 

 

(p q) ( p q)

/

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

$

 

$

 

 

 

 

$

 

$

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

$

 

$

 

 

 

 

 

 

$

 

$

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

$

 

 

 

 

$

 

 

 

 

$

 

$

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

$

$

 

 

 

 

 

$

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

/

 

 

 

& " (

, ; -

 

 

(

 

+

 

-

, -

 

 

 

 

-

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

324

4. = % 0 !

B ; , -$ :

1.

#’

.

 

 

2.

 

.

 

 

 

*

 

«2

#?».

N + - +

«( -

#».

 

 

 

 

<

, -

 

 

,

- $ +

.

 

5. !& $

,

 

B ; ’ , -

 

$

 

-

 

%

 

 

( +

, -

 

 

, :

 

 

 

 

 

1.

! ($)

.

 

 

2. ’+ " + + , ; ( +

 

.

 

 

 

 

 

 

 

3. , - "-& ’+ " &

+

, -

 

.

 

C ; — , - . C ; —

,

 

- .

 

 

 

 

-

: «/ % # -

# !, # . 3 , -

# )

# !».

 

! .

.

 

 

 

 

 

 

 

 

 

C ; -

 

- ,

-

.

 

 

 

 

 

 

-

 

 

 

 

 

 

 

 

( , -

 

 

- .

!

- :

 

 

 

(p q) r

 

 

 

 

 

 

 

 

 

r_______

 

 

 

 

 

 

 

 

p q

325

:

9 # — . ; # ! — q. ( # — r.

 

 

 

#’- -

 

 

«-

 

 

 

’+

" »:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

((p q) r) r

 

 

 

 

 

 

 

 

 

 

, - "-& ’+ " & -

 

 

 

 

 

. B " ’-, -

 

 

 

 

(((p q) r) r) ( p q)

 

 

 

 

 

 

. #- " .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

p

q

r

p

q

r

p q

(p q)

((p q)

p q

(((p q) r)

r)

/

 

 

 

 

 

 

 

 

 

 

 

r

 

r) r

 

( p q)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

$

$

 

$

 

 

 

 

 

$

 

$

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

$

 

$

$

 

 

 

 

 

$

 

$

 

$

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

$

 

 

$

 

 

$

 

$

 

 

 

$

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

 

$

$

 

$

 

 

 

 

$

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

$

 

 

 

 

$

 

$

 

$

 

 

 

$

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6

$

$

$

 

 

$

 

 

 

$

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

7

$

 

 

 

 

 

 

$

 

$

 

 

 

$

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

8

$

$

$

 

 

 

 

 

 

$

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

B (

+

 

- . '

 

 

 

, ( ( , ;

 

 

 

 

( - %

 

 

 

 

 

. <

-, ;

-

 

 

 

, -

.

 

 

 

 

 

 

 

 

' « '

»

 

 

 

«

'

»

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

/%=<)* -<-%: &%,' (-<<;

B ; ,$ :

326

1. #’

 

. C ; "

 

"

 

.

! ($)

.

2.

 

3.

, -

 

-

 

.

 

( ) -

4.

 

 

.

 

 

 

 

 

:. -

: «; , % ) *. ) -

) . * $ # ! -, ) *. ) $ )

. ) ) , ,*., , . 3 $ '.

7 ) ! , % ) ) -

! ».

#’- .:. +

, $

$ .

 

 

 

+ .

 

 

 

.

( , $ $ .

! ($) . p q r

p

q_____

r

) " F «) ) ! » -

$+

. < -

 

, — -

 

,

-(-

. - ( &, +- , +. ' , ; % - -+ -+.

327

# $+ (% , ; $ (-& . C ; " ,% $.

' « : ' 0 :»

/%=<)* -<-%: -,/ &+<-F%E/',) )')

B ; - " &/ , $ :

1.#’ " &/- .

2." &/ .

3. & -

" &/ .

, $ $;

4. #’ , $ ;

.

 

* " +, ;

+ «-

+ ! »: «/ % , -

— , , ; %

, # . *'- ' %- ) ! — ) , ) . 3 , ) # — ,, ».

% + — " . R - + — .

< " , $+ -.

) " " & % 2 ; : «* ) , ) )N». ) ; -« ». ' %$ ! " , .

328

* *. ;. . — ., 2002.

< (. *., ; (. U. k . — ., 1994. < ' (. 6. - . — ., 1996.

( ' 5. >., + ;. . . — ., 1998.*. +. . — ., 1995.

C ) (. D. . — H , 2001. U j. (. . — ., 1994.

U j. (. + . — ., 2001. U *. *. . — ., 1999.

= 3. *. . — A., 1996.

=' *. . ! ! & . — A., 1997. > (. U., 0 *. *. . — ., 1995. > ! *. D. . — A., 1999.

> ! *. D. ( " ). — A., 2004. . — , 1997.

0 (. *. . — ., 1995. 0$ (. U. — ., 1987.

L . — ., 1977.

, =. (. . A., 2004.

, =. (. — + . — A., 1997, 1998. , =. (. + . — A., 2001. , =. (. O . — A., 2001.

, =. (. O . ' . — A., 2007.

, I. (., * I. *. . — A., 1996.

< (. E. : ( : . —, 1998.

U *. *. . — ., 1997. U j. (. ) ( . — ., 1972.

; ! (. 6. . — A — , 1990.( . — , 1990.

, =. (. $. — A., 1998.

, =. (. : . — A., 2002.

, =. (. . — A., 2007. ) ( . — ., 1993.

+. ., U *. *. . A - . — ., 1991.

329

> 6. U. - . — ., 1975./ . B. M ): 4-$ $. — ., 1982.

L ! ‰ " . — ., 1960—1970, . 1—5. L ! ‰ " . — ., 1993.

. • k k. — , 1994. . k ; : H . — ., 1994.

k ! ! . . L ! . Argumentation. Argumentation and Advocacy.

The Bulletin of Symbolic Logic. The Monist.

Mind. Modern Logic.

Nordic Journal of Philosophical Logic.

Notre Dame Journal of Formal Logic. Informal Logic.

Journal of Applied Non-Classical Logic. Journal of Logic, Language and Information. Journal of Logic and Computation.

Journal of Philosophical Logic. Journal of Philosophy. Journal of Symbolic Logic.

History and Philosophy of Logic. Logique et Analyse. Philosophy.

Studia Logica. Synthese. Theoria.

* . )

k ‰!! " -

. — / , 1994.

 

< 6. >. . — ., 1983.

< +., $ /. "

. — ., 1978.

< <. (. U $ k$ ! : ! " k% ‰$. — ., 1985.

330

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]
Помощь Обратная связь Вопросы и предложения Пользовательское соглашение Политика конфиденциальности