Resultado de la búsqueda: proposición sintética verdadera