, : . , , : , . . 60- , .
, , , : , . Ÿ .
80- , . , .
. , () , p, q, r, p1, p2, p3, . () 1 () & Ø, () :
1) p Î P ;
2) 1 ;
3) A B , ØA, A & B, A ;
4) .
: [F] [P] ( ). : [F]A [P]A. 1, 2, 4 :
3¢) , ØA, A & B, [F]A [P]A .
0 () Ú, , :
0 = Ø1, Ú = Ø(Ø & Ø), = Ø(Ø &Ø), = ( ) & ( ). : à = Ø Ø . : <F>A = Ø[F]Ø <P>A = Ø[P]Ø. 0, Ú à .
. [F] [P] : GA HA . <F>A <P>A : FA PA.
, , :
Ø, , à, [F], [P], <F>, <P>, &, Ú, , .
( ). , à & Ø : (((à) & ( (Ø))) ).
|
|
, : , à, [F], [P], <F>, <P>. . , = , à = ( , ). = , à = . , : , .
: = à = , = à = . = à = , . : [F] = , <F> = ;
[F] = , , <F> = . [P] <P> [F] <F> . , , , .
, , [F], [P] , à, <F>, <P> .
:
= , ;
à = , ;
= , , ;
[P][P] [P] = , , ;
= , , ;
= , , ;
[F]<P> = , , ;
àØ<P> = , ;
& ( & ) = , & ».