- .
[3]. , . , . , : , , (. ). .
, () ( - ) ( ) - . - , , . , 23 = 8.
1) p v q 2) É c v q 3) ,
- 1 2
( ) 1 3, 2 3, 1 2 ( , , ). ( 3), ( ).
: ()?[4]
, , . , , . , . , . , . , , . , .
|
|
.
, -, . -, , , , , .
() ( ) (), ( ) É [5]. ( ) - ( ). - .
. , - (), , . , , , ( ). [6], , (), (S) () .
, ( ).
()? , , , :
,
S S ,
S ( ). :
1)
S ;
S
2)
S ;
S
3)
S S .
().
, , , , , .
|
|
( ), . ,
( ). (S ). (S ). ,
(S, ). . , : -, , . , .
- . :
S
――――――――
S
, ( ). , , . ().
:
() ()
(S) [7] ()
(S) ()
S
().
. I.
( ), , . . . VI 5.
, , , . .. . VII.
, , , , ? , , , . , .. ( ), , , . , , .
, , , : , . , , , .
1.
1. :
1.1 ; 1.2 ; 1.3 ; 1.4 ; 1.5 .
2. :
2.1. , , , . 2.2. , . 2.3. , , . 2.4. , . 2.5. - .
3. p ÙØ q É r? -, - , -?
4. :
, . .
|
|
5. ? , ?
, .
2.
1. :
1.1. ; 1.2. ; 1.3. ; 1.4. ; 1.5. ; 1.6. ; 1.7. ; 1.8. .
2. . .
2.1. . 2.2. . 2.3. . 2.4. . 2.5. - .
3. Ø q É (p ÚØ r)? -, - , -?
4. , :
, . , .
5. ? , ?
- , .
3.
1. :
1.1 , , ; 1.2. , ; 1.3. , ; 1.4. , , .
2. , , ? ( ), .
.
.
, .
3. p É q ºØ r? -, - ?
4. , ?
, . , . .
5. ? , ?
.
4.
1. :
1.1. ; ; 1.2. , , ; 1.3. , , , .
2. , . , .
2.1. . 2.2. . 2.3. . 2.4. .
3. p Ù q ↔ r? -, - ?
4. , :
|
|
, . , . , .
5. ? , ?
- - .
5.
1. . , :
1.1. : ; ; ; 1.2. : , , , , , ; 1.3. : ,, , , ; 1.4. : ; ; ; ; ; ; 1.5. : ; ; ; ; 2. , , :
2.1 . ; 2.2 . ; 2.3 . .
3. p ÙØ q → s? -, - ?
4. , :
, . . , .
5. ? , ?
- , .
6.
1. ( ) , :
1.1 , ; 1.2 ; 1.3 ; 1.4 . ; 1.5 .
2. , , ? ( ), .
.
.
, .
3. ØØ p º (r É q)? -, - ?
4. , ?
, . , .
5. ? , ?
- , .
7.
1. : 1.1 ; 1.2 ; 1.3 ; 1.4 ; 1.5
2. . :
2.1 ; 2.2 ; 2.3 - .
3. (q Ú s) É Ø p? -, - ?
4. , , ? ( ), .
.
- .
, .
5. ? , ?
|
|
, , , , , , , , , .
8.
1. (p É q)↔(r É s)? -, - ?
2. .
2.1 . 2.2 . 2.3. , .
3. , ?
, , . , , .
4. , , ? ( ), .
.
.
.
5. ? , ?
- .
9.
1. (p Ú Ø r) Ù Ø s? -, - ?
2. , :
, .
3. : , , , , .
4. . , ?
, - .
5. ? , ?
() , .
10.
1. (p Ú q) ↔Øs? -, - ?
2. , , : .
3. : , .
4. . , ?
, .
5. ? , ?
- , .
11.
1. Ø p É q º Ø s? -, - ?
2. : 2.1 , , ; 2.2. , , ; 2.3. , , ; 2.4. , , , , ; 2.5. , , .
3. , ?
, , . , , .
4. . , ?
, .
5. ? , ?
- , .
12.
1. (p É q) →Ø q? -, - ?
2. ? , ?
, .
.
.
3. : .. .. , .
4. . , ?
, .
5. ? , ?
() , , .
13.
1. (p É q Ù r)↔ p? -, - ?
2. : , , , , .
3. , ?
, . .
4. . , ?
, .
5. ? , ?
- , .
14.
1. (p É q) ↔ r? -, - ?
2. , .
2.1. ; 2.2 ; 2.3. , ; 2.4. .
3. , , ? ( ), .
.
4. . , ?
, , .
5. ? , ?
- 22 6 -
.
15.
1. (p É q ÙØ q Ú p? -, - ?
2. : 2.1 , , ; 2.2 , , ; 2.3. ˸, , ; 2.4. , , .
3. , ?
, . .
4. :
, -
5. ? , ?
- , , .
16.
1. (p ↔ s)Ù s É p? -, - ?
2. , :
, . , . , . , .
3. , : ) , - ; ) ; ) ? .
4. ? , ?
,
5. ? , ?
- , .
17.
1. (p ↔ q Ù r)É q? -, - ?
2. , , . : 2.1. ; ; 2.2 ; ; 2.3. ; ; 2.4 ; .
3. , : . .
4. , : ) ; ) ; ) ; ) . .
5. ? , ?
- , , .
18.
1. (p ↔ q) Ù(p É r)? -, - ?
2. , :
, , . . , , .
3. , : 3.1 ; ; 3.2 ; ; 3.3 ; ; 3.4 ; .
4. , : ) ; ) ; ) . .
5. ? , ?
- , .
19.
1. (p ÙØ q) ↔ s? -, - ?
2. , :
, .., , . .. . .. .
3. ? , ?
.. ,
..
..
4. , : ) , ; ) , ; ), . .
5. ? , ?
, .
20.
1. (p ↔Ø q)ÉØ p? -, - ?
2. , :
, . , . . , .
3. , , ? , ? 3.1 .. ( , , ); 3.2. .. (, , ); 3.3 (, , ).
4. , : ) ; ) ; ) ; ) . .
5. ? , ?
- , .
21.
1. (q Ú r) º (p Ù q)? -, - ?
2. , :
.. , . .. . , .. .
3. , ? 3.1 .. ; 3.2 .. ; 3.3 .
4. , : ) ; ) ; ) ; ) . .
5. ? , ?
, .
22.
1. p É (q ↔ r)? -, - ?
2. , , ? , ? , ? 2.1 ; 2.2 ; 2.3. , .., ; 2.4 .
3. : 3.1 , , ; 3.2 . , ; 3.3 , , -, , .
4. , : ) , ; ) , ; ) , . .
5. ? , ?
, .
23.
1. (q Ù r)↔(r É q? -, - ?
2. . . 2.1 .. .. , , . , , . 2.2 , , ; 2.3 , , , , .
3. , ?
, . , .
4. , : ) ; ) ; ) ; ) . .
5. ? , ?
, , ,
24.
1. (p ↔ q) ↔ ┐ q? -, - ?
2. , , . : 2.1 ; 2.2 ; 2.3 ; 2.4 ; 2.5 .
3. , , : .
, ?
4. , : ) ; ) ; ) ; ) . .
5. ? , ?
, , , , , , , , , , . .. . ., 2005. .399.
25.
1. p ÙØ q É r º p? -, - ?
2. , - :
2.1 . . , , , , ; 2.2 , ; 2.3 , , : , . , , , ; 2.4 .
3. , :
, . . . , .
4. , : ) ; ) ; ) ; ) . .
5. ? , ?
, .
[1] ., , .. : . . ., 2001. . IV 2. , .., .
[2] . . IV 2 , , . V 1.
[3] . . IV 5.
[4] .. . 94. . . IV 3.
[5] . . V.
[6] . . V 2.
[7] , ( ), ( ).