¿Cuál es la "forma lógica" de las descripciones definidas? Para ponerlo en términos de "Frege", ¿cómo podemos parafrasearlas para mostrar que el valor de verdad del todo depende de los valores de verdad de las partes?