Introducción

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 $P$ y $R$ son verdaderas y $Q$ es falsa, di si la siguiente proposición es verdadera o falsa: $$(P\vee R)\Rightarrow \mathrm{\neg }(Q\wedge R).$$

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:

$P$	$Q$	$R$	$P\vee R$	$Q\wedge R$	$\mathrm{\neg }(Q\wedge R)$	$(P\vee R)\Rightarrow \mathrm{\neg }(Q\wedge R)$
$1$	$0$	$1$	$1$	$0$	$1$	$1$

Por lo tanto la proposición es verdadera para los valores de verdad dados.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Problema. Di si las siguientes proposiciones sobre los números enteros son verdaderas o no:

1. $(3+1=4)\Rightarrow (0<10)$
2. $(4=5)\iff (9+1=10)$
3. $((6<7)\vee (3^2=10))\Rightarrow (12<{12}^2)$
4. $((-1<1)\wedge (1<-1))\iff ((13-1=12-1+1)\Rightarrow (1+1<2))$

Solución.

Vamos a hacer algunas verificaciones sobre cada una de las proposiciones para encontrar su valor de verdad:

• $(3+1=4)\Rightarrow (0<10)$

Como $3+1=4$ es verdadera y $0<10$ es verdadera también, entonces la proposición es verdadera.

• $(4=5)\iff (9+1=10)$

Recordemos que la doble condicional es verdadera si ambas proposiciones tienen el mismo valor de verdad. Por un lado no es cierto que $4=5$ mientras que sí es verdad que $9+1=10$. Por lo tanto la proposición es falsa.

• $((6<7)\vee (3^2=10))\Rightarrow (12<{12}^2)$

Vamos a ver la proposición por partes. Primero veamos que $((6<7)\vee (3^2=10))$ es una disyunción verdadera pues una de las proposiciones que la componen, $6<7$, lo es. Como $12<{12}^2$ es verdad, entonces la implicación tiene antecedente y subsecuente verdaderos y por lo tanto es verdadera.

• $((-1<1)\wedge (1<-1))\iff ((13-1=12-1+1)\Rightarrow (1+1<2))$

De nuevo vamos a dividir la proposición en sus partes, $(-1<1)\wedge (1<-1)$ y $(13-1=12-1+1)\Rightarrow (1+1<2)$. Primero notemos que $(-1<1)\wedge (1<-1)$ es falsa, pues no es cierto que $1<-1$.

Ahora, veamos cómo es $(13-1=12-1+1)\Rightarrow (1+1<2)$. Nota que $12=13-1$ y $12=12-1+1$, entonces $13-1=12-1+1$. Entonces esta primera parte es verdad, mientras que $1+1=2$ pero no es cierto que $2<2$. Así que es falso que $1+1<2$. Entonces $(13-1=12-1+1)\Rightarrow (1+1<2)$ es falso.

Como $(-1<1)\wedge (1<-1)$, $(13-1=12-1+1)\Rightarrow (1+1<2)$ son ambas falsas, entonces $((-1<1)\wedge (1<-1))\iff ((13-1=12-1+1)\Rightarrow (1+1<2))$ es verdadero.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

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 $((6<7)\vee (3^2=10))\Rightarrow (12<{12}^2)$, lo que hicimos fue deshacerlo en sus partes. Una parte $A$ fue $(6<7)\vee (3^2=10)$ y la otra parte $B$ fue $12<{12}^2$. Entonces bastaba con verificar cuáles eran los valores de verdad de $A$ y $B$. Para ello, volvimos a «desarmar» a $A$ en sus partes «atómicas». Es decir, desarmamos $(6<7)\vee (3^2=10)$ en $6<7$ y $3^2=10$ 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 $P(x)$, $Q(x)$ y $R(x)$ los siguientes predicados:

• $P(x):x\le 4$
• $Q(x):x+1$ es par.
• $R(x):x>0$

Si nuestro universo de discurso son los números enteros, ¿cuáles son los valores de verdad de las siguientes proposiciones?

1. $P(1)$
2. $P(1)\Rightarrow Q(1)$
3. $P(0)\Rightarrow (R(5)\Rightarrow Q(0))$
4. $R(-1)\vee P(2)$
5. $\mathrm{\neg }R(-2)\wedge P(-2)$

Solución.

1.$P(1)$

Es verdadera, pues $1\le 4$.

2. $P(1)\Rightarrow Q(1)$

Como $P(1)$ es verdadera y además $1+1=2$ es par, entonces la proposición es verdadera.

3. $P(0)\Rightarrow (R(5)\Rightarrow Q(0))$

Vamos a dividir la proposición en partes. Primero notemos que $P(0)$ es verdad. Mientras que $R(5)\Rightarrow Q(0)$ es falsa, ya que es cierto que $5>0$ pero es falso que $0+1$ sea par. Entonces la proposición es falsa.

4. $R(-1)\vee P(2)$

Como $R(-1)$ es falsa pero $P(2)$ es verdad, entonces la proposición es verdadera.

5. $\mathrm{\neg }R(-2)\wedge P(-2)$

Como $-2>0$ es falsa, entonces $\mathrm{\neg }R(-2)$ es verdad. Además, $-2<4$ es verdad. De esta manera la proposición es verdadera.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Problema. Considera los siguientes predicados:

• $P(x):2x>0$
• $Q(x):x>0$
• $R(x):x=20$
• $T(x):x<0$

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.

1. $\mathrm{\forall }x:(P(x)\Rightarrow Q(x))$
2. $\mathrm{\exists }x:(Q(x)\wedge T(x))$
3. $\mathrm{\forall }x:(R(x)\Rightarrow Q(x))$
4. $\mathrm{\exists }!x:(R(x))$
5. $\nexists x:(Q(x)\wedge P(x))$

Solución.

• $\mathrm{\forall }x:(P(x)\Rightarrow Q(x))$

Nota que siempre que se cumple $2x>0$ entonces $x>0$ (más adelante demostrarás esto con toda formalidad, pero de momento lo daremos por cierto). Por lo tanto la proposición es verdadera.

• $\mathrm{\exists }x:(Q(x)\wedge T(x))$

Para que esto sucediera, necesitaríamos la existencia de al menos un elemento $x$ que cumpla $0<x$ y $x>0$, 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.

• $\mathrm{\forall }x:(R(x)\Rightarrow Q(x))$

Lo que nos dice esta proposición es «Para todo número entero $x$ que cumpla $x=20$ entonces $x>0$» 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 $x=20$ y claramente es un número que cumple $x>0$. Entonces la proposición es verdadera.

• $\mathrm{\exists }!x:(R(x))$

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?

• $\nexists x:(Q(x)\wedge P(x))$

Lo que dice la proposición es que ningún número $x$ va a cumplir a la vez $x>0$ y $2x>0$, pero esto no es cierto, pues pensemos en $x=1$. Cumple $Q(x)$ ya que $1>0$ y cumple $P(x)$ porque $2\cdot 1=2>0$. Entonces podemos decir que es falso pues dimos un contraejemplo que contradijo la proposición.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Entradas relacionadas

• Ir a Álgebra Superior I
• Entrada anterior del curso: Cuantificadores existenciales y universales
• Siguiente entrada del curso: Negaciones de proposiciones con conectores y cuantificadores

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»