, , , .
, .
, : ( ), ( ), ( ), ( ).
p Ú ù q ù p Ù r. :
p | q | r | ù q | p Ú ù q | ù p | ù p Ù r |
, , . , p Ú ù q ù p Ù r .
, .
, p q p Ù q . :
p | q | p q | p Ù q |
( ), .
.
, . , .
: , ().
, .
, ù(p Ù q) ù p Ú ù q :
p | q | ù p | ù q | p Ù q | ù(p Ù q) | ù p Ú ù q |
.
, ( ), . .
ù(p Ù q) p Ú q:
p | q | p Ù q | ù(p Ù q) | p Ú q |
, , .
|
|
, , , . . Þ.
, ù p Ù q ù p q:
p | q | ù p | ù p Ù q | ù p q |
: .
, , .
p Ù q ù p Ú ù q:
p | q | ù p | ù q | p Ù q | ù p Ú ù q |
, ( ), . , .
p Ù q ù p Ù ù q:
p | q | ù p | ù q | p Ù q | ù p Ù ù q |
, , , .
, ( . inversio ), . , .
1. , .. - -, .
.
2. ( ) ( ). :
ù ~ ; ù ~ ; ù E ~ I; ù I ~ E.
. , .
3. - . , .
4. - - :
ù" xR (a, x)~$ x ù R (a, x); ù" x ù R (a, x)~$ xR (a, x);
|
|
ù" xR (x, a)~$ x ù R (x, a); ù" x ù R (x, a)~$ xR (x, a);
ù$ xR (a, x)~" x ù R (a, x); ù$ x ù R (a, x)~" xR (a, x);
ù$ xR (x, a)~" x ù R (x, a); ù$ x ù R (x, a)~" xR (x, a).
. - , . , - , : .
5. - , .. :
ù" x " yR (x, y)~$ x $ x ù R (x, y); ù" x " y ù R (x, y)~$ x $ yR (x, y);
ù" x $ yR (x, y)~$ x " y ù R (x, y); ù" x $ y ù R (x, y)~$ x " yR (x, y);
ù$ x " yR (x, y)~" x $ y ù R (x, y); ù$ x " y ù R (x, y)~" x $ yR (x, y);
ù$ x $ yR (x, y)~" x " y ù R (x, y); ù$ x $ y ù R (x, y)~" x " yR (x, y).
, : .
6. :
ù( Ù )~ù Úù ;
ù( Ú )~ù Ùù ;
ù( É )~ Ùù ;
ù( Ú )~ º ;
ù( º )~(ù Ù )Ú( Ùù ).
, , . . , : .
1. . ?
2. ?
3. ?
4. ?
5. ?
6. ?
7. ?
8. ? .
9. ?
10. ? .
11. ?
12. ?
, , , . , .
, . , .
, , , .
. : , , .. , , , , , , .
|
|
. , , - . . . , [5], . , 250 300 , , .
, , ( ). . , , .
, , . , , , . , , , , . , . , .
. , . , (), . , , , , , . , .
( ) ( ).
- , . , .
. .
( ).
, ( ) ( ).