8 .
1. , ?
) !
: , .. .
) , ? : , .
) !
: , .. .
) ? ...
: , .
) .
: .
) , 12 30 .
: , .
2. . .
) .
: , .
) .
: , .
) .
: , .
) , .
: , .
) .
: , .
) , .
: , .
) .
: .
3. :
) .
: . S P - .
) .
: S P - .
) (.)
: S P .
) .
: S P .
) .
: R
) , .
: . S P .
) .
: S - P .
4. , :
) , (. . )
: , . . ) : , - , , -.
: S.
) , , , .
: .
) .
|
|
: .
) - , - .
: .
) .
: .
) .
: .
5. :
) - .
: ˄
) , , .
: ( ⊃ ) ˄
) , , .
: ┐ ˄
) , , , . : A ⊃ (B ⊃ C)
) .
:
) , , .
: ˅ (B ⊃ C)
) , - .
: ˄ ˄ C
6. , :
) A ˅ ˅
: , , .
) ( ⊃ ) ˄
: , , .
) ( ˅ ) ⊃
: , .
) (A ˅ ) ˄
: , .
) ⊃ ( ˄ )
: , .
7. . :
) , .
: S P ╞ S P , .
) .
: S P ╞ S P .
) .
: S P ╞ S P .
) !
: , .. . , .
8. :
) , .
: ┐(A ˄ B) ╞ (┐A ˅ ┐B)
, .
) , .
: ┐(A ˅˅ B) ╞ (┐A ˄ ┐B)
, .
) .
: , . ┐(A → ┐B) ╞ (A ˄ B) , .
|
|
) , , .
: ┐(┐A ˄ B) ╞ (A ˅ ┐B)
, .
) , .
: , . ┐(A → B) ╞ (A ˄ B)
, .
) , .
: ┐[(A ˄ B) ⊃ C] ╞ (A ˄ B) ˄ ┐C
, , .
9. :
) .
: .
) .
: .
) - .
: .
) , .
: , .
) .
: .
10. :
) .
) .
) .
:
) (S) (P).
( S- +) .
) (S) (P).
( S+ -) .
) (S) (P).
( S+ -) .