In propositional logic, tautological consequence is a strict form of logical consequence in which the tautologousness of a proposition is preserved from one line of a proof to the next. Not all logical consequences are tautological consequences. Wikipedia