Supongamos que el universo del discurso es el conjunto de personas y considera que el predicado M (x, y) B “x está casado con y”. Podemos interpretar la afirmación formal “Para todos x, existe y tal q...Supongamos que el universo del discurso es el conjunto de personas y considera que el predicado M (x, y) B “x está casado con y”. Podemos interpretar la afirmación formal “Para todos x, existe y tal que M (x, y)” significa “Todo el mundo está casado con alguien”. Interpretar de manera similar el significado de cada una de las siguientes afirmaciones.
