Introducción

En esta entrada, presentaremos únicamente problemas resueltos de proposiciones y conectores. Con ayuda de ellos podrás poner en práctica lo visto con anterioridad y entender mejor las propiedades de los conceptos vistos.

Problemas resueltos

Problema 1. ¿Cuáles de los siguientes enunciados son proposiciones?

• ¿Qué día es hoy?
• Toda función derivable es continua.
• ¿El día de hoy lloverá?
• ¿Cuántos números primos existen?
• ¡Que gusto verte!
• Todo espacio vectorial tiene dimensión finita.
• El libro habla sobre historia universal.

Solución. Veamos cada oración con cuidado.

¿Qué día es hoy?

No es proposición. Esta oración es una pregunta, por lo cuál no puede tener asignado algún valor de verdad, pues no denota información que puede ser cierta o falsa (ojo: al responder la pregunta con por ejemplo «Hoy es lunes» esta respuesta sí tiene valor de verdad, pues podríamos decir que es lunes o no, pero en sí, la pregunta no tiene un valor de verdad por lo que no es proposición).

Toda función derivable es continua.

Sí es proposición. Independientemente de que sepas qué es una función derivable o qué es una función continua, sabes que esta sólo tiene dos opciones: o es cierta o no lo es. Esto es lo que le da el atributo de ser proposición (además es proposición matemática), pues se le puede asignar un valor de verdad.

¿El día de hoy lloverá?

No es proposición. Nuevamente como en el primer ejemplo, la pregunta no carga consigo algún valor de verdad, puesto que la pregunta no está afirmando o negando algo, sino está preguntando algo sin decir que será de una u otra manera. Otro caso sería si la oración fuera «El día de hoy lloverá» (¿Notas que ya no tiene signos de interrogación?) que sí es una proposición.

¿Cuántos números primos existen?

No es una proposición. Esto debido a que es una pregunta que no afirma o niega algún hecho.

¡Que gusto verte!

No es una proposición. Esta es una expresión, y no se le puede asignar un valor de verdad. Este tipo de oraciones que denotan expresiones no son proposiciones.

Todo espacio vectorial tiene dimensión finita.

Sí es una proposición. Esta es una proposición matemática la cual puede ser verdadera o falsa, pues afirma que todo espacio vectorial (no es necesario que sepas qué es un espacio vectorial) cumple la propiedad de tener dimensión finita (tampoco es necesario que sepas qué significa esto). Entonces podemos decir «Es cierto que todo espacio vectorial tiene dimensión finita» o «Es falso que todo espacio vectorial tiene dimensión finita».

El libro habla sobre historia universal.

Sí es una proposición. Observa que para decidir si es verdad o no deberíamos saber de qué libro estamos hablando, pero independientemente de eso, se puede decir que la oración es verdadera o falsa, es decir, se le puede asignar un valor de verdad.

$\mathrm{△}$

Problema 2. ¿Son equivalentes $\mathrm{\neg }Q$ y $(\mathrm{\neg }P\wedge Q)\vee \mathrm{\neg }Q$?

Solución. No lo son, para ello, nota que no coinciden en su tabla de verdad. Estamos indicando en verde las columnas de las expresiones que nos interesan.

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

Esto quiere decir que si $P$ es falso y $Q$ es verdadero,  $\mathrm{\neg }Q$ es falso mientras que $(\mathrm{\neg }P\wedge Q)\vee \mathrm{\neg }Q)$ es verdadero, por lo que las expresiones no son equivalentes.

$\mathrm{△}$

Problema 3. ¿Cuál de las siguientes expresiones es equivalente a $\mathrm{\neg }(P\vee (Q\wedge R))$?

• $P\vee (\mathrm{\neg }Q\vee \mathrm{\neg }R)$
• $\mathrm{\neg }P\wedge (\mathrm{\neg }Q\vee \mathrm{\neg }R)$
• $\mathrm{\neg }P\wedge (\mathrm{\neg }Q\wedge \mathrm{\neg }R)$

Para la que es equivalente, justifica por qué lo es. Para las que no son equivalentes, encuentra valores de verdad de las variables proposicionales $P$, $Q$ y $R$ que haga que las expresiones sean diferentes.

Solución. Una técnica que podríamos usar son las tablas de verdad, sin embargo sería una tabla grande, pues en principio hay 8 combinaciones para los valores de verdad de las variables proposicionales $P,Q$ y $R$. Por esta razón, mejor haremos uso de las propiedades de los conectores que ya hemos demostrado.

Primero veamos de qué forma podríamos cambiar la forma en que pensamos a $\mathrm{\neg }(P\vee (Q\wedge R))$. ¿Notas que hay una negación al principio de la fórmula proposicional? Algo natural sería tratar de «distribuirla», pero recuerda que cuando «distribuimos» la negación, aplicamos las leyes de De Morgan. Entonces,

$$\mathrm{\neg }(P\vee (Q\wedge R))\equiv \mathrm{\neg }P\wedge \mathrm{\neg }(Q\wedge R)$$

Ahora vamos a fijarnos en $\mathrm{\neg }P\wedge \mathrm{\neg }(Q\wedge R)$. Y vamos a notar que podemos aplicar nuevamente las leyes de De Morgan, ahora para distribuir la negación del segundo paréntesis. Dicho de otra manera,

$$\mathrm{\neg }P\wedge \mathrm{\neg }(Q\wedge R)\equiv \mathrm{\neg }P\wedge (\mathrm{\neg }Q\vee \mathrm{\neg }R)$$

Nota que para esto, la negación se distribuyó entre $Q$ y $R$. Así, hemos mostrado que

$$\begin{array}{rl}\mathrm{\neg }(P\vee (Q\wedge R))& \equiv \mathrm{\neg }P\wedge \mathrm{\neg }(Q\wedge R),\text{ y que}\\ \mathrm{\neg }P\wedge \mathrm{\neg }(Q\wedge R)& \equiv \mathrm{\neg }P\wedge (\mathrm{\neg }Q\vee \mathrm{\neg }R).\end{array}$$

Ahora, recordando la propiedad transitiva de la equivalencia, tenemos que

$$\mathrm{\neg }(P\vee (Q\wedge R))\equiv \mathrm{\neg }P\wedge (\mathrm{\neg }Q\vee \mathrm{\neg }R)$$

Así, encontramos que la la expresión del inicio es equivalente a la segunda opción. Si quisieras, podrías hacer la tabla de verdad para verificar esto.

Veamos ahora que las otras dos fórmulas proposicionales no son equivalentes. Para ello, basta encontrar valores de verdad de las variables proposicionales $P$, $Q$ y $R$ para los cuales las expresiones no tengan el mismo valor de verdad.

Primero verificaremos que $P\vee (\mathrm{\neg }Q\vee \mathrm{\neg }R)$ no es equivalente a $\mathrm{\neg }(P\vee (Q\wedge R))$. Para ello, nota que $P\vee (\mathrm{\neg }Q\vee \mathrm{\neg }R)\equiv P\vee \mathrm{\neg }(Q\wedge R)$. Y esta última es equivalente a $\mathrm{\neg }(\mathrm{\neg }P\wedge (Q\wedge R))$. Ahora nota que si $P$ es verdadero, entonces $\mathrm{\neg }(\mathrm{\neg }P\wedge (Q\wedge R))$ es verdadero, mientras que $\mathrm{\neg }(P\vee (Q\wedge R))$ es falso. Si aún no te queda claro, observa el siguiente renglón de la tabla de verdad:

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

En el párrafo anterior estamos mostrando un caso en donde $P$ es verdadero (observa que en nuestra justificación del párrafo anterior no importa qué valores tienen $Q$ y $R$, pero en este caso observamos la combinación en donde ambos son falsos, eso no afecta el resultado) y las celdas coloreadas (que son aquellas que deseamos comparar) no coinciden. Es decir no pueden ser equivalentes porque existe al menos un caso en donde no coinciden en su tabla de verdad.

De manera similar, para probar que $\mathrm{\neg }P\wedge (\mathrm{\neg }Q\wedge \mathrm{\neg }R)$ no es equivalente a $\mathrm{\neg }(P\vee (Q\wedge R))$ daremos un caso en donde no se da la igualdad en las tablas de verdad. Nota que $\mathrm{\neg }P\wedge (\mathrm{\neg }Q\wedge \mathrm{\neg }R)\equiv \mathrm{\neg }P\wedge \mathrm{\neg }(Q\vee R)$ y a su vez, $\mathrm{\neg }P\wedge \mathrm{\neg }(Q\vee R)\equiv \mathrm{\neg }(P\vee (Q\vee R))$. Ahora veamos el caso particular en la siguienta tabla de verdad:

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

Esto termina el problema.

$\mathrm{△}$

¿Cómo le hicimos en la segunda parte para «sacar de la manga» los valores de verdad de $P$, $Q$ y $R$ que nos ayudarían a verificar que las proposiciones no eran equivalentes? La intuición fue la siguiente:

Quisiéramos un caso en que no coincidieran los valores, uno que fuera verdadero y otro falso. Veamos cómo se comporta $\mathrm{\neg }(P\vee (Q\wedge R))$. Para que esta no sea equivalente a la segunda proposición, deberíamos pensar que una es verdadera y la otra falsa. Le asignaremos un valor de verdad a la primera proposición, digamos que es verdadera (entonces la segunda proposición sería falsa), y como hay una negación delante entonces $P\vee (Q\wedge R)$ debería ser falsa. Pon atención que tenemos un $\vee$ adentro de la expresión, el cuál es falso si las dos proposiciones que conectan son falsas, así que piensa en qué necesitan para ser falsas, y date cuenta que requieren las siguientes dos condiciones:

• $P$ falsa
• $Q$ o $R$ falsa

A fuerza, $P$ debe ser falsa, así que no le movemos más.

Por otro lado, vamos a ver cómo se comporta $\mathrm{\neg }(P\vee (Q\vee R))$. Recuerda que pensamos en un caso en que no coincidan los valores de verdad de las fórmulas proposicionales, y si quedamos en que la primera proposición era verdadera, entonces esta es falsa, lo cual haría a $P\vee (Q\vee R)$ verdadera. Además también dijimos que $P$ es falsa, entonces para que toda la fórmula proposicional sea verdadera, tendremos que hacer que $Q\vee R$ sea verdadera. Alguna de estas dos es falsa (también era una condición que establecimos para la veracidad de la primera fórmula proposicional), digamos que $R$ es la falsa, entonces $Q$ es verdadera. De esta manera obtuvimos el ejemplo que hacía las fórmulas proposicionales diferir en alguna combinación de valores de verdad.

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. Completa la tabla de verdad para verificar que $\mathrm{\neg }(\mathrm{\neg }P\wedge (Q\wedge R))$ no es equivalente a $\mathrm{\neg }(P\vee (Q\wedge R))$. Observa cómo en todas los renglones en donde $P$ es verdadero, $\mathrm{\neg }(\mathrm{\neg }P\wedge (Q\wedge R))$ es distinto a $\mathrm{\neg }(P\vee (Q\wedge R))$.
2. Completa la tabla de verdad de$\mathrm{\neg }(P\vee (Q\vee R))$ junto a $\mathrm{\neg }(P\vee (Q\wedge R))$. ¿Existen otros casos en donde sus valores de verdad sean distintos?

Entradas relacionadas

• Ir a Álgebra Superior I
• Entrada anterior del curso: Propiedades de la negación, conjunción y disyunción
• Siguiente entrada del curso: Condicionales y dobles condicionales

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»