VALORES DE VERDAD DE LOS OPERADORES LGICOS

Tomada con fines instruccionales Gmez, T., Gonzlez, N., Lorenzo J. (2007) Valores de verdad de los Operadores Lgicos. Artculo no publicado. (p.1-6). UNEFA. Caracas.

Dada la importancia de los conectivos sealados en la lectura anterior, es pertinente establecer los valores de verdad (v f) de cada proposicin compuesta (molecular o resultante) para cada conectivo. A tal efecto, se utiliza la Tabla de Verdad, la cual se construye partiendo de la valoracin de cada una de las proposiciones componentes (atmicas).

Negacin
Es til para estas lecturas, tener en cuenta que el signo utilizado para negar una proposicin es variable segn el autor. Presentamos a continuacin algunos signos utilizados para negar una proposicin. Distintas notaciones de la negacin p' ~p p p

No p

Dada una proposicin p, se denomina la negacin de p a otra proposicin denotada por p (se lee "no p") que le asigna el valor de verdad contrario al de p . Por ejemplo:

p:
p:

Luis habla ingls No es cierto que Luis habla ingls

Por lo que nos resulta sencillo construir su tabla de verdad:

p
V F

p
F V

Observamos que Si p es V (verdadera entonces, la negacin le corresponde el valor de F Si p es F entonces, la negacin le corresponde el valor de V

Se trata de una operacin unitaria, pues a partir de una proposicin se obtiene otra, que es su negacin. Ejemplo: La negacin de p : todos los peces viven en el ocano es

p : no es cierto que todos los peces viven en el ocano, o

p : no todos los peces viven en el ocano, o p : Los peces no todos viven en el ocano.

Conjuncin
Dadas dos proposiciones p y q, se denomina conjuncin de estas proposiciones a la proposicin p q (se lee " p y q "), que establece que la conjuncin es verdadera slo si las dos proposiciones componentes son verdaderas. Cuando una de ellas no se cumple, es decir, es falsa, la proposicin resultante es falsa. A continuacin presentamos la tabla de verdad de la conjuncin p q Si las dos son verdaderas Si por lo menos una de ellas es falsa

p V
V F F

q V
F V F

p q V
F F F

La conjuncin es verdadera La conjuncin es falsa

Ejemplo: Sea la proposicin molecular:

8 es mltiplo de 2 9 es un nmero impar y

p q

p : 8 es mltiplo de 2;

q : 9 es un nmero impar

Por ser ambas verdaderas, la conjuncin entre ellas, es verdadera. Ejemplo: Sea la proposicin molecular: La fresa es una fruta y 3 es un nmero par. Esta conjuncin es falsa, pues:

p : La fresa es una fruta, es verdadera, mientras que q : 3 es un nmero par, es falsa.

Por tanto, esta proposicin p q es falsa, ya que ambas proposiciones no pueden ser simultneamente verdaderas.

Disyuncin Inclusiva:
Dadas dos proposiciones p y q, se denomina disyuncin inclusiva de estas proposiciones a la proposicin p q (se lee " p o q "), que establece que la disyuncin inclusiva es verdadera si al menos una de las dos proposiciones componentes es verdadera. Cuando todas ellas son falsas, la proposicin resultante es falsa. A continuacin presentamos la tabla de verdad inclusiva p q : de la disyuncin

Si por lo menos una es verdadera Si las dos son falsas

p V V F F

q V F V F

p q V V V F

La disyuncin es verdadera Es falsa

Ejemplo: Sea la proposicin molecular: El cielo es azul o el Centro Banaven lo llaman El Cubo Negro. Esta disyuncin es verdadera, pues:
p : El cielo es azul, es verdadera y

q : Centro Banaven lo llaman El Cubo Negro es verdadera,

por tanto, esta proposicin p q es verdadera, ya que ambas proposiciones son simultneamente verdaderas. Ejemplo: Sea la proposicin molecular: El nmero uno, es el elemento neutro de la suma o el nmero 44 es par. Esta disyuncin es verdadera, pues:

p : El nmero uno es el elemento neutro de la suma, es falsa y

q : el nmero 44 es par es verdadera, por tanto,

la proposicin p q es verdadera, pues por lo menos una de ellas es verdadera Ejemplo: Sea la proposicin molecular: Los Carnavales se celebran en el mes de Diciembre o La navidad es en el mes de Agosto. Esta disyuncin es falsa, pues:

p : Los Carnavales se celebran en el mes de Diciembre, es falsa q : La Navidad es en el mes de Agosto, es falsa,
por lo tanto, la proposicin proposiciones son falsas.

p q es falsa, ya que las dos

La disyuncin exclusiva
Dadas dos proposiciones p y q, se denomina disyuncin exclusiva de estas proposiciones a la proposicin p q (se lee " o p o q "), la misma establece que la disyuncin exclusiva es verdadera si slo una de las dos proposiciones componentes es verdadera. Cuando ambas proposiciones son verdaderas o ambas falsas, la proposicin resultante es falsa. A continuacin presentamos la tabla de verdad exclusiva p q : de la disyuncin

p
V V F F

q
V F V F

p
F V V F

Ejemplo: Sea la proposicin molecular: O el nmero uno es el elemento neutro de la multiplicacin o el nmero 44 es par.

Esta disyuncin exclusiva es falsa, pues:

p : El nmero uno, es el elemento neutro de la multiplicacin, es verdadera y q : el nmero 44 es par es verdadera,

por tanto, la proposicin que ambas p q es falsa, ya proposiciones son verdaderas y por definicin, slo una debe ser verdad. Ejemplo: Sea la proposicin molecular: Los Carnavales se celebran en el primer trimestre del ao o La navidad es en el mes de Agosto. Esta disyuncin exclusiva es verdadera, pues:

p : Los Carnavales se celebran en el primer trimestre del ao, es verdadera y q : La Navidad es en el mes de Agosto, es falsa,
por tanto, la proposicin p q es verdadera, pues una y slo una de las dos proposiciones es verdadera.

El Condicional
El condicional de las proposiciones " p y q " es la proposicin p p entonces q ) cuya tabla de verdad es:

q (si

p
V V F F

q
V F V F

p
V F V V

La proposicin p se llama antecedente, y la proposicin q se llama consecuente del condicional. La tabla nos muestra que la implicacin slo es falsa si el antecedente es verdadero y el consecuente es falso. Ejemplo: Supongamos la implicacin

R: Si entonces me inscribo la a entreno, en competenci

p q

El condicional R est compuesto de las proposiciones

p : entreno y q : me inscribo en la competencia

Nos interesa conocer la verdad o falsedad de la proposicin condicional R, en relacin a la verdad o falsedad de las proposiciones p y q . El enunciado puede pensarse como un compromiso, condicionado por p , y podemos asociar su verdad al cumplimiento del compromiso. Es evidente que si p es F, es decir, si no entreno, quedo liberado del compromiso y me inscriba o no en la competencia, el condicional es verdadero. Si p es verdadera, es decir si entreno, y no me inscribo en la competencia, el compromiso no se cumple y la proposicin R es falsa. Si p y q son verdaderas, entonces la proposicin R es verdadera pues el compromiso se cumple. Ejemplo: 1 = (1) 1 = 1 (F)

La proposicin resulta ser falsa por ser el antecedente verdadero, 1 = (1) y el consecuente (1 = 1) falso.

El Bicondicional
El si y slo si de las proposiciones p y q es la proposicin p lee "p si y slo si q") cuya tabla de verdad es:

q (se

p
V F F V

V V F F

V F V F

Si y slo si o el bicondicional slo es verdadera si ambas proposiciones tienen el mismo valor de verdad. El bicondicional puede definirse como la conjuncin de una implicacin y su recproca. De este modo, la tabla de valores de verdad de p q puede obtenerse p) , como vemos: mediante la tabla de ( p q) (q

p q p
V V V F F V F F Ejemplo: Sea V F V V

q q
V V F V

(p

q)
V F F V

(q

p)

R: a = b si y slo si a2 = b2

El enunciado est compuesto por las proposiciones:

p : a = b;
Este bicondicional Si p es F, es decir a casos es V. a=b

q : a2 = b2
a2 = b2 es falso.

b, y q es V, es decir a2 = b2. En los dems

Hacer la tabla de verdad para este bicondicional

p a=b
V V F F

q a = b2
2

V F V F

En las prximas lecturas trabajaremos con frmulas proposicionales, para ello es indispensable el uso de las prioridades de los conectivos y los signos de agrupacin, que listaremos a continuacin:

Prioridad 1) Signos agrupacin 2) La Negacin 3) La conjuncin, la disyuncin inclusiva y exclusiva 4) Condicional Bicondicional y , de () ~p , [ ]

Esta tabla nos indica que: 1) Primero resolvemos las frmulas parciales que se encuentran entre parntesis, de adentro hacia fuera. 2) Luego resolvemos las negaciones 3) Despus los conectivos, conjuncin y disyuncin inclusiva o exclusiva 4) Por ltimo el condicional y/o bicondicional. Para la siguiente frmula: ( p ~ (q
r )) s r)

Se resuelve primero el parntesis ms interno (q ( Prioridad 1) Luego negamos el resultado de (q Despus usamos el conectivo anterior (Proridad 3)
r ) (Prioridad 2)

con p y el resultado

Finalmente el resultado obtenido se resuelve con el condicional

TABLAS DE VERDAD
Para la construccin de la tabla, la dividimos en dos partes. La parte izquierda la llamaremos margen y a la derecha la llamaremos cuerpo. En el margen colocaremos los valores de verdad de las variables proposicionales que intervienen. El nmero de dichas componentes determina la cantidad de posibles combinaciones de valores de verdad que aparecern en la tabla. Este nmero total de combinaciones se calcula con la operacin 2 n , donde la base indica los nicos dos valores que puede asumir una variable proposicional (V o F), y el exponente el nmero de variables proposicionales que intervienen, ejemplo:

En la proposicin (~ p q) ~ q , intervienen dos variables proposiciones (p y q), el nmero de combinaciones para construir la tabla 2 n 2 2 4 , por lo tanto el sera margen queda como lo muestra la figura a la derecha

Posibilidades 1ra 2da 3ra 4ta

V V F F

V F V F
margen

El cuerpo se va formando con las proposiciones parciales hasta llegar a la proposicin compuesta final, es decir, se agregan tantas columnas como proposiciones atmicas se encuentren agrupadas (en parntesis), leyendo la frmula de izquierda a derecha para iniciar el cuerpo de la tabla, y respetando las prioridades de los conectivos y signos de agrupacin. Siguiendo el ejemplo anterior tenemos:

Primero agregamos al cuerpo de la tabla la proposicin ~ p

p

V V F F

V F V F

~p F F V V

Luego agregamos al cuerpo de la tabla , (~ p

q)

p V V F F

q V F V F

~p F F V V

(~ p q ) V F V V

Agregamos ~ q

p V V F F

q V F V F

~p F F V V

(~ p q ) V F V V

~q F V F V
q) ~ q y valoramos el

Y por ltimo, agregamos la frmula conectivo

(~ p

p V V F F

q V F V F

~p F F V V

(~ p q ) V F V V

~ q (~ p q) ~ q F F V F F F V V

margen

cuerpo

Ejemplo 1: Construir la tabla de verdad correspondiente la proposicin compuesta

r ~(p q)

Solucin: Observe que la proposicin posee 3 componentes (p, q y r), por lo que tiene 8 combinaciones , 2 3 ,y se sigue el mismo procedimiento del ejemplo anterior para construir el margen y el cuerpo.

p q r
V V V V V F V F V V F F F V V F V F F F V F F F
margen

p
V V F F V V V V

~(p

q)

r ~(p

q)

F F V V F F F F
cuerpo

F F V F F F F F

Ejercicios. Construya la tabla de verdad para las siguientes proposiciones compuestas: 1. ~ [ p

(q r )]

2. [~ p ~ q ]

[~ p

(~ q

~ p )]