Resultado de la búsqueda: tautologias verdades formales proposiciones analiticas cuya validez depende solamente de las definiciones de los simbolos que contienen