Logica_uristiv-Konversky

+ :

–,

–,

– .

, ’ -.

, «; $ % ».

6 ' #. 3 ', -# « ’

»:

.

, «!- ».

7 : «<- S 0».

+ # «/».

6 " '«affirmo» ( ). «/» # «<-... ...». «S» «0» – . % # ,# # # -: /sp.

K -,, .

, «; ».

+ # «A».

6 «Affirmo». «A» ## - # : «'... ...». % # , # - # : Asp.

+ , ,– . , «F».

+ :

«= S 0».

6 # "«Nego» ( ) – «O». «O» -# : «= ... ...».

4 #-: Osp.

K -, - , . , «; 0 ' ».

7 :

«' S 0».

+ #«Nego» – «"». «"» &

# : «'... ...».# : "sp.

5 # # -, . +-# ' -. / , &' -.

4 # #-# -

# . / , A – VA - ' : Asp, Isp, Esp i Osp.

$ :

) Asp – «i» ( {I, B}

( : « $ /sp, 0 A, B»).

) Asp – « » ( {H, AV, V}

( : « $ Asp % -, 0 H, AV, V»).

) Isp – « » ( {A, B, H, AV} ) Isp – « » ( {V}

) Esp – « » ( {V}

) Esp – « » ( {A, B, H, AV} ) Osp – « » ( {AV, V, VA}

) Osp – « » ( {A, B}

! # " # # .

4. < > >

S i P,.

:

1.«!- ».

2.«F ».

3.«; ».

4.«; ».

8 .

:

1.«!- ».

2.«!- $ $ " 0».

6 , " # Asp, Esp, # –Osp, Isp. D " , -# Asp # Asp, Esp – -Osp.

4 " # -# .

Asp (Esp) Isp (Osp) - .

, # : «!- -» Asp – « » «;

» Isp – # . $ # Asp: «!- -» # Isp: «;

» – .

! # Asp: «!-». $# «; »

Isp, # .

! # ,Asp (Esp) # Isp (Osp) # - . 0 # Isp (Osp), ’ -Asp (Esp). + Isp (Osp) # Asp (Esp) # -.

> Asp Esp, Isp Osp .

()

3 " ( ) -# Asp i Esp.

7 ,Asp Esp, -

, .

:

1) «!- -» –

2)«F - » – ;

1) «!- » – ,

2)«F » – # .

()

$" ( )# # Isp Osp.

7 , Isp Osp , – . $ .

:

1) «; k »

2)«; k » –

;

1) «; » 2) «; -

».

3 # Isp – , - # Osp – .

#: Asp Osp i

Esp Isp.

$ ,’ ,’ .

: «!- » Asp – . 5 #

«; » Osp

.