GNU Free Documentation License . .

: ,

  , - , . .

.

[]

  , . .

  , . , (). , , .

[]

()   (), - .   , , , .

  •   - , ( ).
  •   , ( ).
  •   ( ).
  •   , , , : «», «»  . .

[]

(« , , , , »), (A, B, C, D a, b, c, d). , , , .

() ( «»). , :

  • ( ), (« , »). a \lor b;
  • ( ), ( , ). a \dot\lor b.

, ( « , »). a \to b a b. « , » «» (« , , ») , , .

( «», «», «», «», «», «», «» ). a \land b.

( ). , - , , « », «», «» (: « 3, , , , 3»). a \equiv b, a \leftrightarrow b, a b ( -, - \equiv).

«». a ~ b, a b ( « »), (): « , » (a b).

[]

[]

  •   S P. : « ».
  •   S P. : « ».

[]

  •   , ( S P). : « ».
  •   , ( S P). : « ».

[]

  •   , , ; (S P). : « ».
  •   , - ( , D). : « , ».
    •   () , .
    •   () , .

[]

,

( «+») ( «-»).

  •   (S) (P) .
  •   (S) (P) .

(- ) (S), (P)

(S) ()

  • .: « »

  • .: « »


(- ) (S), (P)

  • .: « »


I (- ) (S), (P)

.

  • .: « »
  • .: « »


(- ) (), (S) , ( )

  • .: « (S)»
  • .: « (S)»


(S) (P)
-
-
- I
-

:

  • (A)  (« S+ P-»)
  • (I)  (« S- P-») : « »
  • (E)  (« S+ P+») : « »
  • (O)  (« S- P+») : « »

[]

  • -

1) S , ,

2) , ,

  • - -

, D F

, , b, : «  , , , »


  •   . : « ».
  •   . : « ».
  •   , , . : « ».


  •   , .
  •   , , .
  •   , . , .

[]

:

,   , : , , , .

:

  •   «S, , » (). : « ».
  •   «S P» (). : « ».
  •   «S P» (). : « ».

[]

[] .

[]

  • . . « ». 9- . 1998 .
  • . .  // . «». 1998.  480.


  . , .
enci letter w.svg
 ?:
«/w/index.php?title=&oldid=44029616»