Seja a sentença aberta A: e, a sentença B: Se o espaço for...
Seja a sentença aberta A: e, a sentença B: Se o espaço
for ocupado por uma ... (I)..., a sentença A será uma ...(II)... A sentença B se tornará verdadeira se I e II forem substituídos, respectivamente, por: