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
- A tautologia e contingência.
- B contingência e contingência.
- C contradição e tautologia.
- D contingência e contradição.
- E tautologia e contradição.