.


:




:

































 

 

 

 


, : 2




 

, ? . " {.I, .114} [292, .105].

, , , , - , .

" ", ., , , - ( , ). , " , , ... , , , - . ..." [299, . 420 421].

. , ( ), , , " ; , , , " [73, . 107].

, ., , , . , " " , . , . , . - , , . , "". , , , . , .

, , [242],

 

, , , :

(iA) =df iA [(iA){([ A (* a)]) t }].

. , "", , , ... . , , , , (, , !) , , .

, , , . , . : " , , !".

, , , - , , . , ... - . , , , , . , , , , , -, .

, , , , , , . , - , , , .

 

: " , ". .

3.2.3. . , , (. atributio ): () , . .

iA Þ [(a *) iA ].................................................................. (3.13)

[ iA (* a)] Þ [(a *) iA ].................................................... (3.14)

(3.14) , -. - , .

, (3.13) , " ", . , " ", .. " ", , , , .. [(La *) iA ], - , . , , ("" , "" ) .: {2 2 b } [8, . 5557].

. , , , , , , , .., , modus vivendi , ( : , " " [144, . 197],

, ). , , : .

3.2.4. . , , :

iA Þ [ iA (* a)].................................................................. (3.15)

[(a *) iA ] Þ [ iA (* a)]...................................................... (3.16)

, ( ) - . .

, , , . .

(3.15) , - : [ iA (* a)]. , .. , t. [ t (* a)][ t (a)] . [ iA (* a)][ iA (a)] , :

iA [ iA (a)].................................................................... (3.17)

(). , : . ( [290] ).

iA [ (iA)]..................................................................... (3.18)

, " " , , , (3.15) (3.18). .

 

. (3.18) , , , . , .

, [288], . , [332] , , , , , . : , , , . , - , .

, , , , :

[ [ A (* a)](* ia) ] ia'.................................................... (3.19)

[ [ a (* a)](* iA) ] i '.................................................... (3.20)

[ [ A (* a)](ia) ] Þ ia '........................................................ (3.21)

[ [ a (* a)](iA) ] Þ i '....................................................... (3.22)

: , , ,

.

, , , : , . , , , , .. .

, . (3.19 3.22) , , (3.18). : ii (* i A) ii (i '). , , .

, , . ( ). , , . .

325 , "" . , (, , !): " !" . : " - , : ?". , , , ,

 

, . - , .

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

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

, " ", , , . , . , , .

, , , , . , , , , ., . , , , , , , , .

 

, (. [289]): "" , , , , , .

3.2.5. . (3.4) , , .

" " , . , , , -, , " " , , , - " ", . , , , : , , , (, -, ) , ? ? ?

, , , , "" . - , - , " " . .. [128]

 

, .

" "?

"" " ", , . , , [248, . 57], .. , , , , , , (" "). "" , , , , , , .

, , , , , :

t, i Þ [(i) { (([ (* i)]) t) N } ].

" " , .

, " ". , , , - . , ( , , ) :

i Þ {[ (i){([ (* i)]) iia } ] [ (i){ ( ([ (* i)]) iia ' ) N } ]} (3.23)

, - - , .

, . , , " ", " ".

 

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

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

[ iA (* a)] Þ {[ (i){ ( [ i (* a)] ) iia } ]

[ (i){ ( ([ i (*a)]) iia ' ) N } ]}...................................................... (3.24)

. - , , . - , , , , , , .. , , ?

, . , - , . , . , ,

 

, .

, , , -, . [247] - , , . , , "" , " " , , " " , , . ( , , , ? - ? - , , ). , , , . "" , " " ó.

, , . , , , , , "" , - . , , , , . , , - , , "" . , :

[(a *) iA ] Þ [ ([ a (* a)]) iA ]?

[247] (. D1D3 [234, . 171]),

 

iA Þ[ iA (* a)], (3.15). , , , , , - . , , , .

. RC-1 [234, . 173] . : i Þ[ i (* a)]. RE-2 [234, . 174] -, : Þ[ (* a)]. C3.2 [233, . 170] :

{ Þ[ (* a)] } { [(a *) iA ] Þ [ ([ (* a)]*) iA ]}

, , (" - - "), modus ponens [234, . 172] , , :

[(a *) iA ] Þ [ (i) { ([ ii (* a)]) i } ]

[ (i) { (( [ ii '(* a)] ) i) N } ].......................................................... (3.25)

, (3.24), , "" "" .

(3.25) , , , ,

 

, , , , , . , . - , "", "", "" ..?





:


: 2016-10-30; !; : 520 |


:

:

, .
==> ...

1588 - | 1377 -


© 2015-2024 lektsii.org - -

: 0.056 .