Logika-Homenko

& ! ;

101

102

5

& ! ;

103

$ -

+

. " &

-& (

, $

-

(

.

$

& .

104

5

& ! ;

105

#’-, ( +

-

& + . B "

$ :

1. #’ , ; -

+

, &$ .

2. #’

, ; +-

,

&$

.

3. # ! .

Z

) () ( P(-<<;

,)'-

I ,&-

/

1

+

,

1.1. : —

1.1. 4 ( )

$ ( + (-

+

:

1.2. Q (b, a)

+ )

-

1.2. M

- +

~R(b)

2

+

,

2.1. :

-

2.1. S (a, c)

$ ( + (-

- -

2.2. ~Q (a, d)

+ )

-

2.2. :

%

(

-

3

+

,

3.1. H - +-

3.1. P (x)

$ ( + (-

-

3.2. ~S (x, c)

+ )

-

3.2. H

, -

-

-

4

+

,

4.1. H

-

4.1. yF (x, y)

$ ( + (-

4.2. H

+-

4.2. y ~A (x, y)

+ ), ;

- - -

"-& "

106

5

Z

) () ( P(-<<;

,)'-

I ,&-

/

5

+-

5.1. B

+-

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

, $ -

—

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

( +

(-

5.2. )

—

+ )

-

+

+

5.3. (P (x)) ~R (x))

$ ($)

5.3. B

-

5.4. (R (x)) ~H (x))

5.4. U

- %$ -

6

+ -

6.1. B +

-

6.1. (M (x)) F (x, c))

, $ (-

+

6.2. (P (x)) S (x, c))

+ ( + ) -

6.2. ) + -

-

+

6.3. (M (x)) ~F (x, c))

%

(

6.3. B

+

( )

-

+

6.4. U

+

6.4. (M (x)) ~W (x, c))

-

- +

7

+ -

7.1. M-

+

7.1. (O (x)) y (B (x)

, $ (-

+

A (x, y))

5

+

( + )

7.2. B + +-

7.2. (O (x)) y (B (y)

7.4. B +

7.4. (O (x)) y(B (y)

-

$

A (x, y))

%

(

7.3. B

+

7.3. (O (x)) y(B (y)

( )

-

+ $

~F (x, y))

( ) -

+ (

& -

~A (x, y))

%

12. a —

, -

«: ».

, - ’ « +-

13. b —

& ! ;

107

& ! ;

109

< ! (

"

’+

-

" & :

Z :/

A

B

A B

1

i

i

i

2

i

x

x

3

x

i

x

4

x

x

x

* ( , «* (», (

( «* (», «/ *,

(», «* , (», «(, *», «6

' *,

(», «*, (», «*, (» .

*#’) , ) ($ + + (

-

"" &

) ’+

" +

( ) ’+ " +.

"! #$ (%) ’$

* + : «7 — -

) ! ». <

+

$ $:

• +

- , ;

;

• +

- , -

• +

- , -

.

110

5