,
:
, , , - .
, , , -
1,2,,n ╞ , , - 1,2,,n
1,2,,n , , - , , , ,
1,2,,n , , 1, 2,, n
6. : , , .
.
:
- ( , )
- .
, .
1.
2.
, -
: αA ≡Df α A
(A1 A12)
1. (B A)
2. (A (B C)) ((A B) (A C)) -
3. A (B (A&B)) - &
4. (A&B) A - 1- &
5. (A&B) B - 2- &
6. A (A B) - 1-
7. B (A B) - 2-
8. (A B) ( A B)
9. (A B) ((A B) A) -
10. A A -
11. αA A(t) -
12. α (A B) (A αB) -
:
R1 A B, A - modus ponnens
B
R2 A -
A
:
1. R2 , . , .
2. .
3. .
4. .
, , - mp, .
|
|
, .
() , .
1,2,,n, , i , , R1, R2
: VαA ( R2), ∆ , α ∆, ∆.
├B. , .