o como la afirmación de una tautología verdad-funcional o teorema de la lógica proposicional: