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 ) ”.