En esta entrada resolveremos problemas de temas vistos en entradas anteriores. Haremos algunos ejemplos relacionados con los conectores condicionales que vimos en una entrada anterior: la implicación y la doble implicación. También veremos algunos de cuantificadores lógicos.
Problemas resueltos
Problema. Si y son verdaderas y es falsa, di si la siguiente proposición es verdadera o falsa:
Solución. Haremos una tabla de verdad pero únicamente con los valores que nos dan, es decir, no vamos a hacer la tabla para todos los casos, sino únicamente los que nos interesan en este momento:
Por lo tanto la proposición es verdadera para los valores de verdad dados.
Problema. Di si las siguientes proposiciones sobre los números enteros son verdaderas o no:
Solución.
Vamos a hacer algunas verificaciones sobre cada una de las proposiciones para encontrar su valor de verdad:
Como es verdadera y es verdadera también, entonces la proposición es verdadera.
Recordemos que la doble condicional es verdadera si ambas proposiciones tienen el mismo valor de verdad. Por un lado no es cierto que mientras que sí es verdad que . Por lo tanto la proposición es falsa.
Vamos a ver la proposición por partes. Primero veamos que es una disyunción verdadera pues una de las proposiciones que la componen, , lo es. Como es verdad, entonces la implicación tiene antecedente y subsecuente verdaderos y por lo tanto es verdadera.
De nuevo vamos a dividir la proposición en sus partes, y . Primero notemos que es falsa, pues no es cierto que .
Ahora, veamos cómo es . Nota que y , entonces . Entonces esta primera parte es verdad, mientras que pero no es cierto que . Así que es falso que . Entonces es falso.
Como , son ambas falsas, entonces es verdadero.
Nota: En este tipo de ejercicios, ¿viste cómo se dieron las argumentaciones de las proposiciones en cada caso? El secreto aquí fue «desarmar» las proposiciones en partes más pequeñas. Esto lo hacemos pues recuerda que los conectores son binarios, esto significa que su valor de verdad depende del valor de verdad de las dos proposiciones que conectan.
Así, para ver cuál es el valor de verdad de , lo que hicimos fue deshacerlo en sus partes. Una parte fue y la otra parte fue . Entonces bastaba con verificar cuáles eran los valores de verdad de y . Para ello, volvimos a «desarmar» a en sus partes «atómicas». Es decir, desarmamos en y y estudiamos el valor de verdad de cada uno de ellos. Usualmente este tipo de pensamiento de «desarmar un problema en sus partes» te ayudará a verificar o demostrar cosas más adelante.
Problema. Sean , y los siguientes predicados:
es par.
Si nuestro universo de discurso son los números enteros, ¿cuáles son los valores de verdad de las siguientes proposiciones?
Solución.
1.
Es verdadera, pues .
2.
Como es verdadera y además es par, entonces la proposición es verdadera.
3.
Vamos a dividir la proposición en partes. Primero notemos que es verdad. Mientras que es falsa, ya que es cierto que pero es falso que sea par. Entonces la proposición es falsa.
4.
Como es falsa pero es verdad, entonces la proposición es verdadera.
5.
Como es falsa, entonces es verdad. Además, es verdad. De esta manera la proposición es verdadera.
Problema. Considera los siguientes predicados:
Determina la verdad o falsedad de las siguientes proposiciones, considerando que nuestro universo de discurso son los números enteros. Si la proposición no es verdadera, da un contraejemplo o explicación de ello.
Solución.
Nota que siempre que se cumple entonces (más adelante demostrarás esto con toda formalidad, pero de momento lo daremos por cierto). Por lo tanto la proposición es verdadera.
Para que esto sucediera, necesitaríamos la existencia de al menos un elemento que cumpla y , es decir necesitaríamos un elemento que sea positivo y negativo a la vez, pero esto no es posible. Por lo tanto la proposición es falsa.
Lo que nos dice esta proposición es «Para todo número entero que cumpla entonces » o dicho de otra manera: «Si un número entero es igual a 20, entonces será positivo.» Lo cuál es correcto, pues si el número es distinto a 20, la implicación será correcta (recuerda la tabla de verdad de la implicación), mientras que el único caso en donde la hipótesis se cumple es cuando y claramente es un número que cumple . Entonces la proposición es verdadera.
Esto nos quiere decir que existe un único número entero que sea igual a 20, e inmediatamente podemos saber que es verdadera, pero ¿A qué nos referiremos que un número sea igual a 20? Primero tendríamos que ponernos de acuerdo de qué significa la igualdad. Aunque ahora no lo haremos, piensa el cómo nos aseguraríamos de que es el único número entero que cumple esa propiedad. ¿Qué pasaría si no fuera cierto?
Lo que dice la proposición es que ningún número va a cumplir a la vez y , pero esto no es cierto, pues pensemos en . Cumple ya que y cumple porque . Entonces podemos decir que es falso pues dimos un contraejemplo que contradijo la proposición.
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»
Hasta ahora hemos visto proposiciones, variables proposicionales, conectores y fórmulas lógicas. Por ello, ya podemos decir cómo se manejan las proposiciones al combinarlas o qué significa que dos proposiciones sean equivalentes.
Sin embargo, hasta ahora no hemos trabajado con tanto rigor los objetos a los que nos referimos dentro de una proposición. Por ejemplo cuando decimos la proposición «Este número es impar» puede que sea o no verdadera, pero esto depende de una cosa: el contexto. ¿A qué número nos estamos refiriendo? Podríamos estar en la siguiente conversación: «Hay números distintos a los múltiplos de 2, por ejemplo el 3. Este número es impar.» A esto último, estando en contexto, ya le podríamos asociar un valor de verdad.
En general esto no es así. Podemos ir variando a qué número nos referimos. En ocasiones las proposiciones tienen una variable y, dependiendo el valor de esa variable, cambian su significado o su valor de verdad. En esta entrada formalizamos estas ideas y hablamos de cuantificadores, que nos permitirán «recorrer» todos los valores posibles de una variable.
Términos variables y predicados
Volvamos a nuestro ejemplo. Al tomar la proposición «el número es impar», podríamos referirnos al , , , o . Así, es más conveniente pensar en que la proposición depende de una variable como sigue:
ú = «ú es impar».
Visto de esta manera, es la proposición « es impar». En general es la proposición « es impar» y esta hace referencia a que el número es una variable que puede tomar distintos valores «permitidos». Observa que en este caso no tendría sentido decir si es verdadero o falso. A este tipo de proposiciones que tienen una variable (o más), se les llama predicados.
¿Notas que tenemos que ponernos de acuerdo sobre cuál es el contexto sobre el que estamos hablando al momento de asignarle un valor a nuestra variable? Esto debido a que no podríamos decir que «azul es impar» o «la luna es impar». A este «conjunto» dentro del cual pueden tomar valores nuestras variables le llamamos universo de discurso. Aunque suena algo sofisticado, puedes pensarlo como el contexto al que nos estamos acoplando.
Es muy importante siempre tener claro el universo de discurso cuando usamos predicados. No será lo mismo estar hablando de número pares, que de números enteros. Sabemos que todos los números pares no son impares. Mientras que algunos números enteros son impares. Estas palabras enfatizadas son las que nos van a permitir hablar más sobre cómo es nuestro universo de discurso. No es lo mismo que solo un objeto del universo cumpla un predicado (tenga valor de verdad verdadero) a que todos los objetos de nuestro universo las cumplan.
Cuantificador universal
Cuando tenemos un predicado , no podemos decir si es verdadero o falso hasta que no hayamos decidido quién es exactamente el objeto dentro de nuestro universo de discurso del que estamos hablando. Pero lo que sí podemos hacer es pensar en si ninguno, alguno o todos los elementos de dicho universo de discurso hacen que sea verdadero, o no. A esto se le llama cuantificar un predicado.
El primer cuantificador que nos interesa es el cuantificador universal que transforma un predicado en una afirmación de que todo objeto de nuestro universo de discurso hace que la proposición sea verdadera. Dicho cuantificador universal puede pensarse como agregar un «Para todo en el universo de discurso,» antes del predicado que nos interesa. Lo que esto hace es que transforma el predicado en la proposición, la cual acordamos que es cierta siempre y cuando cualquier objeto de nuestro universo de discurso hace que sea cierta. Entonces la veracidad de depende fuertemente tanto de:
La proposición
El universo de discurso en el que estemos.
Cotidianamente también decimos simpemente «Para todo , », pero es muy importante que el universo de discurso sea claro.
Veamos un ejemplo poco a poco. Consideremos el siguiente predicado:
ú
Este predicado no tiene ningún valor de verdad. Lo podemos pensar como que es una proposición cuyo contenido depende de una variable que no hemos decidido. Ahora acordemos como universo a los números múltiplos de . A partir de ello, podemos crear la siguiente proposición con el cuantificador universal :
ú
En palabras «todo múltiplo de es múltiplo de ». Al cuantificar el predicado, ya se convierte en una proposición. ¿Es verdadera? Sí, en efecto, sin importar cuál tomemos que sea múltiplo de , cumplirá que es múltiplo de .
Pero, ¡cuidado! Podríamos estar trabajando en otro universo de discurso, donde los objetos que nos interesan son todos los enteros. Si ese fuera el caso, al cuantificar universalmente tendríamos lo siguiente:
Esta es una proposición, pero es falsa, pues podemos encontrar un entero, digamos , para el cual ú es falso. Por ello, la proposición con el cuantificador es falsa.
Algunos otros ejemplos de cómo podemos usar este cuantificador son los siguientes. Observa cómo se deja claro el universo de discurso.
número par, es múltiplo de 2.
grupo cíclico, es generado por un único elemento.
año bisiesto, tiene 366 días.
vector en , *
Recuerda que ahora no es necesario que conozcamos a la perfección el universo de discurso del que estamos hablando en estos ejemplos. En estas entradas no nos interesa estudiar a los pares, a los grupos cíclicos, o a los años bisiestos. Los ponemos como ejemplos únicamente para ver que las ideas de lógica aplican a todos ellos. Por ejemplo para el segundo ejemplo el objetivo es que entiendas que siempre que consideremos un grupo cíclico (sea lo que signifique un grupo o un grupo cíclico), ese grupo es generado por un único elemento (sea lo que signifique que un grupo se genere por un único elemento). En este caso nuestro universo de discurso serán los grupos cíclicos, mientras que es el predicado « es generado por un único elemento». En estos renglones sólo nos interesa entender cuándo estamos hablando de un universo de discurso, un cuantificador y un predicado.
Cuantificador existencial
El cuantificador «para todo» establece que una proposición es verdadera para todos los objetos de un universo de discurso. Pero esto no siempre pasa. Por ejemplo, pensemos en que nuestro universo de discurso es y nuestro predicado es «Los gatos son ». En este caso no todas las formas de asignar un objeto del universo a la variable darán proposiciones verdaderas. Los gatos no son pescados, reptiles ni mucho menos piedras o aves. Pero los gatos sí son felinos. En este caso la asignación será la única en la que se cumpla el esquema proposicional.
El cuantificador existencial permite enunciar una proposición que acordamos que se vuelve verdadera cuando uno (o más) de los objetos del universo de discurso hacen que obtengamos una proposición verdadera. Así, una vez acordado un universo de discurso y un predicado , diremos que la proposición es verdadera cuando logremos encontrar algún para el cual sea verdadera.
En palabras, esto se dice a veces como «existe en el universo de discurso que cumple », o simplemente como «existe , », cuando el universo de discurso se sobreentiende.
Algunos ejemplos del uso de este cuantificador son los siguientes:
número entero que es solución a .
número entero que cumple **
Nuevamente, es muy importante que se acuerde el universo de discurso para poder concluir la veracidad de una proposición que involucra un cuantificador existencial. Por ejemplo, la proposición
ú
es falsa, pues no existe tal real (al elevar un real al cuadrado siempre queda mayor o igual a cero), mientras que la proposición
ú
es verdadera, pues el número complejo cumple que es verdadero.
Cuantificador «existe un único»
El cuantificador «existe» tiene una variante más restrictiva. Cuando decimos que existe al menos un elemento en nuestro universo de discurso que cumple una propiedad, también tenemos que puede haber , o elementos que lo cumplen. Por ejemplo: « número entero que es solución a » tiene dos posibilidades, pues al tomar o el predicado se transforma en una proposición verdadera.
Pero es muy frecuente en matemáticas que se busque que uno y sólo un elemento que haga verdadero a a un predicado. Para referirnos a estas ocasiones, usamos el cuantificador «», que se lee como «existe un único«. Por ejemplo, sabemos que el único número primo par es 2. Así que podríamos decir: « número entero que es primo y par».
La regla de asignación de verdad es que será verdadera si hay un único del universo de discurso que haga que sea verdadera. Si no hay, o hay más de uno, entonces será falsa.
Otros ejemplos (algunos informales) de su uso son:
día de la semana tal que empieza con la letra L
número real tal que es neutro aditivo. ***
número entero que cumple
¿Observas que la última oración se parece mucho al último ejemplo del cuantificador anterior? Y con esto no estamos contradiciendo nada, en el ejemplo anterior solo estamos diciendo «Existe un número entero que es solución a » con lo que queremos decir que existe al menos uno, mientras que en el último ejemplo, decimos «Existe un único número entero que es solución a ». Aquí, el objetivo solo es ser más específicos, lo que quiere decir que sólo estamos dando información extra acerca de la proposición.
Tabla resumen de conjunciones y cuantificadores
A continuación resumimos en una tabla varios símbolos lógicos que hemos discutido.
Negaciones
Conjunciones
Disyunciones
Implicaciones
Dobles implicaciones
Para todos los casos
Para al menos un caso
Para un único caso
Combinando conectores y cuantificadores
Habiendo conocido los distintos cuantificadores, podríamos hacer afirmaciones un poco más extensas usando otros conectores lógicos en los predicados que usamos. Por ejemplo, pensemos en que nuestro universo de discurso son los números enteros. Consideremos los predicados y . Entonces podríamos decir
ú
En palabras: «Para todo número entero , si es menor a 0, entonces es menor a 1». Esto es una afirmación verdadera.
También podríamos poner algo del estilo
ú
Esta también es una afirmación verdadera pues es un número entero que cumple la proposición y la proposición .
También podemos tener predicados con más de una variable e irlos cuantificando poco a poco. Por ejemplo, pensemos nuevamente a los números enteros como nuestro universo de discurso y como la afirmación . Tenemos que es verdadero, mientras que es falso, pues es falso que . Podemos cuantificar a con un existencial de unicidad para obtener lo siguiente: Esto todavía no es una proposición de la que podamos saber si es cierta o verdadera. Aunque ya está cuantificado, sigue siendo variable. Lo que sí es que entonces es un predicado que de la variable y ahora podemos cuantificarlo con respecto a para obtener, por ejemplo,
Aquí estaríamos diciendo «para cada número entero , existe un único número entero tal que ». Dicho de otra forma, cada vez que consideramos un número entero , digamos , existirá un único número entero que cumplirá la ecuación . En este caso ese número es , pues dijimos que y sólo hay un número que al sumarlo a nos da .
Entender estas dobles cuantificaciones será crucial para entender, por ejemplo, la definición de límite en Cálculo Diferencial e Integral I.
Notas
Estas son algunas anotaciones del artículo y no es necesario que las sepas, únicamente son curiosidades o temas por aparte que forman parte de la cultura matemática.
* Esta se conoce como la desigualdad del triángulo y nos dice básicamente que la suma de la longitud de dos lados de un triángulo siempre será mayor a la longitud del tercer lado.
** Esta afirmación está relacionada con la llamada identidad de Euler y algunos piensan que es una de las ecuaciones más hermosas de las matemáticas. En otros cursos como Álgebra Superior 2 o Variable Compleja 1 puede que vuelvas a ver esta identidad con su demostración.
*** El único neutro aditivo es el , y esto quiere decir que al sumarle este a cualquier otro número, dará el mismo número.
Más adelante…
Cuando estamos hablando de cuantificadores, también nos van a interesar sus negaciones. Por ejemplo, ¿a qué nos referiremos cuando digamos ? ¿o cuando digamos ? Lo primero que tenemos que entender es qué quiere decir negar un cuantificador universal y uno existencial. Eso es justo lo que estudiaremos en la siguiente entrada.
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.
Imagina que definitivamente quieres comprar un helado. Cuando vas a la heladería, sólo venden un sabor. Esto tiene desventajas, por supuesto. Pero, ¿qué ventajas tiene que sólo haya un sabor de helado? Enlista todas las que puedas.
En los ejemplos siguientes encuentra el universo de discurso y su predicado.
número par, es múltiplo de 2.
año bisiesto, tiene 366 días.
vector en , .
Considera el predicado « es múltiplo de 11». Da cuatro universos de discurso tales que los siguientes enunciados sean ciertos:
Considera la proposición: = «». ¿Cuál de los siguientes enunciados representa la oración «No existen números enteros que cumplen »?:
¿El ejercicio anterior sólo tiene una solución? Si hay más de una opción correcta, ¿cómo argumentarías que dos enunciados representan el mismo enunciado?
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»