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