Logica_uristiv-Konversky

3 " #, " # -# , ,

« » (« »), « », « », « , », « », «-

* # «-» « », «- » (« » – -

, « » – ).

% -« », « », « , ».

6 – . 8 ’ . A

' ' -" .

’ ’ « »’ « », « », « , »,

« », « , ».

4 ’ « » ( # & «»), # -, & " #. $ -' ’ . 5 -( "- ), ’ « » ' , #" .

1.4 ' ..

2.# .

3 " ’ « » -« », – - " , #.

4 # , « » ':

( )

( " ).

1 ’ « » ( , ’ « » # " # S 0, # , ’ « » "), -.

74 . . .

0 , -, , ’ , ’ , , , -

.

5 « ’ », « ’ » –

, ’ (« » ).

% # , # -, #, - :

1)( ) -( )?

2)-

?

8 ’ .’

’ . > – « ». $ -. 8 " ’ (- ), , . / , " -#.

+ , -! -

, , .

4 -( ), : . (D # " : (—) ( ). $: . 4-. 3 -« », « ,

», « , ».

3 # ' ' ' -.

&

# : 2n ( 2 – ( ), n – -, ). > « »

( «false» – « »,

« »).

, , &-2n n 2 & 22 = 4. / , -. 0

6 ' ' -

0 # , -# , , , .

L ’ (/ $),, / -

$.

« ’ » conjnctio – ’ , .

3 ’ ' «/

$», «/ $», « / $», «/ $»,

«$, /», «$, /», « /, $» " .

3 ’ : « ».

! ’ ' -:

$ '

«+ % 0, ' )»" ,«+ % 0» « -' )». $ " .

$ & ' . B -, ,«». - , -# .

, -« », # # .

, «4 % -

, » # #. F -

.

/ ’ .

« ’ » disjunctio –

’ , , .

3 ’ ' : «/

$», «/ $, », «/ $», «/, $».

A ’ ' : « ». 8 « » & :

’ ’ ( ’ - ),

’ ( ’ )

’ ( ’ ).

+ ’ ' ’ '

, /

$.

! # -

’ !

* , # -' # -" ', , -

’ .

3 ’

«/ $, », «/, $», «/, -

, $».

! ’ ! -

: « «, « », « / ».

– ’ .

, «L $ < , - ».

C ’ , ,# , , -# " , .

’ ! .

3 « » # #, # . B -, , # -.

, «4 ' » ,, " . $. 4 « » -, # , ( " : " ,).

# -, ’ ' .

* -( ). 7 , -

, ,’ .

,

A ' ,«», # « , »,& & , " . 4’ " ,.

F « , » -« ». « »implicite – ’ .

5 ' « /,

$», «/ , $», « /, $», «$,/», « $ /», « / $».

' ! -

: « », « ».

% ' ,# , , ,, # ,. * #, -, & ,.

$ , « »

! « »,

antecedens – .

( ' consequens – - ).

3 ,, , , – -

, .

A ' , #-, # , # , , -– . $,

4 , '' ,'' , -# '' ,'' .

A ', ’ ', -, # # # ''. 5 ' –« , » ’, # ’ & . + ’& , ’ -