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

Logika-Homenko

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

) % $

 

 

 

$ " $

$ p q, $ -

( + .

#

 

~ p ++

 

p -

 

 

 

 

«

».

#

 

p ( q

++

p q

 

 

« " ».

 

% ,

 

(p ( q) ~p

++

 

p ( q ~p

-

 

«

’+

" ».

 

 

 

 

 

# + "

 

( -

- +

, ’ ,

-

 

 

,

 

+

.

 

 

 

/ % ) )$ -’ # !, % ) # « » , ! - ) ! , # -. $! ! -)$ ) ' .

- "+

+ p ( (q ( p):

 

 

 

 

 

 

 

 

 

 

 

Z :/

 

p

q

 

q ( p

 

p ( (q ( p)

 

 

 

 

 

 

 

 

 

 

 

 

1

 

i

i

 

i

 

i

 

 

 

 

 

 

 

 

 

 

 

 

2

 

i

x

 

i

 

i

 

 

 

 

 

 

 

 

 

 

 

 

3

 

x

i

 

x

 

i

 

 

 

 

 

 

 

 

 

 

 

 

4

 

x

x

 

i

 

i

 

 

 

 

 

 

 

 

 

 

/

 

& " (

, ; -

+ p [ (q [ p) - .

/ % ) )$ -’ # !, % ) # -

5

& ! ;

121

«)» , -

! ) ! , -# . $! ! )$ ) ' )-.

- "+ + ~(p ( (q ( p):

Z :/

p

 

q

 

q ( p

p ( (q ( p)

 

~(p ( (q ( p))

 

 

 

 

 

 

 

 

 

 

1

i

 

i

 

i

 

i

 

x

 

 

 

 

 

 

 

 

 

 

2

i

 

x

 

i

 

i

 

x

 

 

 

 

 

 

 

 

 

 

3

x

 

i

 

x

 

i

 

x

 

 

 

 

 

 

 

 

 

 

4

x

 

x

 

i

 

i

 

x

 

 

 

 

 

 

 

 

 

 

/

 

& " (

 

, ; -

+

~(p ( (q ( p) - .

/ % ) )$’ # !, % # #, ! )- ! , ) -. $! ! )-$ ! ) , ) .

- "+ +

(p ( q) ~p:

Z :/

 

p

 

q

~ p

 

p ( q

 

(p ( q) ~p

 

 

 

 

 

 

 

 

 

 

1

 

i

 

i

x

 

i

 

i

 

 

 

 

 

 

 

 

 

 

2

 

i

 

x

x

 

x

 

x

 

 

 

 

 

 

 

 

 

 

3

 

x

 

i

i

 

i

 

i

 

 

 

 

 

 

 

 

 

 

4

 

x

 

x

i

 

i

 

i

 

 

 

 

 

 

 

 

 

 

/

 

& " (

 

, ; -

+ (p ( q) ~ p - + .

122

5

 

'

! ) #! &

 

"

 

 

! , ; " ! -

 

 

"

$

$. -

 

- % %

-

" $

$ ! . ' , ; !-

3 "

,

" (

23 = 8, ; 4 "

, — 24 = 16 . .

 

 

, $ , ; , ; ! p (q r) - +.

Z :/

p

q

r

(q r)

p (q r)

 

 

 

 

 

 

 

 

 

 

1

i

i

i

i

i

 

 

 

 

 

 

 

 

 

 

2

i

i

x

x

i

 

 

 

 

 

 

 

 

 

 

3

i

x

i

x

i

 

 

5

 

 

 

 

 

 

 

 

4

i

x

x

x

i

 

 

 

 

 

 

 

 

 

 

 

5

x

i

i

i

i

 

 

 

 

 

 

 

 

 

 

6

x

i

x

x

x

 

 

 

 

 

 

 

 

 

 

 

7

x

x

i

x

x

 

 

 

 

 

 

 

 

 

 

8

x

x

x

x

x

 

 

 

 

 

 

 

 

 

 

$ " , - " , !% +. - .

: "+ & ! + -$ . B &$ !- + " *, F, - + « » ( . «truth») «$» ( . «false»). < + .

L , + & "$ , - + +. -& !-( , (- -+ .

& ! ;

123

: , ’+ " &, ’+ " & ( & &), " &, " & ! ++ "$. :

1. #

 

 

 

 

«-

 

», ; ~* —

 

 

, * — $ . <

+

 

:

 

 

 

 

 

 

T~

T ~ A

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F A

 

 

 

 

 

 

 

2. #

 

 

 

 

«-

 

», ; ~ * — $ , * —

. <

+

 

:

 

 

 

 

 

 

F~

F~ A

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

T A

 

 

 

 

 

 

 

3. #

 

 

 

 

 

 

«

’+

" » * ( -

,

* ( —

. < +

-

:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

T

T A B

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

T A, T B

 

 

 

4. #

 

 

 

 

 

 

«

’+

" » * ( - $

,

* — $ , ( — $ . < + -. * "

 

-

& "

 

 

" (

), (

 

$ $+ $ ( .

 

 

 

F

F A B

.

 

 

 

 

 

 

 

 

 

 

F A| F B

 

 

5. #

 

 

 

 

« ’+ " ( )» * ( -

 

, * —

, ( —

. < -

+

:

 

 

T A B

T T A | T B .

124

5

6. #

 

 

« ’+-

" ( )» * ( - $ ,

* ( — $

. < + -

:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F

 

 

F A B

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F A, F B

 

 

 

 

 

 

7. #

 

 

 

 

 

 

« ’+ " ( )» * ( -

 

, * —

 

 

 

, ( — $ ;

* — $ , ( — . < +

:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

T

 

 

 

T A B

 

 

.

 

 

 

 

 

T A,F B | F A,T B

 

 

 

8. #

 

 

 

 

 

 

« ’+ " ( )» *

( - $

, * ( —

 

 

; * ( — $ -

. < +

 

:

 

 

 

F

 

 

 

 

F A B

 

.

 

 

 

 

 

T A,T B | F A,F B

 

 

 

9. #

«-

" » * ^ ( -

,

* — $ ( " ) ( —

( ).

< + :

 

 

 

 

T

 

T A B

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F A| T B

 

 

 

 

 

 

10. #

 

 

 

-

« " » * ^ ( - $

 

, * —

 

( " ) ( — $

( ). < +

:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F

 

F A B

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

T A, F B

 

 

 

 

 

 

11. #

 

 

 

 

 

« " » * W ( -

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

125

& ! ;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

, * ( —

; * ( — $ . < -

+

:

T A B

T T A,T B | F A,F B .

12. # « " » * W ( - $ ,* — , ( — $ ; * — $ , ( — . < + :

 

 

F A B

 

F

 

.

 

T A,F B | F A,T B

) $

$ $, $ ; ,

* ( (

- !

+ .

 

 

 

1, 2, 3, 6, 10 + - , 4, 5, 7, 8, 9, 11, 12 — - .

B ; , - ! * -$ - " , + , ; " ! - $ +,+ F. B && -+ -$ , ; .

+ - , - ! . —$ , - - ! . / " $ , ; T F" . <, ; & " F - . # ( , ( " ) -" " , + "$ " .

A " " ( +, - +. C ; , & $ -

126

5

$ "

-

T F, ; — ,

&

$ -

"

:

T, F.

 

 

% , ; " " FA -, ! * ( (.

, - ! p (q p) . # "-+ + -, ; " ! $ -"+ Fp (q p) .

:

 

F p (q r)

 

 

 

 

 

 

 

 

F ^

 

T p ,

Fq r

 

 

 

 

Fq , Fr

 

 

F

) - " "+:

{T p, F q, F p}*

 

 

 

< " -

 

 

+ (*), " p

$ &

T F. ( , !

p q r —

.

$ " $ !$ $ ! , ; (" " , . < - - , + .

, - !

( p q) [( p ~ q) ~ p] -

:

 

 

 

 

 

 

F( p q) [( p ~q) ~p]

 

 

 

 

 

 

 

 

 

 

T p q ,

F ( p ~ q)

~ p

F ^

 

F p, T q

T p ~ q ,

 

F ~ p

T ^,F ^

 

 

 

F p

T ~ q

 

T p

T ^,F ~

 

 

 

 

F q

 

 

T ~

5

& ! ;

127

) ’ , ; % & - & " F ( p q) [( p ~ q) ~ p] -

, " ;-" . ) - "$

" :

 

 

 

 

 

1. {F p, F p, T p}*

2. {T q, F p, T p}*

3. {F p, F q, T

p

}*

4. {T q, F q, T

}*

 

 

 

 

 

 

 

) " (1—4) - . ( , ( !-— .

B ; , - ! -, $ "+ * , , ; ( !-. C ; && -" " , ! .

#’-, - ! ~ [( p q) (~ q ~ p)]

 

. B " -

"+:

T ~ [( p q) (~ q ~ p)].

 

T ~ [( p q) ( ~ q ~ p)]

F[( p q) ( ~ q ~ p)]

 

 

 

 

 

 

 

 

T p q ,

 

F ~ q ~ p

 

 

 

 

 

 

 

F p

T q

T ~ q

F ~ p

 

 

 

 

F q

T p

T ~

F ^

T ^, F ^T ~, F ~

A " " :

1.{F p, F q, T p}*

2.{T q, F q, T p}*

/

#

A " " , ( ! - .

) " ( $ - . : $ ++ $, ! + . *$.

128

5

+$ ,

A- ! ; . .

0 :

, # \

< -, ; "

+

 

 

 

,

 

 

+ . #

% " -

 

 

 

 

% $ . N ( ! +

( : ; + -

,

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+$

 

 

 

 

 

 

 

* ! ; .

-

 

 

 

 

 

 

 

#

< #$.

 

 

 

 

 

 

 

 

 

 

 

 

0 :

 

 

 

 

 

 

 

 

 

 

( )

 

 

 

 

 

<

 

-

+

, +

,

$ - -

 

. $ -

 

 

 

 

+ ; ( + , —

+ , (

 

-

 

 

 

 

+ ’-,

 

%

.

 

 

1. +

: «7

$ » «7

$! -

».

 

 

 

 

 

$: «! ,

2. /- $ +

, ) !» «!-

,

) ,

) -

!», $ (

 

.

 

 

 

 

 

 

 

5

& ! ;

129

3. / - +

: « # -

» « # », ; %

$ - -

 

( ,

),

—

% (

,

 

-

 

).

 

 

 

 

 

C ; «

» «$

»,

 

( ! + :

-

+

 

- $

.

 

$ — "

 

$

+

:

+

- -

, $ —

. #

-

! , ; +

(

 

 

.

"

! ++ ; : $ -

$ + - $ . < ! + +- $. ' , $ &$ -, & $ -, ; .

+$ $! % & %

% ! , # ;- ! , + #$! , — -, . . !- , . " #$ (« »).

0 ! :

# + ; :- . : % ! + -: «6 ), !), % ) ), % ! ) , ) ».

) : " . + ( , - + &, $ %

130

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