- , ( ), (). , 1, , 0, . .
:
True | T | |||
False | F |
"", "", "" , , . , .
(). "", ", ", - . , , - : " ." ( ). , :" ." :" , ." ( ). , : , , . , , . , , , , , . . :
, (, ) .
() conjunctio - , . "", , . , "" . , : " " (), " " (). " " , .. . : " " (), " " (D), " " , .. (D). , "", - . , , , .
|
|
: A & B. & - - "and" ( Procter & Gamble Wash & Go?). Λ . , , . , & :
&B | ||
: 1 & A2 & A3 &...& AN , 1, A2, A3,...AN (, , , ).
() disjunctio - , . "", , . , : " ." (), " ." (). " " , .. () . , , , .
V : . :
VB | ||
: 1 V 2 V 3 V...V N , 1, 2, 3,..., N ( , , ).
() implico - . , , , "..., ...". , "", , , "", .
: . , " 3, 3" , .. " 3" " 3". , , . , , 6 9. , , . 4 5, , . 4 7 . ( : 4 7 3, 3). , : , 3, 3, .. , . , . " , " , ", ". , ( ). , " , ", , , , ( " "). => " => " : " ". , => , , . :
|
|
=> | ||
(). , (), . , : " " " ", : " " " ". <=> " <=> " " ", " ", " , ". , , , . , " , " " , , , " ( <=>). , . :
<=> | ||
:
" - ." (. ) V A <=>
" , ." (. ) =>