Algunos constructos son lógicamente verdaderos (pues existen constructos lógicamente falsos, como formula_8).