Hola amigos, en esta oportunidad del curso de lógica proposicional estudiaremos la tabla de verdad de los conectivos lógicos, estas sirven para tener un mejor panorama de las posibles combinaciones de la validez de las proposiciones.
La negación y cada uno de los conectivos tienen un comportamiento diferente cuando lo plasmamos en tablas de verdad, aunque la implicación tiene un comportamiento diferente que la condicional lógica.
Tenga en cuenta que en todas las ramas de la lógica matemática, excepto la lógica proposicional, el uso de las tablas de valores lógicas es innecesaria, en este capítulo se usa por cuestiones básicas de entendimiento al lector y dar a conocer todas todos los rincones de la lógica en todos sus aspectos.
¿Que es una tabla de verdad?
Una tabla de verdad de una proposición es un tablero que muestra todos los valores de verdad de un esquema molecular formado por todas las combinaciones posibles de las variables proposiciones que la componen.
Valor de verdad de una proposición
Para entender las posibles combinaciones de valores de verdad de las proposiciones también llamados variables proposicionales donde involucramos los operadores lógicos plasmadas en una tabla de verdad, es importante el uso de dos constantes opuestas que les adherimos a las variables.
Los únicos valores semánticos formalizados para una proposición es el de verdadero y falso. Por lo general, se representan así:
- \( \mathrm{V} (p) = V \)
- \( \mathrm{V} (p) = F \)
Hay que indicar un punto importante en esta representación, como dije, las proposiciones pueden ser o verdaderos \( V \) o falsos \( F \) pero no simultáneamente, por lo menos no en este mundo clásico.
En estas representaciones, el significado de \( p \) es una proposición, pero sera tratado como variable proposicional únicamente por los únicos 2 valores de verdad que posee, es por ello que también se le llama proposición bivalente por las razones que ya hemos explicado.
En electrónica, los valores de verdad se expresan con dos únicos dígitos diferenciadores así:
- \( \mathrm{V} (p) = V = 1 \)
- \( \mathrm{V} (p) = F = 0 \)
Estos dígitos son usados en circuitos electrónicos que indica que la corriente o información es representado con un interruptor cerrado donde el dígito 1 indica que la corriente pasa tranquilamente por dicho interruptor y el dígito 0 indica que el interruptor esta abierto y por tanto la información no pasa por el circuito lógico. Ahora veamos la estructura de una tabla de verdad.
Representación esquemática
Sean dos proposiciones \( p \) y \( q \), definimos un conector lógico cualquiera © con la siguiente tabla:
\[ \begin{array}{ c | c | c } p & q & p \ © \ q \\ \hline V & V & F \\ V & F & F \\ F & V & F \\ F & F & V \end{array} \]
Este es el comportamiento de la validez de la proposición \( p \ © \ q \) con sus posibles valores de verdad que hemos definido personalmente como ejemplo.
El ejemplo anterior sirve como esquema de todas las posibles valores de verdad de un conector lógico específico como el símbolo «©» y cada uno de los conectores que hemos tratado en entradas anteriores junto con la negación, poseen comportamientos válidos diferentes.
Pero para ser más exactos, la tabla de verdad en lógica sirve para entender el comportamiento de las proposiciones lógicas usando los esquemas moleculares para simplificar los argumentos, naturalmente eso dependerá de los numerosos conectivos lógicos que tengan. Veamos la tabla de cada uno de estos conectivos.
Esquema molecular de una proposición
Un esquema molecular no es mas que una representación simbólica de una proposición por un conjunto de variables proposicionales, generalmente representados por minúsculas ( \( p \), \( q \), \( r \), … ) y unidos por conectivos lógicos como la negación, conjunción, disyunción (inclusiva y exclusiva), condicional y bicondicional de manera simbólica.
Un ejemplo de esquema molecular es por ejemplo:
\[ ( \sim p \rightarrow q ) \bigtriangleup ( r \wedge \sim s ) \]
Donde las variables proposicionales son \( p \), \( q \), \( r \) y \( s \) y sus conectivos lógicos son la negación ( \( \sim \) ), la disyunción exclusiva ( \( \bigtriangleup \) ), la conjunción ( \( \wedge \) ) y la condicional ( \( \rightarrow \) ).
Ejemplo
El siguiente ejemplo sirve para formalizar una proposición a un esquema molecular:
- Si Sergio trabaja por 3 días, logrará comprar un coche y también podrá viajar a España.
Formalmente se puede escribir así:
\[ p \rightarrow ( q \wedge r ) \]
Donde \( p \) = Sergio trabaja por 3 días, \( q \) = comprará un coche y \( r \) = viajará a España.
Tabla de verdad de los conectivos lógicos
Ahora el veremos el comportamiento en una tabla de valores de verdad de los operadores lógicos, por lo general siempre se usan como mínimo dos variables proposicionales \( p \) y \( q \) con excepción de la negación.
La negación
Hemos dicho que la negación lógica tiene la propiedad de cambiar la validez de las proposiciones, lo única cosa que hace este operador es contradecir una proposición dada. Su tabla de valores sería:
\[ \begin{array}{ c | c } p & \sim p \\ \hline V & F \\ F & V \end{array} \]
La conjunción lógica
La conjunción lógica solo valora la validez afirmativa únicamente de las proposiciones, esto es, solo aquellas proposiciones que sean verdaderas, basta que una de ellas sea falsa para que la proposición conjuntiva sea falsa.
\[ \begin{array}{ c | c | c } p & q & p \wedge q \\ \hline V & V & V \\ V & F & F \\ F & V & F \\ F & F & F \end{array} \]
Disyunción inclusiva
La disyunción inclusiva es más amable, para ella, una proposición es verdadera si por lo menos una proposición componente es verdadera. Aquí la tabla.
\[ \begin{array}{ c | c | c } p & q & p \vee q \\ \hline V & V & V \\ V & F & V \\ F & V & V \\ F & F & F \end{array} \]
Disyunción exclusiva
A diferencia de la disyunción inclusiva, la disyunción exclusiva de tener proposiciones contrarias para que sea verdadera, en caso contrario, es falsa. La tabla quedaría así.
\[ \begin{array}{ c | c | c } p & q & p \bigtriangleup q \\ \hline V & V & F \\ V & F & V \\ F & V & V \\ F & F & F \end{array} \]
Condicional material
La condicional lógica sólo es falsa cuando su antecedente es verdadero y su consecuente es falso, en el resto de los casos, es verdadero. Con la tabla de verdad quedaría mucho mejor reflejada así.
\[ \begin{array}{ c | c | c } p & q & p \rightarrow q \\ \hline V & V & V \\ V & F & F \\ F & V & V \\ F & F & V \end{array} \]
Bicondicional
La bicondicional intenta ser más recíproca entre sus proposiciones componentes, en este caso, solo es verdadera si sus proposiciones componentes son de la misma validez y falsa si la validez de sus proposiciones componentes son opuestas. Esto se refleja mucho mejor en una tabla de verdad para la bicondicional.
\[ \begin{array}{ c | c | c } p & q & p \leftrightarrow q \\ \hline V & V & V \\ V & F & F \\ F & V & F \\ F & F & V \end{array} \]
Implicación
Para el caso de la implicación lógica, su tabla de verdad es siempre verdadera, comparándola con la condicional material, esta solo trabaja con los valores de verdad de las proposiciones sin importar el argumento de la misma, en cambio, la implicación trabaja con la semántica de las proposiciones, una debe deducirse de la otra, aunque este proceso es puramente semántico y mental (aunque una parte puede clasificarse en un curso de lógica de primer orden).
Esta diferencias lo expliqué en la sección de la condicional material, pero si quieres saber como es una tabla de verdad de la implicación lógica, tendría esta única forma:
\[ \begin{array}{ c | c | c } p & q & p \Rightarrow q \\ \hline V & V & V \\ F & F & V \end{array} \]
La implicación lógica no se limita simplemente a sus valores de verdad, también en su argumento, pero formalizar los argumentos (que solo se tiene como ideas en nuestra cabeza solo en el lenguaje matemático) sería entrar en el terreno de la lógica de primer orden. En otras palabras, la implicación lógica es una afirmación contundente.
Por otro lado, la implicación ni siquiera debería tener tabla de verdad, solo se usa para relacionar argumentos, como el signo igual, es decir, no es un operador propiamente dicho. Solo los conectivos lógicos excepto la implicación y la equivalencia lógica tienen tablas de verdad.
Veamos el siguiente ejemplo:
\[ p \wedge q \Rightarrow q \rightarrow r \]
Esto no es una proposición, lo que hace la implicación es relacionar dos proposiciones.
Combinaciones de variables proposicionales
Para cualquier esquema molecular, el número de combinación depende de cuantas variables proposicionales tenga tal esquema, como por ejemplo este:
\[ \left \{ [ ( \sim p \vee q ) \rightarrow ( q \wedge p ) ] \leftrightarrow [ ( r \rightarrow p ) \leftrightarrow ( p \bigtriangleup q ) ] \right \} \rightarrow [ ( r \vee q ) \leftrightarrow ( r \wedge q ) ] \cdots ( \text{A} ) \]
Entonces, debemos contabilizar cuántas variables proposicionales tiene, para este caso, notamos que tiene 3 variables proposicionales y son \( p \) , \( q \) y \( r \).
Luego debemos obtener todas las combinaciones posibles de los valores de verdad entres las variables identificadas de cada una de los conectivos lógicos que las vincula. Por ejemplo:
- Para una sola variable proposicional \( p \), tenemos:
\[ \begin{array}{ c } p \\ \hline V \\ F \end{array} \]
«2 combinaciones para la variable \( p \)».
- Para 2 proposiciones \( p \) y \( q \):
\[ \begin{array}{ c | c } p & q \\ \hline V & V \\ V & F \\ F & V \\ F & F \end{array} \]
«4 combinaciones posibles para las variable \( p \) y \( q \)».
- Para 3 proposiciones \( p \), \( q \) y \( r \).
\[ \begin{array}{ c | c| c } p & q & r \\ \hline V & V & V \\ V & V & F \\ V & F & V \\ V & F & F \\ F & V & V \\ F & V & F \\ F & F & V \\ F & F & F \end{array} \]
«8 combinaciones posibles para las variable \( p \), \( q \) y \( r \)».
Si lo han notado, el numero combinaciones de valores de verdad para «\( n \)» variables proposicionales resulta «\( 2^{n} \)» combinaciones posibles, es decir, para 4 variables proposicionales \( p \), \( q \), \( r \) y \( s \) sería \( 2^{4} = 16 \). Todo parece bonito pero veamos que nos dice el siguiente apartado.
Inconveniente al desarrollar una tabla de verdad
Considerando las 3 variables proposicionales para desarrollar la tabla de verdad lógica del esquema molecular (A) al inicio del apartado anterior, resultará muy aburrido. Tan solo contemos cuantos conectivos lógicos tiene este esquema, tiene un total de 12 conectivos lógicos incluido la negación lógica y como son 8 filas de los valores de verdad de las 3 variables proposicionales, deberíamos de realizar \( 8 \times 12 = 96 \) operaciones solo para saber el comportamiento del valor de verdad del esquema (A). ¿Aburrido no?.
Y como se habrán dado cuenta, el problema surge cuando queremos hallar los posibles valores de verdad de hasta 4 variables proposicionales, pues las posibles combinaciones que también explico en la sección «Signos de agrupación de lógica proposicional» resulta ser cada vez más tedioso y cansado y depende de qué tipo de esquema molecular se refiere.
En el siguiente apartado realizó un ejemplo sencillo de cómo operar una tabla de verdad con esquemas simples y sencillos para tener una idea de su uso.
Como desarrollar una tabla de verdad de un esquema molecular
Para resolver diferentes tablas de verdad paso a paso, deben tener en cuenta los signos de agrupación en lógica para cualquier tipo de proposiciones compuestas, ¿por qué?, porque es incorrecto escribir proposiciones de la siguiente manera:
- \( p \leftrightarrow q \bigtriangleup s \)
- \( p \rightarrow s \vee q \)
La manera correcta de escribirlas es así:
- \( ( p \leftrightarrow q ) \bigtriangleup s \) o \( p \leftrightarrow ( q \bigtriangleup s ) \)
- \( ( p \rightarrow s ) \vee q \) o \( p \rightarrow ( s \vee q ) \)
Estas proposiciones simbólicas se les llama esquemas moleculares y es la típica «tabla de verdad pqr» (coloquialmente hablando). Para realizar una tabla de verdad de estos esquemas primero debemos desarrollar lo que está encerrado entre paréntesis. Veamos un ejemplo:
Primero calculamos los valores de verdad de la bicondicional porque se encuentra entre paréntesis:
\[ \begin{array}{ c | c | c | c } p & q & s & ( p \leftrightarrow q ) \bigtriangleup s \\ \hline V & V & V & \color{red}{V} \hspace{1cm} \\ V & V & F & \color{red}{V} \hspace{1cm} \\ V & F & V & \color{red}{F} \hspace{1cm} \\ V & F & F & \color{red}{F} \hspace{1cm} \\ F & V & V & \color{red}{F} \hspace{1cm} \\ F & V & F & \color{red}{F} \hspace{1cm} \\ F & F & V & \color{red}{V} \hspace{1cm} \\ F & F & F & \color{red}{V} \hspace{1cm} \end{array} \]
Luego calculamos los valores de verdad en color verde de la bicondicional conectada por la disyunción exclusiva, omitimos las columnas \( p \) y \( q \) para no entrar en confusiones visuales.
\[ \begin{array}{ c | c } s & ( p \leftrightarrow q ) \bigtriangleup s \\ \hline V & \color{red}{V} \ \hspace{ 0.7 cm} \color{green}{F} \\ F & \color{red}{V} \ \hspace{ 0.7 cm} \color{green}{V} \\ V & \color{red}{F} \ \hspace{ 0.7 cm} \color{green}{V} \\ F & \color{red}{F} \ \hspace{ 0.7 cm} \color{green}{F} \\ V & \color{red}{F} \ \hspace{ 0.7 cm} \color{green}{F} \\ F & \color{red}{F} \ \hspace{ 0.7 cm} \color{green}{F} \\ V & \color{red}{V} \ \hspace{ 0.7 cm} \color{green}{F} \\ F & \color{red}{V} \ \hspace{ 0.7 cm} \color{green}{V} \end{array} \]
Observe que estamos calculando la columna de los valores de verdad de color rojo de \( p \leftrightarrow q \) con la columna de \( s \) de color negro, el resultado sería la columna de color verde de la disyunción exclusiva \( \bigtriangleup \).
Tipos de tablas de verdad
Existen 3 tipos de tablas de verdad según el tipo de esquema molecular que se trate, esta son, la contingencia, la tautológica y la contradictoria, veamos cada una de ellas con sus respectivos ejemplos.
Contingencia
Un esquema molecular es contingente si como mínimo encontramos en su tabla de verdad una falsedad y una verdad. Por ejemplo, el esquema molecular \( p \wedge ( q \vee s ) \) es contingente y lo podemos ver en la siguiente tabla de verdad:
\[ \begin{array}{ c | c | c | c } p & q & s & p \wedge ( q \vee s ) \\ \hline V & V & V & V \hspace{1.3cm} \\ V & V & F & V \hspace{1.3cm} \\ V & F & F & V \hspace{1.3cm} \\ F & V & V & F \hspace{1.3cm} \\ F & V & F & F \hspace{1.3cm} \\ F & F & V & F \hspace{1.3cm} \\ F & F & F & F \hspace{1.3cm} \end{array} \]
Para el esquema \( p \wedge ( q \vee s ) \), encontramos como mínimo una falsedad ( \( F \) ) y una verdad ( \( V \) ), por tanto, este esquema molecular es contingente. Cuando un esquema molecular es contingente, se representa de la siguiente manera \( p \wedge ( q \vee s ) \equiv \textbf{C} \). Vayamos con el siguiente.
Tautológia
Un esquema molecular es tautológica si todos los valores de verdad son verdaderas. Por ejemplo, el esquema molecular \( ( p \rightarrow q ) \leftrightarrow \sim ( p \wedge q ) \) es una tautología, se puede comprobar en la siguiente tabla de verdad:
\[ \begin{array}{ c | c | c } p & q & ( p \rightarrow q ) \leftrightarrow \sim ( p \wedge \sim q ) \\ \hline V & V & V \hspace{0.7cm} \\ V & F & V \hspace{0.7cm} \\ F & V & V \hspace{0.7cm} \\ F & F & V \hspace{0.7cm} \end{array} \]
Como la proposición \( ( p \rightarrow q ) \leftrightarrow \sim ( p \wedge \sim q ) \) en la tabla anterior indica que es una tautología, se representa con así: \( ( p \rightarrow q ) \leftrightarrow \sim ( p \wedge \sim q ) = \textbf{T} \).
La tautología lo usaremos en la próxima entrada cuando tratemos sobre de las proposiciones equivalentes y la implicación lógica. Terminemos con el último tipo de esquema molecular.
Contradictoria
Un esquema molecular es contradictorio si todos los valores de verdad son falsas.
\[ \begin{array}{ c | c | c } p & q & (p \leftrightarrow q) \leftrightarrow \sim [(p \rightarrow q) \wedge (q \rightarrow p)] \\ \hline V & V & F \hspace{3cm} \\ V & F & F \hspace{3cm} \\ F & V & F \hspace{3cm} \\ F & F & F \hspace{3cm} \end{array} \]
Como el esquema \( ( p \leftrightarrow q ) \leftrightarrow \sim [ ( p \rightarrow q ) \wedge ( q \rightarrow p ) ] \) tiene todos los valores de verdad falsos en una tabla de verdad, entonces se dice que es contradictoria y es representado de la siguiente manera así \( ( p \leftrightarrow q ) \leftrightarrow \sim [ ( p \rightarrow q ) \wedge ( q \rightarrow p ) = \textbf{F} ] \).
Y de esta manera finalizamos la séptima sección de la tablas de verdad de cada una de los conectivos lógicos, en cuanto a la implicación, no es necesaria una tabla de verdad ya que siempre lo que afirma o se niega siempre sera una verdad definitiva.
En la próxima entrada trataremos algunos cuantos usos de la condicional y ejemplos aclaratorios. Por último te dejo un enlace donde encontrarás algunos ejercicios de tablas de verdad y esto sería todo, nos vemos en la próxima sección.
Deja un comentario