5.1. ?
, , ( ) . |
I . .
?
o po, oo oopoo o ooo , o oo oo. |
, , " 6 " , . " " , .
, . , , " " " ". , " ". , .
" A ", " " , : . .
, , . |
. , . , , " 75 . " , . . , .
"", "", "", "..., ", " " . .
B, , . , , .
, , " ", " " " " " ", " , ".
|
|
" " " ", " , , ".
.
, . " ", " ". " , " . "" , , , o "" "", , , "1" "0".
:
, "", ( ). , A , , A . . " " (); " " ().
, "", (. conjunctio ) ". " ( &). . , . , "10 2 5 3" , "10 2 5 3", "10 2 5 3", "10 2 5 3" .
, "" ( ), (. disjunctio ) v ( ). v , . , "10 2 5 3" , "10 2 5 3", "10 2 5 3", "10 2 5 3" .
- , "..., ", "... ", "... ...", (. implico ) . , , .
? : " " () " " (). , " , ". , :
- , , ;
- , , (, );
- A B , , .
, , , , .
|
|
"..., " - . . . "" , , . , : " , ", " , ".
, " ", " ", "... ...", ~. , . , "24 6 , 24 3", "23 6 , 23 3" , "24 6 , 24 5", "21 6 , 21 3" .
, , , : " " (), " " (). " " (), " " (). A B , A B .
, : , , , .
: = v . , : = ( v ) . ( v ). |
, , , .
. , (""), (""), ("") .
5.2. ?
, .
:
|
. 1 ; . 2 .
" , ". (A v B) C. " , ".
(A v B) C, A, B C "", "" ( ). .
"" . , , v , " ". , , , . . , , .
|
|
. , , , " , ". , , , . . , , .
, , , .
"=" " " , , .
5.3. ?
, , , 1 0, : 1 0.
:
- , , ;
- , , , , , .
5.4. ?
. . CD-ROM. , ( ), :
5.5. ?
c , . |
, , , ȗ, ȗ ( ), .
, . .
1 0 , . , +5 0 .
(1), (0).
, , , . .
.
(), () ( ) . |
|
|
5.6. , , , ȗ, ȗ?
. . 5.1.
. 5.1
x | y | x. y |