- , . ' .
, .
: A, B, C, X1, X2,
: "ʳ ",
" , ".
: " "
" !"
"ֳ 䳿 " ( ).
, : p() = 1, - , p() = 0 ( ).
. . , .
" " ( 
), , . :
|
| |
: " , ".
' " " ( , Ù &), , .
: " , ",
: " " ( ),
: " " ( ).
. , .
' " ", (Ú)
| Ú | ||
: "2×2 ³ 5", :
: "2×2 > 5",
: "2×2 = 5".
" , ", ( Þ )
| Þ | ||
: " ", :
: " ",
: " ".
" , ", ( Û )
| Û | ||
: " , , , " ( " " " ").
|
|
|
ϳ [1] - , , .
: 
, 
.
.
: , , , ().
. , :
1) , ;
2) ʳ , .
. , : !, , 10 , :
.: , , : !. .
.: ͳ, , . , : !. .
.: , . ³ , . - : !
. . 
.
| Þ | 
|
| |||
. , 8 . ? n ?
. :
1) 
;
2) Þ Þ ;
3) 
;
4) 
.
, , , . г : º .
. ? n?
, 0, .
. .
, 1, , .
, :
1) 
;
2) 
;
3) 
;
4) 
;
5) ( Þ ) Þ modus ponens ( );
6) 
modus tollens ( );
7) ( Þ )( Þ ) Þ ( Þ ) .
|
|
|
. .
. ' (, , , ; ). ?
' , :
| A | B | C1 | C2 | C3 | C4 | C5 | C6 | C7 | C8 | C9 | C10 | C11 | C12 | C13 | C14 | C15 | C16 |
: C1 º 0 ( 0 F . "false" ),
C2 º AB,
C3 º - ,
C4 º A,
C5 º 
- ,
C6 º B,
C7 º AÅ B ',
C8 º AÚ B,
C9 º 
- ,
C10 º AÛB,
C11 º 
,
C12 º BÞA ,
C13 º 
,
C14 º AÞB,
C15 º 
º A½B ,
C16 º 1 ( 1 . "true" ),
. ? n ?
. :
1) ;
2) ;
3) ;
4) ( );
5) .
. :
, - , . , , . , , . , .
