:

, ,
.
, :

,
.
.
, .
:
..1: ( 1): 2 6
..2: x x 2 5
,
.
..1 , ..2, .

:
,
, .

.

p x : x x 2 0 .
q x : x 2 x 1 7 .
x . p x
.

, .

x 3 , x .
x q x .

,
.

, .
. :

p , p

p p . p p ,
p .
: p : 5 7 , p :
5 7 . p :

p (A),

p ()

p q . p
q , p q
p q . p q
: x 2 ,
p:

x0

: x 2 x 0 .

q:

p q p q . p q .
O p q .

pq

10



p q . p
q q
p , p q p q . p q , : p q q p
p q
. :
: x 2 9 x 3 x 3
p

:
q

pq

().
p q . p q .
p q p q .
p
.

q -

5 2 2 0 , p
p

pq

11

()
p q . p q .
p q p q .
p q p q

: 2 1 0

, p q . :
, ,
p

, q .
:

p q

: , , , ,
.
, ,
.

p p q p .
:

p q

p p q

p p q p

p p q p ,

12

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

.
:
:

, .

x y
2 , x y .
y x
:

2
x y
2
2
2
2
2 x y 2 xy x y 2 xy 0 x y 0 x y 0 x y.
y x

13

.
:

0 x y

x
y

1 x 1 y

x
y 1 x0,1 y 0
x 1 y y 1 x x xy y xy x y

1 x 1 y
.
.

p q
. , .

q , q .
, , .
:
2 ,
.
:
, .
2 , .
2 2 4 2 2 2 2 .
2

, .
2

.
.

14



1.

.
. x 4 , x 2
2

. x 2

x 2 4 . xy 0

x
0
y

. p q p q .
. .
:
. .

. . .. x 2 x 2 4 .
2

. . .
. . , p q
p q .
. . , .

2.

;
. 8 . .
. .

5 .

:
. .
. .
. .
3.

;
. .
. , .
. 3 4 20 .
:
. .
. p q p :

q : .
. p q p : 3 20 q : 4 20 .

15


.
4.

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

p : ,

r : . -

q :

: ,
:

p q r .

. : p :

q : . :
,
: p q .
. : p : , q : r : .
:
5.

p q p

p q r .

p q p .

p q

p q p

p q
. .

16

p q p


6.

, , x x 0 ,

0
:
.
0 . x 0 x x

x .

x . , x .
0 .

0.

0 x 0 0 x 0 0 0 0 .

0 .
7.

p q p q .
:
p q

p q

p q

p q

p q

p q

p q

p q

p q .

( ).
p q p q .
,
2 2 0 . 0 0 .
:

p: 0 q: 0 , 2 2 0

p q .
2 2 0 ,

2 2 0 , 0 0 . 2 2 0
p q .

p q
17

p q .

8.

p q p

p .

:
:

pp

p q p

p q

p q p

q .

( ).

9.

, . 2 2
.
:
, , ,

2 1 2 1 . :
2
2
2
2
2 2 2 1 2 1 4 4 1 4 4 1 4 4 4 4 2
2

2 2 2 2 2 2 2 1 .
2 2 2 2 1 ,
2

.. . 2 2 2 2 2 2 1 .
2 2 2 .
2 2 .

18

1. () ();
i. .
ii. x x 2 x .
iii. x x 2 x .
iv. .
v. p q p q .
vi. .
vii. : , .
viii. .
ix. .
x. , .
i

ii

iii

iv

vi

vii

viii

ix

2. , ,
.
1. 0 0 0
2. 2 0 0
3.

4. 1 , 2
5. , , , 2 2
6. 2 2
7. 0 3 2
8. 2 9 3
9. 3 4 3 4
10. 0 0 0
1

19

10


3. .
. ,
. . ..
p .
. p .,
. ,
.
. , .
4. : ,
., , ,
.
1: x x 2 2 .
2: x , x 2 2 .
3. . x , . x3 1
4. . x 1 ,

x2 1

5. . x , x 2 x
6. ., x , . x 2 x .
5. .
i. x 5 ,
ii.
iii. x 1 x 4
y 3,
v. x y ,

iv. z 4 ,
2

vi. x 2 y 2 .

6.

.
.

x x
x2 2
x 2 x 3 0

4
x2 y 2 0
x, y xy 1 5
6
7
8

1
2
3

x 1

20

x y 1 x y 1

x x
x y0

x 1
x 0 x 1
x y 1

x
x3

7. 1
2 .
1

x 3

2
1
x 0 x 1

x 4 x 2 0

x 4

x2 x
x 2 9 x 0
x x 3 0

3
4
5

x 2 x 2
x 0 x 3
x 2 x 4

x2 4
x 2 16 x2 4 x 0

6
7
8
9

x3
x 3
x 2 x 2
x 3 x 3

8. p,q . p q q p
( ), .
9. p,q .
. ( de Morgan).
:

p q

p q

q .

10. ( ),
: p q q r p r .
11. , . :
i. , , + .
ii. , , . .
iii. , + .
.

21


12. ,, , , :
i. 2 .
ii. .
iii. 4 .
13.

.
2

14. . 2 ,
.
15.

. :

: .
: 0 , .
: 0 ,

22