Resultado de la búsqueda: donde se aplica la logica proposicional