Seja a sentença aberta A: (∼ p ∨ p) ↔ 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