LGICA, TABLAS DE VERDAD

INTRODUCCION

Un computador puede ser programado para tomar decisiones basadas en si ciertos enunciados por ejemplo, El numero que se ha computado es mayor de 100- son verdaderos o falsos. A la verdad o falsedad de un enunciado se le llama valor de verdad; un enunciado es verdadero o falso, pero no ambas cosas. Algunos enunciados compuestos, es decir, estn integrados por subenunciados y varias conectivas.

EJEMPLO 1.1 a) Las rosas son rojas y las violetas azules es un enunciado compuesto por los subenunciados las rosas son rojas y las violetas azules. b) El es inteligente o estudia todas las noches es, implcitamente, un enunciado compuesto por los subenunciados El es inteligente y estudia todas las noches. c) Para donde va? no es un enunciado ya que no es ni verdadero ni falso.

La propiedad fundamental de un enunciado compuesto es que su valor de verdad est completamente determinado por los valores de verdad de sus subenunciados junto con la manera como estn conectados para formas el enunciado compuesto. Comenzamos con un estudio de algunas de estas conectivas. En este captulo usaremos las letras p, q, r (en minsculas o maysculas, con o sin subndices) para denotar enunciados.

CONJUNCION, p ^ q Dos enunciados cualquiera se pueden combinar con la palabra y para formar un enunciado compuesto llamado la conjuncin de los enunciados originales. Simblicamente,

p V V F F

q V F V F

p^q V F F F

En este caso, la primera lnea es una manera abreviada de decir que si p es verdadero y q es verdadero. Entonces p ^ q es verdadero. Las otras lneas tienen significados anlogos. Consideramos que esta tabla define precisamente el valor de verdad del enunciado compuesto p ^ q como una funcin de los valores de verdad de p y de q. observe que v es verdadero solamente en el caso en que ambos subenunciados sean verdaderos. EJEMPLO 1.2 Considere los cuatro enunciados siguientes: I. Paris esta en Francia II. Paris esta en Francia III. Paris esta en Inglaterra IV. Paris esta en Inglaterra y y y y 2 + 2 = 4. 2+2=5 2+2=4 2+2=5

Solamente el primer enunciado es verdadero. Cada uno de los otros enunciados es falso ya que por lo menos uno de sus subenunciados es falso.

DISYUNCION, p v q Dos enunciados pueden combinarse con la palabra o (en el sentido de y/o) para formar un nuevo enunciado que se llama la disyuncin de los dos enunciados originales. Simblicamente, pvq denota la disyuncin de los enunciados p y q y se lee p o q. El valor de verdad de p v q esta dado por l siguiente tabla de verdad, que consideramos define p v q; p V V F F q V F V F p \/ q V V V F

Observe que p v q es falso solamente cuando ambos enunciados son falsos. Ejemplo 1.3 Considere los cuatro enunciados: i. ii. iii. iv. Paris esta en Francia Paris esta en Francia o o 2 + 2 = 4. 2 + 2 = 5. 2 + 2 = 4. 2 + 2 = 5.

Paris esta en Inglaterra o Paris esta en Inglaterra o

Solamente (iv) es falso. Cada uno de los otros enunciados es verdadero ya que por lo menos uno de sus subconjuntos es verdadero. Observacin: la palabra espaola o se usa comnmente de dos maneras. Algunas veces se usa en el sentido de p o q o ambas, mejor dicho, por lo menos unas de las alternativas ocurre, como antes se sealo, y algunas veces se usa el sentido de p o q pero no ambas , mejor dicho, exactamente una de las dos alternativas ocurre. Por ejemplo, la frase El estudiara en la Universidad Nacional o en la Universidad Catlica usa el o en el segundo sentido llamado disyuncin exclusiva. A no ser que diga otra cosa, la o se usara en el primer

sentido. Esta observacin hace sobre salir significa p y/o q

la precisin que ganamos con

nuestro lenguaje simblico: p v q est definido por su tabla de verdad y siempre

NEGACION: ~P

Dado cualquier enunciado p, se puede formar otro enunciado, llamado la negacin de p, escribiendo es falso que antes de p o, si es posible insertando en p la palabra no . Simblicamente, ~p denota la negacin de p (se lee no p) La tabla de verdad de ~p est dada por la tabla siguiente

p V F

~p F V

En otras palabras si p es verdadero entonces ~p es falso y si p es falso, entonces ~p es verdadero. As, el valor de verdad de cualquier enunciado es siempre el opuesto del valor de verdad del enunciado original.

EJEMPLO 1.4 Considere los siguientes enunciados a) Pars est en Francia b) Es falso que Paris esta en Francia c) Pars no est en Francia d) 2 + 2 = 5 e) Es falso que 2 + 2 = 5 f) 2 + 2 5 Entonces (b) y (c) son cada una la negacin de (a); y (e) y (f) son cada una de la negacin de (d) ya que (a) es verdaderos.

Observacin: La notacin lgica para las conectivas y, o y no no es estndar. Por ejemplo, algunos textos usan

p & q, p * q o pq para p ^ q p + q para p v q p , p o p para p

PROPOSICIONES Y TABLAS DE VERDAD

Con un uso repetido de las conectividades lgicas (^, v , ~ y otras que se discutirn adelante) podemos construir enunciados compuestos que son ms elaborados. En el caso en que los subenunciados p, q, . . . de un enunciado compuesto P(p, q, . . .) sean variables, llamamos al enunciado compuesto proposicin. Ahora el valor de verdad de una proposicin depende exclusivamente de los valores de verdad de sus variables, mejor dicho, el valor de verdad de una proposicin se conoce una vez que se conozcan los valores de verdad de sus variables. La tabla de verdad de la proposicin ~(p^~q). Por ejemplo se construye como sigue:

Observe que las primeras columnas de la tabla son para las variables p, q, . . . y que hay suficiente lneas de tabla para permitir todas las posibles combinaciones de V y F para estas variables. (Para 2 variables, como en el caso anterior, se necesitan 4 lneas; para 3 variables se necesitan 8 lneas; y en, general, para n variables se necesitan 2 lneas.) Hay pues una columna para cada etapa elemental de la construccin del enunciado el valor de verdad de cada paso es determinado por las etapas anteriores con las

definiciones de las conectividades ^, , ~. Finalmente, obtenemos la tabla de

verdad de la proposicin anterior consiste precisamente en las columnas bajo las variables y la columna bajo proposicin:

Otra manera de construir la tabla de verdad anterior para ~(p ^ ~ q) es la siguiente. Primero se construye la siguiente tabla:

Observe que la proposicin se escribe en la lnea superior a la derecha de sus variables, y que hay una columna bajo cada variable o conectiva de la proposicin. Los valores de verdad se colocan entonces en la tabla de verdad en varios pasos como sigue:

La tabla de verdad de la proposicin est formada, pues, por las columnas originales bajo las variables y ltima columna colocada en la tabla, mejor dicho, el ltimo paso.

TAUTOLOGIA Y CONTRADICCIONES Algunas proposiciones P (p,q) contiene solamente V en la ltima

columna de su tablas de verdad, es decir, son verdaderas para cualquier valor de verdad de su variable. A tales proposiciones se les llama tautologas. Anlogamente, una proposicin P (p , q, .) se llama contradiccin si contiene solamente F en la ltima columna de su tabla de verdad, o sea, es falso para cualquier valor de verdad de sus variables. por ejemplo, la proposicin p o no p, es decir , p v p, es una tautologa y la proposicin p y no p, es decir p ^ ~p, es una contradiccin. Esto se verifica construyendo sus tablas de verdad.

Observamos que la negacin de una tautologa es una contradiccin ya que siempre es falsa, y la negacin de una contradiccin es una tautologa ya que siempre es verdadera. Ahora, sea P(p,q) una tautologa, y sea P1 (p , q, ), P2 (p, q, ) .. Proposiciones cualesquiera como el valor de verdad de P(p,q)no depende de los valores de verdad particulares de sus variables p, q, . . . , podemos reemplazar p por P1, q por P2, . . . en la tautologa P(p, q, . . .) y tenemos y tenemos aun tautologa. En otras palabras:

Principio de substitucin: si P(p, q, . . .) es una tautologa, entonces P(p, q, . . .) es una tautologa, entonces P(P1, P2, . . .) para proposiciones cualesquiera P1, P2, . . . Ejemplo 1.5 por la anterior tabla de verdad, p ~ p es una tautologa.

Reemplazando p por q ^ r obtenemos la preposicin (q ^ r) ~ (q ^ r) que, por el Principio de substitucin, tambin debera ser una tautologa. Esto se verifica con la siguiente tabla de verdad:

EQUIVALENCIA LOGICA: ALGEBRA DE PROPOSICIONES

Se dice que dos proposiciones P(p, q, . . .) y Q(p, q, . . .) son lgicamente equivalentes, o sencillamente equivalentes o iguales, denotado por P(p, q, . . .) Q(p, q, . . .)

Si tienen idnticas tablas de verdad. Por ejemplo, considere las tablas de verdad de ~(p ^ q) y ~p ~q:

Como las tablas de verdad son las mismas, mejor dicho, ambas proporciones son falsas en el primer casoy verdaderas en los otros tres casos, las proporciones ~(p ^ q) y ~ p v ~ q son lgicamente equivalentes y podemos escribir. (p ^ q) pv q

EJEMPLO: 1.6 considere el enunciado Es falso que las rosas son rojas y las violetas son azules Este enunciado se puede escribir en la forma ( p ^ q) en donde p es la rosas

son rojas las rosas son rojas y que es las violetas son azules. Sin embargo, por las tablas de verdad anteriores, ~ (p v q) es lgicamente equivalente con ~p v ~q. As, el enunciado dado tiene el mismo significado que el enunciado. Las rosas no son rojas, o las violetas no son azules Las proposiciones satisfacen muchas equivalencias lgicas, o leyes, fuera de las descritas anteriormente. Algunas de las leyes ms importantes, con sus

nombres se dan en la tabla 4-1. En la tabla, T denota una tautologa y F denota una contradiccin ENUNCIADOS CONDICIONAL Y BICONDICIONAL. Muchos enunciados, particularmente en la matemticas, son de la forma si p entonces q. Tales enunciados se llaman enunciados condicionales y se denotan por.

El condicional Pq frecuentemente se lee p implica q o p solo si q. Otro enunciado comn es la forma p si y solo si q. Tales enunciados denotados por. pq Se llaman enunciados bicondicionales. Los valores de verdad de p q y p se dan en las siguientes tablas.

Observe que el condicional p q es falso solamente cuando la primera parte p es verdadera y la segunda parte q es falsa. En caso de que p sea falso, el condicional p q es verdadero sin importar el valor de verdad de q. observe k pq es verdadero cuando p y q tienen los mismos valores de verdad y falso en los dems casos. (Para relacin entre los enunciados bicondicional y condicional). Ahora considere la tabla de verdad de la preposicin ~p v q:

Observe que la anterior tabla de verdad es idntica a la tabla de verdad de p q. As que pq es lgicamente equivalente a la preposicin ~p v q : pq

pvq

En otras palabras, el enunciado condicional Si p entonces q es lgicamente equivalente al enunciado No p o q , que solamente usa la conectiva v y por lo tanto era parte de nuestro lenguaje. y,

Considere las proposiciones condicional pq condicionales simples que contienen p y q: qp, p q y q

y las otras proposiciones

Estas proposiciones se llaman respectivamente reciproca, inversa, y contrarreciproca de la preposicin p q. Enseguida presentamos las tablas de verdad de los cuatro proposiciones.

Observe que un enunciado condicional y su reciproco o inverso no son lgicamente equivalentes. Por otra parte, se puede ver que un enunciado condicional y su contrarreciproca son lgicamente Teorema 1.1: un enunciado condicional p q y su contrarreciproco ~p son lgicamente equivalentes. q

Ejemplo: 1.7 (a) Considere los siguientes enunciados sobre un triangulo A: p q: Si es A es equiltero, entonces A es issceles q p: Si A es issceles, entonces A es equiltero En este caso p q es verdadero, pero su reciproco q p es falso. (b) Sea x un entero. Demuestre: (p q). Si x es impar entonces x es impar. Demostramos que la contra reciproca q p, Si s es par, entonces x es par , es verdadero. Sea x par, entonces, x = 2n en donde n es un entero. Por lo tanto,

x = (2n) (2n) = 2(2n) tambin es par. Como la contrarreciproca q p es verdadera, el enunciado

condicional original p q es tambin verdadero.

ARGUMENTOS Un argumento es una relacin entre un conjunto de proposiciones P 1, P2, . . . , Pn, llamadas premisas, y otra proposicin Q, llamada la conclusin; denotamos un argumento por P1, P2, . . . Pn Q Se dice que un argumento es vlido si las premisas dan (como consecuencia ) la conclusin, mas formalmente, damos la siguiente Definicin: Un argumento P1, P2, . . . Pn Q es vlido si Q es verdadero cada vez que las premisas P1, P2, . . . Pn + Q Sean verdaderas . Un argumento que no es valido se llama falacia.

EJEMPLO 1.8 i. El siguiente argumento es valido: p. p q q (Ley de independencia, modus ponendo ponens.)

Ya que p es verdadero en los casos (lneas) 1 y 2, y p q es verdadero en los casos 1, 3 y 4; se sigue que p y q q son verdaderos simultneamente en el casos 1. Como en en este caso q es verdadero, el argumento es valido. ii. El siguiente argumento es una falacia: p q, q p. ya que p q y q son ambas verdaderos en el caso (lnea) 3 en la anterior tabla de verdad, pero en este caso p es falso.

Ahora las proposiciones P1, P2, . . . , Pn son verdaderas simultneamente si y solo si la proposicin P1 ^ P2 ^ . . . ^ Pn es verdadera. Asi el argumento P1 ^ P2 ^ . . . ^ Pn sea verdadero o, equivalentemente, si y solo si la proposicin

(P1 ^ P2 ^ . . . ^ Pn) Q Es una tautologa. Establecemos este resultado formalmente Teorema 1.2 El argumento p1, p2, .., pn Q es valido si solo si (p1, ^ p2 ^ ^ pn)Q es una tautologa. En el siguiente ejemplo aplicamos este teorema.

Ejemplo 1.9: Un principio fundamental del racionamiento lgico dice: Si p implica q y q implica r, entonces p implica r

sea, el siguiente argumento es vlido. p q, q r p r (Ley del Silogismo)

Este hecho se verifica con la siguiente tabla de verdad que muestra que la proposicin [(p q) ^ (q r)] (p r) Es una tautologa:

Equivalentemente, el argumento es valido ya que las premisas p q y q r son verdaderas simultneamente solo en los casos (lneas) 1, 5, 7 y 8, y en estos casos la conclusin p r tambin es verdadera. Observe que la tabla de verdad requiere 2 = 8 lineas, ya que hay tres variables p, q y r.)

En necesario destacar que la validez del argumento no depende de los valores de verdad o del contenido de los enunciados que aparecen en el

argumento, sino solamente de la estructura formal del argumento. Esto se ilustra con el siguiente ejemplo.

EJEMPLO 1.10 Considere el siguiente argumento: S: Si un hombre es soltero, es infeliz. S: Si un hombre es infeliz, muere joven. S: Los solteros mueren jvenes En este caso el enunciado S debajo de la lnea denota la conclusin del argumento, y los enunciados S y S S es valido. Y que el argumento es de la forma p q, q r pr

En donde p es El soltero, q es El infeliz y r es El muere joven; y por ejemplo 1.9 este argumento (Ley de Silogismo) es vlido. IMPLICACION LOGICA Se dice que una proposicin P(p, q, . . .) implica lgicamente una proposicin Q(p, q, . . .) , escrito P(p, q, . . .) Q(p, q, . . .)

si Q(p, q, . . .) es verdadera cada vez que P(p, q, . . .) se verdadera. EJEMPLO 1.11 afirmamos que p implica lgicamente p v q. considere las tablas de verdad de p y de p v q en la tabla de abajo. Observe que p es verdadera en los casos (lneas) 1 y 2, y en estos casos p v q tambin es verdadera. En otras palabras, p implica lgicamente p v q.

Ahora si Q (p, q, . . .) es verdadera cada vez que P(p, q, . . .) se verdadera, entonces el argumento. P(p, q, . . .) Q(p, q, . . .) Es valido, y recprocamente. Aun mas, el argumento P Q es valido si y solo si el enunciado condicional de P Q es siempre verdadero, o sea, si es una tautologa. Establecemos este resultado formalmente. Teorema 4.3 Para proposiciones cualesquiera P(p, q, . . .) y Q(p, q, . . .) los tres enunciados siguientes son equivalentes: i.ii.iii.P(p, q, . . .) implica lgicamente a Q(p, q, . . .) El argumento de P(p, q, . . .) Q(p, q, . . .) es vlido. LA proposicin de P(p, q, . . .) Q(p, q, . . .)

Si P Q y Q P, entonces P y Q deben tener la misma tabla de verdad, y por lo tanto P = Q. el reciproco tambin es cierto. As, la nocin de implicacin lgica est ntimamente ligada a la de la equivalencia lgica.