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
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
