A proposição que representa uma tautologia é