Archivo de la etiqueta: lógica

Álgebra Superior I: Tipos de enunciados matemáticos

Por Leonardo Ignacio Martínez Sandoval

4 respuestas

Introducción

En esta entrada platicamos de varios tipos de enunciados con los que te vas a encontrar frecuentemente en trayectoria matemática a nivel universitario. Para entender correctamente las definiciones siguientes, es muy importante que ya estés familiarizado con el concepto de proposición matemática que tratamos con anterioridad.

Axiomas

En las matemáticas, los axiomas son enunciados que tomamos como verdaderos. No son proposiciones, en el sentido de que su veracidad está definida por convención. Son el punto de partida que establece las reglas del juego de cierta área de las matemáticas.

Cuando estés en cálculo, se verán los axiomas que deben satisfacer los números reales. Cuando estés en álgebra lineal, ser verán los axiomas de espacio vectorial. En geometría moderna se verán los axiomas de Euclides. En este curso hablaremos un poco de axiomas para la teoría de conjuntos y para los números naturales.

Algunos ejemplos son los siguientes (no es necesario que entiendas exactamente qué dicen):

  • Para cada dos puntos, hay una línea que pasa por ellos.
  • Cada número natural tiene un único sucesor.
  • Para cualquier elemento $a$ en $G$, existe un elemento $b$ en $G$ tal que $ab=G$.
  • Para cualquier colección $A_1,\ldots,A_n$ de abiertos, se tiene que $$A_1 \cap A_2 \cap \ldots A_n$$ también es abierto.

Los axiomas no requieren ser justificados o demostrados. Simplemente acordamos su validez.

Definiciones

Las definiciones no son proposiciones matemáticas y no tiene sentido decir que son verdaderas o falsas. Simplemente son enunciados que le ponen un nombre a un objeto matemático con ciertas propiedades para poder referirnos a él de manera sencilla más adelante. En ocasiones, estas definiciones hacen referencia a cómo se expresa el concepto matemático en símbolos y frecuentemente para ello se usa la palabra «denotar».

Hay varias formas en las que se pueden escribir definiciones matemáticas. Las siguientes son algunas (no es necesario que las entiendas completamente).

  • Un número entero es perfecto si la suma de sus divisores propios es igual a sí mismo.
  • Un cuadrilátero es un cuadrado si las longitudes de sus cuatro lados son iguales y los cuatro ángulos en sus vértices son rectos.
  • Para dos conjuntos $A$ y $B$ definimos a su unión como el conjunto que consiste de los elementos que están en cualquiera de los dos conjuntos. Lo denotamos por $A\cup B$.
  • Un grupo es un conjunto con una operación binaria asociativa, con neutro y con inversos.
  • Una operación binaria es asociativa si $(a\cdot b)\cdot c=a\cdot (b\cdot c)$

Las definiciones son muy útiles pues ayudan a acortar el lenguaje e ir construyendo ideas más complejas e interesantes. Toma en cuenta lo siguiente con respecto a las definiciones.

  • Cuando se tienen enunciados del estilo «tomemos $C$ un cuadrado», o «sea $G$ un grupo», o incluso «consideremos $A\cup B$», de manera instantánea ya se pueden tomar como verdaderas todas las propiedades dadas por la definición. Así, de manera inmediata es verdadero que los lados de $C$ miden lo mismo y que $A\cup B$ tiene tanto a los elementos de $A$ como a los de $B$. También es verdadero que $G$ tiene una operación asociativa. Y por la definición de «asociativa», de manera inmediata es verdadero que $(a\cdot b)\cdot c=a\cdot (b\cdot c)$. Observa cómo se van haciendo deducciones sucesivas de hechos verdaderos.
  • Cuando se requiera verificar si un objeto satisface una definición, entonces hay que verificar que sean ciertas todas las propiedades enunciadas en la definición. Así, no basta ver que $C$ tiene lados iguales para ver que es un cuadrado. También hay que ver que sus ángulos son todos ellos rectos.

Proposiciones

Las proposiciones son simplemente proposiciones matemáticas en el sentido de la entrada anterior. Son enunciados matemáticos que se puede determinar si son verdaderos o falsos. Usualmente, cuando se encuentran en un curso o en un texto, es porque ya se verificó su veracidad. En estos contextos, tras enunciar una proposición se suele dar una demostración, que es un concepto del que hablaremos a profundidad más adelante.

Una vez que tenemos axiomas y definiciones, es posible empezar a relacionar distintos conceptos mediante proposiciones. A continuación se tienen algunos ejemplos:

  • Si un cuadrilátero tiene todos sus ángulos rectos y tiene dos lados consecutivos iguales, entonces es un cuadrado.
  • La suma de dos números pares siempre da un número par.
  • Existe una función continua que no es diferenciable.
  • Siempre se cumple que $(A\cup B)^c = A^c \cap B^c$.
  • La suma de dos números que sean múltiplos de $3$ nunca es un múltiplo de $3$.
  • Todas las funciones diferenciables son continuas.

Todas las proposiciones arriba enunciadas son verdaderas, excepto una de ellas. Observa que usan palabras como «y», «si… entonces…», «todas», etc. Varias de estas palabras tienen un significado matemático muy preciso que discutiremos más adelante. Después veremos cómo determinar la veracidad de algunas de estas proposiciones y qué tipo de argumentos hay que dar para demostrarlas.

Lemas

Un lema es prácticamente una proposición. Los lemas tienen este nombre más bien con un fin práctico. Lo que se está avisando es que hay que poner atención a esa proposición, pues probablemente sea utilizada como resultado auxiliar una o varias veces más adelante.

Como los lemas son proposiciones matemáticas, entonces pueden ser verdaderos o falsos. Por esta razón, para poder afirmar que un lema es verdadero, es necesario dar una demostración en donde se justifique o se deduzca desde elementos más básicos (como definiciones, axiomas o proposiciones) la validez del mismo.

Teoremas

Los teoremas también son básicamente proposiciones. Su nombre también cumple un fin práctico. Cuando se le pone el nombre de «teorema» a una proposición, es para dar a entender que es una proposición muy importante dentro de la teoría. Usualmente para llegar a un teorema se necesitan probar varios resultados auxiliares.

Hay algunos teoremas que se vuelven tan relevantes que adquieren nombre propio. Algunos ejemplos de teoremas son los siguientes (son ejemplos nada más, tampoco es fundamental que entiendas exactamente qué están diciendo):

  • Un espacio vectorial de dimensión finita es isomorfo a su espacio dual.
  • Teorema de Pitágoras: En un triángulo rectángulo de catetos con longitudes $a$ y $b$ e hipotenusa $c$ se cumple que $a^2+b^2=c^2$.
  • Teorema de Hall: Si una familia de al menos $n+1$ convexos en $\mathbb{R}^n$ se intersecta de $n+1$ en $n+1$ elementos, entonces toda la familia se intersecta.
  • Teorema fundamental del álgebra: Todo polinomio no constante con coeficientes en $\mathbb{C}$ tiene por lo menos una raíz en $\mathbb{C}$.

Los investigadores en matemáticas y áreas afines se dedican a encontrar este tipo de resultados relevantes. Una frase conocida de Alfréd Rényi es: «Un matemático es una máquina que transforma café en teoremas».

Corolarios

Un corolario, de nuevo, es prácticamente una proposición. Sin embargo, en el desarrollo de la teoría matemática los corolarios usualmente son resultados que se siguen fácilmente de resultados previos, sobre todo de teoremas. A continuación, algunos ejemplos.

  • Un corolario del teorema de Pitágoras es «La hipotenusa es más larga que cualquiera de los catetos».
  • Un corolario de teorema fundamental del álgebra es «Un polinomio no constante de grado $n$ tiene exactamente $n$ raíces complejas contando multiplicidades».
  • Un corolario del teorema de Hall es que si en una mesa hay manchas circulares del mismo radio, y cualesquiera tres de ellas se pueden cubrir con un plato, entonces todas las manchas se pueden cubrir usando sólo un plato.

Puedes pensar en los corolarios como la «cereza del pastel».

Conjeturas

Las conjeturas también son proposiciones matemáticas: son enunciados que se puede determinar si son verdaderos o falsos. Sin embargo, a diferencia de los lemas, proposiciones, teoremas y corolarios (que se sabe que son verdaderos), lo que ocurre con las conjeturas es que todavía no hay nadie que haya determinado si son verdaderas o falsas.

Las conjeturas juegan un papel importante en la teoría de muchas áreas de las matemáticas, pues son resultados que se espera que sean verdaderos, pero para los cuales aún es necesario el desarrollo de nuevas técnicas en la investigación matemática.

Recapitulación

En resumen, los lemas, proposiciones, teoremas y corolarios son todos ellos proposiciones matemáticas. Pueden ser verdaderas o falsas. Los que encuentres en textos y cursos prácticamente serán verdaderos. Para asegurar que son verdaderos, requieren de una demostración, es decir, de una serie de argumentos y deducciones. Usualmente te los encontrarás en el siguiente «esquema»:

Lema -> Proposición -> Teorema -> Corolario

Los axiomas y definiciones no son proposiciones. Los axiomas son enunciados matemáticos que damos por hecho. Las definiciones nos ayudan a referirnos a objetos matemáticos con ciertas propiedades de manera más sencilla.

Las conjeturas son proposiciones matemáticas que todavía nadie sabe si son verdaderas o no. Los investigadores en matemáticas desarrollan nuevas técnicas para resolver estos problemas.

Más adelante…

Ya platicamos del tipo de enunciados que existen en las matemáticas y dimos algunos ejemplos. En el transcurso del curso veremos muchos ejemplos más. Después de este paréntesis, es importante que retomemos la teoría de lógica para poder hablar de algo fundamental al momento de determinar la veracidad de proposiciones matemáticas: las demostraciones. Antes de llegar ahí, es importante hablar de conectores lógicos, de cuantificadores y de condicionales.

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

  1. Busca en internet por lo menos otros tres teoremas.
  2. Investiga por lo menos otras tres conjeturas que todavía no hayan sido resueltas.
  3. Encuentra en internet una noticia de alguna conjetura matemática que haya sido resuelta recientemente.

Entradas relacionadas

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE109323 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 3»

Álgebra Superior I: Introducción al curso y proposiciones matemáticas

Por Leonardo Ignacio Martínez Sandoval

2 respuestas

Introducción

En este curso se desarrollarán varias de las habilidades matemáticas fundamentales a nivel superior. Trabajaremos en lo siguiente:

  • Conocer a detalle las reglas lógicas que usamos en matemáticas y cómo nos permiten demostrar resultados a partir de pequeños bloques.
  • Definir de manera formal que son los conjuntos, las relaciones y las funciones y aprender a justificar mediante argumentos formales las propiedades que tienen.
  • Construir el conjunto de los números naturales y aprovecharlo para poner en práctica todo lo aprendido anteriormente.
  • Desarrollar habilidades fuertes para responder preguntas del estilo «¿De cuántas formas puede ocurrir…?» «¿Cuántos objetos matemáticos hay tales que…?»
  • Introducir los conceptos de espacio vectorial, vectores y matrices y ver cómo nos ayuda para entender a los sistemas de ecuaciones lineales.

La primer parte del curso es fundamental, pues en todas las demás asignaturas de matemáticas a nivel superior se usan argumentos formales una y otra vez. En esta primera parte comenzarás a entender qué es el «pensamiento matemático» y conocerás la estructura lema-proposición-teorema-corolario que es muy usada a través de diferentes áreas.

Falso y verdadero

Nuestra experiencia con la vida cotidiana nos da una intuición de qué significa que algo sea verdadero o falso. Entendemos por verdadero algo que es verificable o que coincide con la realidad, por ejemplo: «Marte es un planeta».

Algo falso es lo contrario: una cosa que es posible verificar que no es cierta, o que no coincide con lo que experimentamos. Un ejemplo sería «El sol es de color azul».

En el mundo real, a veces estos conceptos de veracidad pueden tener muchos matices. En el caso del pensamiento matemático esto no es así. Lo que se hace en matemáticas es acordar (o dar por hecho) que ciertos enunciados son verdaderos y, a partir de ellos ver cuáles muchos otros enunciados verdaderos y enunciados falsos se pueden obtener como conclusión.

De esta forma, entenderemos a verdadero y falso como propiedades que puede tener un enunciado. Daremos reglas que nos permiten combinar enunciados de diferentes formas para obtener un «enunciado compuesto» y deducir su veracidad. A la larga, lo que nos interesa es poder deducir que una afirmación es verdadera a partir de la veracidad de afirmaciones más chicas y simples. Es como armar un castillo con pequeños bloques.

Proposiciones

Entenderemos por una proposición a un enunciado que se puede decir si es verdadero o falso, pero no ambas a la vez. Algunos ejemplos de proposiciones de la vida real serían las siguientes:

  • «La tierra gira alrededor del sol»
  • «Los tacos más ricos son los del señor de los tacos de canasta»
  • «Un kilómetro es igual a 100 metros»
  • «La receta sale mejor si se le pone el doble de leche»

Observa que para que algo sea una proposición no es necesario que sea verdadero. Sólo basta con que se pueda decir si es verdadero o no. Así, «Un kilómetro es igual a 100 metros» es una proposición porque se puede decidir si es falsa o verdadera. Y es falsa. También observa que algunas proposiciones necesitan más contexto para poder decir si son verdaderas o falsas. Considera la oración «La receta sale mejor si se le pone el doble de leche». Por supuesto, tendríamos que saber de qué receta hablamos o qué quiere decir que «salga mejor», para poder decidir si es verdadera o falsa.

Sin embargo, los siguientes enunciados no son proposiciones.

  • ¡Feliz cumpleaños!
  • Este enunciado es falso
  • ¿Es cierto que $7$ es un número primo?

El primero no está afirmando la veracidad de nada, sólo expresa un sentimiento. El problema con el segundo enunciado es que si es verdadero, entonces es falso y viceversa. El tercero parecería sí ser algo que podemos decir si es verdadero o falso. Pero ten mucho cuidado. Compara los siguientes dos:

  • ¿Es cierto que $7$ es un número primo?
  • El número $7$ es primo.

El primer enunciado es una pregunta y no está afirmando nada, sólo está preguntando. El segundo sí está afirmando algo y podemos decir si es verdadero o falso. ¿Cómo le hacemos para saber si es verdadero o falso? En la vida cotidiana puede ser muy fácil de responder a partir de la experiencia. Pero en el contexto matemático será fundamental primero definir qué quiere decir «primo» e incluso definir qué quiere decir «7» para que podamos responder la pregunta.

El enunciado «El número $7$ es primo» es un ejemplo de una proposición matemática, es decir, una proposición en la que se habla de objetos matemáticos y sus relaciones entre sí. Es posible que simplemente les llamemos «proposiciones», pues será claro que estaremos en el contexto matemáticos. Otros ejemplos de proposiciones matemáticas son las siguientes:

  • El valor de la integral $\int_0 ^1 x^2\, dx$ es $\frac{1}{5}$.
  • Existen $10$ formas de elegir dos vocales distintas sin que se repitan y sin que nos importe el orden de elección.
  • Si $x>0$, entonces $x+1\geq 2\sqrt{x}$.

¿Puedes decir cuáles de estas proposiciones matemáticas son falsas y cuáles son verdaderas?

Proposiciones matemáticas en símbolos

En cursos de álgebra en la educación media superior nos enseñan la utilidad de introducir variables para referirnos a las cosas. Cuando ponemos $x^2+x+1$ estamos pensando en que $x$ es un número que podría tomar cualquier valor del sistema que estemos usando (por ejemplo, los números reales). Los símbolos matemáticos son muy útiles pues nos ayudan a cubrir muchos casos de manera simultánea y a escribir de manera abreviada nuestros resultados.

Aplicaremos todas estas ideas para estudiar a las proposiciones matemáticas. A una proposición arbitraria le pondremos un nombre de letra, por ejemplo $P$, $Q$, $R$, $p$, $q$, $r$, etc. Así, podemos hacer cosas como decir lo siguiente:

  • $P=$ «Todos los múltiplos de cuatro son números pares».
  • Para cualquier proposición $P$, tenemos que con $P$ se puede deducir $P$.

Observa que en el primer caso se está tomando un valor de $P$ específico, pero en el segundo estamos aprovechando la letra para hablar de algo así como «todas» las proposiciones de una manera práctica.

Proposiciones matemáticas en tablas de verdad

Una proposición tiene únicamente dos opciones: ser verdadera o ser falsa. Ahora estamos trabajando únicamente con una proposición, pero en general nos conviene tener una tabla en donde reflejemos todas las posibilidades que tenemos para las proposiciones que nos dan. Esto lo haremos mediante una tabla de verdad.

En una tabla de verdad tenemos dos tipos de columnas. Las que están a la izquierda, en donde consideramos todas las posibilidades para nuestras proposiciones y las que están a la derecha, en donde escribimos proposiciones compuestas que queremos saber si son falsas o verdaderas de acuerdo a cómo fueron las proposiciones iniciales. Para simplificar la presentación, en las tablas de verdad se usa $0$ como falso y $1$ como verdadero.

El siguiente es un ejemplo muy sencillo. Para una proposición $P$ arbitraria tenemos dos opciones que sea falsa ($0$) o que sea verdadera ($1$). Esto lo ponemos en la primer columna, que está en gris. A la derecha ponemos $P$ hasta arriba.

$P$$P$
$0$
$1$

Para llenar la tabla nos preguntamos, ¿qué podemos decir de $P$ conociendo la información que tenemos de $P$? Por supuesto, la pregunta es muy simple: cuando $P$ es falso, $P$ es falso. Cuando $P$ es verdadero, $P$ es verdadero. Así, la forma de llenar la tabla de verdad sería la siguiente:

$P$$P$
$0$$0$
$1$$1$

Este fue un ejemplo muy sencillo. Lo que nos gustaría hacer en esta primera parte del curso es aprender a combinar más de una proposición para obtener proposiciones matemáticas más interesantes. Dentro de algunas entradas habrás conocido símbolos suficientes y adquirido habilidades para llenar tablas de verdad como la siguiente:

$P$$Q$$\neg P$$\neg Q$$\neq P \land Q$$(\neg P \land Q \Rightarrow \neg Q)$
$0$$0$
$0$$1$
$1$$0$
$1$$1$

Más adelante…

En la siguiente entrada platicaremos de los tipos de enunciados matemáticos que existen, y con los cuales te encontrarás muy frecuentemente en el transcurso de tu formación matemática. Hablaremos de axiomas, definiciones, lemas, proposiciones, teoremas, corolarios y otros. Platicaremos acerca de ellos de manera un poco informal y veremos en dónde entran en los conceptos que estamos platicando.

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

  1. Piensa en $5$ enunciados que sean proposiciones. Intenta ser variado con tus ejemplos.
  2. Piensa en $5$ enunciados que no sean proposiciones.
  3. Escribe $5$ proposiciones matemáticas.
  4. Piensa en $5$ enunciados que son proposiciones, pero que es muy muy difícil decir si son ciertos o no. Por ejemplo «En el mundo hay una persona con 12548 cabellos».
  5. Escribe $5$ proposiciones matemáticas que te parezcan «obvias» o muy directas. Por ejemplo, «La suma $2+2$ es igual a $4$». Identifica en ellas los términos que aparecen y pregúntate si realmente sabes cómo está definido ese término. Por ejemplo, ¿qué es $2$? ¿qué es $4$? ¿qué es el símbolo $+$?

Entradas relacionadas

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE109323 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 3»

Cómo no redactar La Constitución

Por Leonardo Ignacio Martínez Sandoval

Deja un comentario

Intro

En México recientemente tuvimos elecciones federales. Son las más importantes del país pues se eligen Presidente, Diputados y Senadores. Además, se votó por varios puestos políticos a nivel local como alcaldías y gobernaturas. Hay miles de páginas discutiendo acerca del asunto, y la intención de esta entrada no es platicar más acerca de la parte política, sino de la precisión de una de las leyes que naturalmente se discute en esta época: la permanencia de los partidos políticos.

A grandes rasgos, muchos mexicanos saben que «si suficiente gente no vota por un partido en estas elecciones, entonces ese partido desaparece». Muchas veces basta quedarse con esa idea y confiar que en las leyes esté descrito de manera precisa qué quiere decir esto. Bueno, resulta que no es así. Actualmente hay polémica de si se le quita el registro a tres o cinco partidos.

En los siguientes párrafos explicaré por qué la ley actual, tal y como está escrita, tiene un problema de ambigüedad. Pero antes de ver exactamente lo que dice la ley, daré un par de ejemplos introductorios

La diferencia entre un mal y un terrible equipo de fútbol

En general las oraciones que usamos tienen una única interpretación lógica, o una que es más natural. Si digo «corro todas las mañanas», quiere decir que sin excepción salgo a correr todas y cada una de las mañanas. Si digo «algunos días no duermo bien», quiere decir que por lo menos hay un día en el que no duermo bien.

Sin embargo, hay algunas oraciones para las cuales no hay una forma única o convenida de interpretarlas de manera lógica. Tomemos como ejemplo:

«Mi equipo en el mundial no metió goles en alguno de sus partidos»

¿Puedes ver las dos formas de interpretarla?

Esta oración se puede entender de dos maneras: como que el equipo nunca metió goles, o como que hubo un partido en el que el equipo no metió goles. Para que sean más claras ambas interpretaciones, notemos que podemos agrupar la oración así:

«Mi equipo en el mundial no [metió goles en alguno de sus partidos]»

En este caso el «no» afecta a la cláusula «[metió goles…]», y entonces se concluye que el equipo nunca metió goles. La otra agrupación posible es:

«Mi equipo en el mundial [no metió goles] en alguno de sus partidos»

Aquí «en alguno» se vuelve un cuantificador que aplica a la cláusula anterior. Dicho de otra forma, se entiende «En alguno de los partidos, mi equipo no metió goles».

Desde el punto de vista matemático, el problema con la oración es que se puso un cuantificador al final, y entonces no es obvio si la negación afecta al cuantificador, o si el cuantificador afecta a la negación.

Hay que aclarar que esto no es un error lógico, o una paradoja, o un misterio de las matemáticas. La explicación es más sencilla: antes de poder analizar una oración de manera lógica, hay que traducirla del «idioma humano» al «idioma lógico». Esta traducción es la que no siempre es perfecta. Ya que la traducción está hecha, entonces en el mundo lógico ya se puede estudiar (ahora sí sin ambigüedades) si la oración es cierta, si implica otras oraciones, etc.

Si queremos ser totalmente claros en a lo que nos referimos, la solución es muy fácil. En vez de escribir la oración como arriba, podemos decir «En todos los partidos mi equipo no metió gol», o bien «Hubo un partido en el que mi equipo no metió gol», dependiendo de lo que queramos decir.

El profesor y el estudiante que no quiere reprobar

No estaría dedicándole toda una entrada a este fenómeno si no hubiera más al respecto. Aunque de lejos parece una simple curiosidad lingüística-matemática, hay ámbitos en los que es importante dejar muy claras las cosas. Como en reglas que se ponen. Para experimentar si esto sería un verdadero problema, puse el siguiente dilema en el grupo de Matemáticos en FB, un grupo que pensé que me daría una buena idea de si la oración era realmente ambigua, o si sólo estaba exagerando en mis formas de ver una oración.

A ver, duda de la vida real. Imagínense que una regla para reprobar a un alumno es:

«El alumno reprueba si (y sólo si) no obtiene al menos 6 puntos en alguno de los problemas»

Y que el alumno obtuvo las siguientes calificaciones:

Problema 1: 4 puntos
Problema 2: 7 puntos
Problema 3: 10 puntos

La regla es ambigua, pero de acuerdo a tu interpretación, ¿el alumno:

A. pasa, por que en el P2 y P3 se rifó, o

B. reprueba, por que en al menos el P1 la regó?

¿Tú qué piensas?

Los resultados: Se creó un caos total. Bueno, más o menos. Salió gente a defender una u otra de las interpretaciones de manera lógica. En cierto sentido, todos estaban formalmente bien. Pero sólo después de que personalmente, sin darse cuenta, habían elegido una de las interpretaciones de «no obtiene al menos 6 puntos en alguno de los problemas». La oración está bajo el mismo fenómeno que platicamos antes. Se puede leer como:

No (obtiene al menos 6 puntos en alguno de los problemas),

en cuyo caso el alumno pasa o como

(No obtiene al menos 6 puntos) en alguno de los problemas,

en cuyo caso el alumno reprueba, pues en P1 no obtuvo los puntos que necesitaba.

Me parece que no agregaré mucho más al respecto de esa discusión, pues es más provechoso leerla por uno mismo. Este es el enlace: Link a discusión en Matemáticos. Después de leer los comentarios, pensé como el Chapulín Colorado: «la confusión está clarísima».

Y La Constitución,  ¿qué?

El dilema del grupo de Matemáticos parece haber salido de un reglamento chafa de un profesor descuidado. Pues no. Regresemos al tema de la introducción. Todo este rollo lo empecé a pensar pues resulta que la mismísima Constitución Mexicana comete el error de ambiguëdad que ya platicamos. Del Artículo 41:

El partido político nacional que no obtenga, al menos, el tres por ciento del total de la votación válida emitida en cualquiera de las elecciones que se celebren para la renovación del Poder Ejecutivo o de las Cámaras del Congreso de la Unión, le será cancelado el registro

¡Está fatal! La diferencia entre ambas interpretaciones de ley para el caso concreto de estas elecciones es que en una se le quita el registro a cinco partidos, mientras que en la otra se le quita a sólo dos. Es una diferencia de financiamiento y de dinámica política enorme.

Ahora, me podrían decir: «Vale, vale, Leo. Pero La Constitución está sólo para indicar la ley en espíritu, y luego esto se arregla con la redacción de leyes prácticas». Nop. Citando a la Ley General de Partidos Políticos, Artículo 94:

Son causa de pérdida de registro de un partído político: (…) No obtener en la elección ordinaria inmediata anterior, por lo menos el tres por ciento de la votación válida emitida en alguna de las elecciones para diputados, senadores o Presidente

Same thing. Una joya de nuestros legisladores.

Cabe aclarar que probablemente, quien tiene la palabra final en esto, es el INE. Lo supongo pues en muchas ocasiones son ellos quienes tienen el derecho de interpretación en caso de ambigüedad. Lo que dice el INE es que hay que tomar la versión «buena ondita» para los partidos, osea, que basta con que obtengan 3% en alguna de las elecciones.

Por otro lado, como preferencia personal, me gusta más imaginar un mundo en el que los partídos políticos, para ganarse su registro, tengan que esforzarse tanto en el ámbito ejecutivo como en el legislativo. Es decir, me gustaría que se tomara la interpretación estricta de la regla en la que, para este año, cinco de los partidos perdieran su registro.

¿Y entonces?

Bueno, la ambigüedad ahí está. La verdad, no se cómo sea la legalidad del asunto, y si la interpretación actual del INE (o interpretaciones pasadas) sienta precedente de cómo se hacen las cosas. Lo preocupante es que el precedente no se deje fijo, que permanezca la ambigüedad, y que el INE, en cada edición, interprete la Ley General de Partídos Políticos a conveniencia.

En caso de que no se siente precedente, la solución es facilísima. Basta elegir cuál es la interpretación correcta, y escribirla de manera clara. Esto nos ahorrará muchas discusiones bizantinas en seis años.