446  12.  - 

 12.4.    

 ^-   

&&

II
I                                         -,

possible                                 
necessary                                 Q

    .      -
 ,  ,     ,     -
 ,       .  
,   .      -
       .  
    ,     
.     proposition    -
  ,    -. -
        proposition (. -
 12.1):   .     :

list<C> UniverseOfDiscourse;

        -
 ,    .     -
   ,     .
    list.      
   ,    . 
UniverseOfDiscourse    (protected),   
(private),          proposition.
 proposition  ""    ,  -
   ,     -
 .     
 ,  ", "  ", ". 
,       ,
  . 12.4.        ;

        .    
 ,      .  -
  proposition "  ",     
   trip_announcement.  trip_announcement  
        
()   . , ,   -
     .     -
,     ,  .    -
,      ,    -
  .     .  
 ,   .      -
    .   ,   