, , , I, .
1. ( S ). (S) (). ( ) , : . , , , .
, S , . , , , . , , .
2. ( S ). (S) (). , . : , . , S, (. 26).
3. I ( S ). (S) (). , , :
. : , .
, S, (. 27).
, . : , (S), (). e . , (. 28).
4. ( S ). (S) (). ( ), , , , . , S , (. 29).
| 73. , , , . . , . . , . (a^b) , . , ( a, b) . , , . , (a) (b) , . , , . ( ) . (a b) . , . : (a) (b). , b . : , . , , . , , , , . a b. , a, , . , , () . , , , a, a. , a, a . (a b) , . , a, . b . : (a), (b). , , , , , . 74. . , , : , , , . . () () , . , . 75. , () , () , , . , . ( . conjunctio - , ) () , (٨q), p,q : (, , , , ). : ٨q٨r٨...٨n. . ∙, &, Ù. , , ... , : & && . . . , . : . .: , . - : 1. S1 S2 P - ; 2. S 1 2 ; 3. S1 S2 1 2 - (.. ). , . ., , , , - . , . . . , . ., , . . . : & &, . ., , ., . () , (۷q), p,q . : ۷q۷r۷...۷n. - : 1. - S1 S2 P ; 1. S 1 2 ; 2. S1 S2 1 2 . () - . ( , ; , ). , . () (... ...; ..., ...). . () . , . , . () <p v q v r>. , ( ). () p v q v r... ( ..; .; ..; ). ( ) () . () . A - , v - ., A Ú B . (: A »). Ú ., A Ú » . (: , »). A Ú » , , , . A Ú » , , . () , ..., ... (→q), () , q (). (), (q) (..., ; ..., ...; ..., ; ..., ...; ..., ...; ..., ...). , : ( ...) (q ...) . ( ) , ( ) , ..., ... ( : ↔q , q ≡q) ( ..., ...; ..., ...; ..., ...). (), (q). () (q) . 75. , () , () , , . , . ( . conjunctio - , ) () , (٨q), p,q : (, , , , ). : ٨q٨r٨...٨n. . ∙, &, Ù. , , ... , : & && . . . , . : . .: , . - : 1. S1 S2 P - ; 2. S 1 2 ; 3. S1 S2 1 2 - (.. ). , . ., , , , - . , . . . , . ., , . . . : & &, . ., , ., . () , (۷q), p,q . : ۷q۷r۷...۷n. - : 1. - S1 S2 P ; 1. S 1 2 ; 2. S1 S2 1 2 . () - . ( , ; , ). , . () (... ...; ..., ...). . () . , . , . () <p v q v r>. , ( ). () p v q v r... ( ..; .; ..; ). ( ) () . () . A - , v - ., A Ú B . (: A »). Ú ., A Ú » . (: , »). A Ú » , , , . A Ú » , , . () , ..., ... (→q), () , q (). (), (q) (..., ; ..., ...; ..., ; ..., ...; ..., ...; ..., ...). , : ( ...) (q ...) . ( ) , ( ) , ..., ... ( : ↔q , q ≡q) ( ..., ...; ..., ...; ..., ...). (), (q). () (q) . |
|
|
|
|
|
|
|
|
|
|
|
|
