1) 1 ; 2) 3 ; 3) 2 ; 4) 4 .
9. : I
1) , ;
2) ;
3) ;
4) , ;
5) .
10. : I
1) , ;
2) ;
3) ;
4) ;
5) .
6.2:
, . , .
: )
) -
) -
) - .
, .
)
, .
:
:
:
, , .
:
: . .
- -
, , .
2 :
1. . (modus ponens)
:
2. . (modus tollens)
, , , .
:
. :
, .
, , , . !
|
|
:
:
, .
- -
, , .
( ) , , Ȼ.
, ; .
, 2 :
1. . (modus ponendo tollens)
, .
:
, :
- , .
, .
2. . (modus tollendo ponens)
, .
:
, , .. .
2 . , , , .
- - .
- -
( . lemma )
, .
2, , 3 ..
,
, .
2 , .
.
.
:
:
, .
.
.
:
:
, . . , .
, , . , .
|
|
:
N .
: , , .
- -.
:
, .. .
: , .
|
, , , .
, . .
, , , .
, , () ().
. ( . ).
:
, , , .
, , , .
, .
: , , , .
, , .
6.2
1. .
2. .
3. .
4. .
5. .
1. :
) 2 + 3 = 5.
) 2 + 3 = 5.
) 1 2 .
) 1 2 .
) 2x2 = 5.
) 2x2 = 5.
) .
) .
2. , b, , d, :
) & ( ) ;
) b &( ) ;
) c V ( ) ;
) d V ( ) .
3. :
) , , .
) , ,
.
) .
) .
4. :
) 2 3.
) 2, 3.
) -.
) , -.
) .
) , .
|
|
5. :
) 4, 2.
) 17 4, 2.
) 20 4, 2.
) , .
) , .
) , .
6.3.
.
, S1, S2, Sn .
.
, () . :
S1 S1 S1 . . . S1, S2, Sn |
, , , , .. , . , .
, , :
1) , .
2) , .
, .
, .
:
S1 S1 S1 . . . S1, S2, Sn |
, , |
, , , . , ().
3 :
, .
, , .
, , .
, .
, , ( ) .
- .
:
()
()
, . . л , , , , .
|
|
, .
. , , . , .
?
. , , . , , . -:
, ; .
:
ABC d MBF d KBC d |
-, d |
, , . , , .
:
ABCD d ABC d BCD d |
-, D d |
:
ABC d MBF d KC d MF d |
, d |
. .
:
ABC1 d1 ABC2 d2 ABC3 d3 |
-, d |
() .
:
ABC x y z A x B y |
-, z |
. .
( ) :
ABC abcd A a B b і |
-, X, d |
6.3:
1. ?
2. ?
3. ?
4. ?
5. ?
6. ?
7. ?
8. .
9. .
.
1. :
1) ; 2) .
2. : .
1) .2) ;
3. :
.
1) .2) ;
4. :
.
1) ; 2) .
5. : .
1) .2) ;
6. :
, 1,3 8 1- . , 1- .
1) ; 2) .
7. :
10 . , . , , , .
|
|
1) ; 2) .
8. :
. , , 11- , , . . ӻ.
1) .2) ;
9. :
, . , .
1) ; 2) .
10. , :
, . .. : , . . , .
1) ; 2) ; 3) ; 4) ; 5) .