() | |||||
(: , , ) | & Λ . | p q | p Λ q | (p q) | |
(: , ) | V + () V. +. | p q () p q () | p V q | p q ( q) | |
(: , ) | → | p, q | p → q | p q ( q) | |
(: , ) | ≡ | p , q | p ≡ q | p q ( q) | |
(: , ) | ~ − | ( ) | |||
A, B, C, D | |||||
S | : S ( ) P | ||||
P | |||||
a, b, c, d.., p, q, r. | |||||
V | |||||
Ξ | |||||
╞ | |||||
1 | |||||
0 | |||||
(), [ ], { } | |||||
1. | 1. , |
2. | 1. 2. 3. |
:
1. | 1. 2. |
2. | 1. |
3. | 1. , |
4. | 1. ( ) 2. ( ) |
5. , ( ) | 1) ; 2) ; 3) ; 4) ; 5) 6) ; 7) |
1. | |
2. | |
3. |
|
|
, , ; :
) ( );
) ( );
) ( ).
, , , . ≡ ( ).
, . ~( Λ ~) ( ).
, . ( V ~) ( ).
, , , , . → ( , ).
- -.
() - , , .
() - .
- , , - .
- .
, , , .
ڨ - , , .
- , .
- .
- .
() .
, .
- . - .
- . , - .
- . , - .
() , .
- .
- .
|
|
. - .
- .
- ().
- .
- , ; - - .
- , .
- , . - , .
- , ( : ).
: (S a P), (S e P), (S i P), (S o P) - ; - , , .
- , , . - , ( ) .
- , ( ) .
- , :
) () - SP-SP;
) () - SiP-So P;
) () - 1) SaP - So P,
2) S eP-SiP;
) () - 1)SaP-SiP, 2) SeP-So P.
- :
) () - ( );
) () - ;
) () - ; ) , , , - .
- , .
- .
- .
-
( ).
- , .
- .
- .
, , .
- , , .
- , .
, .
(S) - , .
(P) - , .
(M) - , .
- .
- .
|
|
- , .
- , , , ( : ).
- , .
- , .
- , () () ",... ...".
( ) , .
- ( ) , , .
(modus ponens) - - , .
(modus tollens) - - , .
() - , ( , ).
, , .
- () - -, - .
- (modus tollendo ponens) - - .
- (modus ponendo tollens) - - .
() - , ( : , ).
- , ( ).
- , ( ).
- , ( ).
, .
. : , , , , .
, .
- , , .
- , , : , , , .
|
|
- , .
- , .
, , , .
- .
- , ( ).
() , .
( ) - , .
- , .
.
- , , (, , ).
, . - , .
.
.
, .
, , , .
, .
- , , , , .
- , , , .
- , .
- ( ), .
- , ( ).
- , , ..., , , ( -).
( ) - , , , , ( - /\).
( ) - , , ( - \/).
( ) , "..., ...", ( - →).
( )- , " , .", ( - ≡).
Ņ.......3
. - ˅.....4
..5
7
-ⅅ14
. х28
. ȅ28
1. 腅30
2. ꅅ32
3. 셅32
4. 充......33
5. 腅..34
|
|
6. 腅.....36
. ȅ..40
1. .40
2. 充32
3. ...41
4. 酅.....42
5. . 43
6. 酅... 43 . ȅ45
1. ..45
2. ....48
3. 酅.48
4. 酅....49
5. 酅.50
. ߅.51
1. .....51
2. ..52
3. 酅.....56
4. 酅.....57
5. .58
6. 腅..60
. ߅.. 63
1. ..63
2. .65
3. 셅..67
4. 76
5. 酅. .79
6. .. .83
. ΅.85
1. ... 85
2. .. 88
3. ⅅ..89
. 92
1. ..92
2. 煅..93
3. ......94
4. ......95
5. .96
. ȅ...99
1. ..100
2. ...101
3. .......101
4. .....102
߅..104
Ņ...118