Seja a sentença aberta  e a sentença B: "Se o espaço 
 for ocupado por uma KK (I) , a sentença A será uma KK (II) ".   
A sentença B se tornará verdadeira se I e II forem substituídos, respectivamente, por
{TITLE}
{CONTENT}
{TITLE}
 
        Aguarde, enviando solicitação...