, . , .
:
I | ||||
S | + | + | ||
P | + | + |
: S P
(S) (P)
: S P
(S) (P)
I: S P
(S) (P)
O: S P
(S) (P)
3.
, , . .
1. .
, , - p&q.
: , , , , , , , , .
, (. . ).
p | q | p & q |
2. .
, , , - pÚq. , .
:
1) , - ( Ú).
(. . ).
p | q | p Ú q |
2) , - ( Ú).
, , (. . ).
p | q | p Ú q |
3. .
, , , , - pq.
(p) ( ), (q) ( ).
, : . (. . ).
|
|
p | q | p q |
, , , : , 养, , , , , , , , , , ..
4. .
, , (.. ). pq = (pq) & (qp).
, , , (. . ).
p | q | p q |
: , , , , , , , .
5. .
, , (. . ).
, , , , (`p).
p | `p |
5.
, , . - p Mp.
. .
1. , , , .
:
; F ; .
d, x, y, z ..
, O(x, d, y).
:
(d) = F(`d); F(d) = O(`d); P(d) =`O(d);
O(d) =`P(`d); F(d) =`P(d); P(d) =`F(d).
2. , , , .
:
( p );
(` );
(à );
(`à ).
3. (.. ). (V p V`p) (F p F`p).
( `).