171
- . , - -
...- ().
7.11. , , - , , - -
?
-
- , - ,
.
- , - -
. :
- , ? (, ).
7.12. ., ,
. . , ,
, . ,
, .
( ).
7.13.
,
( ).
7.14. ,
> ( -
).
7.15. : , , , -
(. ).
: .
- .
: 1. . 2. . 3. .
- , , .
, .
:
1. - .
2. - ?()
(-) ? Q () (-).
3. - ?(),?(Q (p) -
.
:
) - ?( ˆ q),?(Q 1ˆ Q 2)(p),?(Q 1 ˆQ2 )( ˆ q),
? Q (p ˆ q)
) -?( v q),?(Q1 v Q 2)(),?(Q 1 v Q 2)(p v q),? Q (p v q);
) .
4. - .
- , .
:
1. - -
.
2. - -
.
3. - -
.
4. - .
5. - .
6. - ()
().
8
. ().
:
? , : .
8.1. ?
8.2. -
?
8.3. ?
8.4. -
?
172