Este es el caso de las tautologías, las contradicciones y, en general, las proposiciones propias de la lógica.