Seja a sentença aberta A: (~ p ˅ q) ↔ e, a sentença B: Se o...
Seja a sentença aberta A: (~ p ˅ q) ↔ 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: