Tengo tres conjuntos que dicen A, B, C y un procedimiento solo para verificar si un conjunto S no está vacío (no puedo negar la respuesta del procedimiento para decir que el conjunto S está vacío). Ahora, usando este procedimiento, ¿cómo puedo verificar si los tres conjuntos son iguales, es decir, quiero una fórmula que denotará un conjunto no vacío exactamente cuando los tres conjuntos son iguales?
Gracias por adelantado !!