. , ( ), ; , .
, A 1 , A 2 , A 3 ,..., An, B, ..:
A1
A2
A3
...
An
-----------------
B
: A 1, A 2, A 3 ,..., A n () B.
. . , , -, ( ), -, , .. . , .
. , . . , , .
, , , (). ( ). () . .
( ):
A
B
------------
A Ù B
, , . :
.
.
----------------------------------------
, .
():
A Ù B ---------- | A Ù B ----------- |
A | B |
, , .
:
.
-----------------------------------------------------------
.
.
------------------------------------------------------------
.
, , . (?)
():
---------- ---------
A Ú B A Ú B
, A ( B) A Ú B.
|
|
:
.
-------------------------------------------------------------------------
.
():
A Ú B | A Ú B | |
ØA | ØB | |
B | A |
, A Ú B .
:
.
.
---------------------------------------------
.
, , - .
- ( ), , .. . , , , . .
.
():
A B
--------------
A B A B.
:
, .
.
-------------------------------------------------------------------------
.
- ( modu s ponen s). .
():
A B
B A
---------------
A B
A B B A A B.
:
, .
, .
-------------------------------------------------------------------------
, .
():
A B A B
------------- ------------
A B B A
, A B A B, B A.
:
p Ù q , p q .
-------------------------------------------------------------------------
p Ù q , p q .
p Ù q , p q .
-------------------------------------------------------------------------
|
|
p q , p Ù q .
():
A
-----------
ØØA
, A .
:
.
-------------------------------------------------------------------------
, .
():
A A.
:
, .
--------------------------------------------------
.