Resultado de la búsqueda: modalidad logica de certeza