Leer formula_39 formula_94 como "Suponiendo nada, inferir que formula_91 implica formula_91", o "Es una tautología que formula_91 implica formula_91", o "Siempre es cierto que formula_91 implica formula_91".