Resultado de la búsqueda: las proposiciones formales son tautologías