I.

LOGICA DE PROPOSICIONES

LGICA DE PROPOSICIONES

I.0. INTRODUCCIN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . (2) I.1. JUICIO, PROPOSICIN Y SENTENCIA . . . . . . . . . . . . . . . . . . . . . . . . . . (2) I.2. CONECTIVAS LGICAS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . (2) I.3. TABLAS DE VERDAD . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . (3) I.4. TAUTOLOGAS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . (7) I.5. TRADUCCIN DE ESPAOL A CONECTIVAS LGICAS . . . . . . . . . . (10) I.6. APLICACIONES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . (11) I.7. EJERCICIOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . (16)

R. ESPINOSA R. y P. FUENTES R.

I-1

I. LOGICA DE PROPOSICIONES

I.0. INTRODUCCIN.
Iniciamos con el estudio de una de las ramas de los sistemas digitales denominada CIRCUITOS LGICOS. Sin embargo, esto da origen a que nos preguntemos qu son los circuitos lgicos?, para qu sirven? y en dnde se utilizan? Para dar respuesta a estas cuestiones es importante hacer algunas definiciones previas que nos permitan llegar a una respuesta adecuada. Luego entonces, los objetivos de este tema giran en base a la formacin de una estructura lgica para el diseo de circuitos con caractersticas especiales.

I.1. JUICIO, PROPOSICIN Y SENTENCIA.

La lgica clsica o tradicional, la de inspiracin aristotlica, se define como un conjunto de leyes generales del pensamiento", y sta , a su vez, define al juicio como el acto mental por medio del cual pensamos cualesquier enunciados, tales como: 10 + 5 = 15 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . (1) Ramrez es un buen jugador de tenis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . (2) Juan estudia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . (3) La proposicin se define como una oracin declarativa que puede ser verdadera (V,1) o falsa (F,0). Cuando una proposicin expresa una sola idea en su forma ms simple, se dice que es una proposicin simple o atmica. Las proposiciones atmicas son como sigue: Carlos es un buen deportista . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . (4) El padre de Carlos es feliz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . (5) Ahora bien, si una proposicin rene a ms de una proposicin simple o atmica, se dice que es una proposicin compuesta o molecular. Para formar una proposicin compuesta o molecular se hace necesario emplear un elemento de enlace entre las proposiciones simples o atmicas, a las cuales se les denomina conectivas lgicas.

I.2. CONECTIVAS LGICAS.

Se definen bsicamente 5 elementos cuyos propsitos son enlazar las proposiciones simples o atmicas. 1. 2. LA CONJUNCIN: La conjuncin se representa por v y se lee Y. LA DISYUNCIN: Se divide en disyuncin inclusiva que se representa por w y se lee como O; o tambin se lee como uno u otro o ambos. La disyuncin exclusiva se representa por y se lee como O exclusiva, o tambin como uno u otro pero no ambos. CONDICIONAL: Se representa por medio de una flecha 6 y se lee si ... entonces.... BICONDICIONAL: Se representa por : o / (relacin de equivalencia) y se lee si y slo si, o tambin como condicin necesaria y suficiente. NEGACIN: Se lee como no, es falso que, no es verdad que; y hay muchas formas de representarlo (', ,G,).

3. 4. 5.

R. ESPINOSA R. y P. FUENTES R.

I-2

I. LOGICA DE PROPOSICIONES

Ahora, estamos en posibilidad de formar proposiciones moleculares. Podemos utilizar los enunciados del (1) al (5): 10+5=15 y Ramrez es un buen jugador de tenis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . (1) 10+5=15 o Juan estudia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . (2) Si Carlos es un buen deportista entonces el padre de Juan es feliz . . . . . . . . . . . . . . . (3) El padre de Carlos es feliz si y slo si Carlos es un buen deportista . . . . . . . . . . . . . . (4) Es falso que el padre de Juan es feliz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . (5) Como se observa de los ejemplos del (1) al (5), para trabajar con la lgica de proposiciones, resulta difcil manejar stos como elementos de una nueva lgebra, motivo por el cual se tratan de simbolizar estas proposiciones. A esta simbolizacin se le denomina sentencias, por stas se entiende como series de signos por medio de los cuales se expresan proposiciones. Las sentencias se simbolizan mediante letras, llamadas letras sentenciales, las cuales pueden ser: p, q, r, s, t,..., en donde cada letra sentencial representa un enunciado declarativo.

EJEMPLOS.
1. p = (10+5=15) q = Ramrez es un buen jugador de tenis pvq 2. r = Juan estudia pwr 3. s = Carlos es un buen deportista t = El padre de Carlos es feliz s6t 4. 5. t:s o t/s

I.3. TABLAS DE VERDAD.

Hasta ahora nos hemos referido a las letras y esquemas sentenciales sin tener en cuenta si eran verdaderas o falsas. Un principio que establecer es este: P1. Todo enunciado es verdadero o falso. Este principio significa que a todo enunciado se le puede asignar uno de los siguientes predicados: verdadero o falso, y lo simbolizaremos con las letras V o F, respectivamente, llamados valores de verdad.

R. ESPINOSA R. y P. FUENTES R.

I-3

I. LOGICA DE PROPOSICIONES

Otro principio es: P2. Los valores de verdad de cualquier frmula molecular (esquema sentencial) estn determinados por los valores de verdad de las frmulas componentes. Con la ayuda de estos principios se pueden formar las llamadas TABLAS DE VERDAD, las cuales se usan para determinar de un modo sistemtico la verdad o falsedad de las frmulas. Comenzaremos con las tablas de verdad correspondientes a las conectivas lgicas estudiadas anteriormente. 1. La tabla de verdad para una sola letra sentencial es: p F V Lo cual indica que dada una letra sentencial hay para ella dos posibilidades, una que sea verdadera y otra que sea falsa. 2. La tabla para dos letras sentenciales es: p F F V V q F V F V

Lo cual indica que dadas dos letras sentenciales hay para ella 2 posibilidades y en general para n letras, hay 2n posibilidades. 3. La tabla de verdad para p v q es:

F F V V

F V F V

F F F V

cual indica que la conjuncin de p y q es verdadera si y slo si p y q son verdaderas, de otra manera p v q son falsas. 4. La tabla de verdad para p w q es:

F F V V

F V F V

F V V V

R. ESPINOSA R. y P. FUENTES R.

I-4

I. LOGICA DE PROPOSICIONES

Lo cual indica que la disyuncin de p o q ser verdadera si y slo si p o q o ambas son verdaderas. De otra manera p w q es falsa. 5. La tabla de verdad para la disyuncin exclusiva es:

F F V V

F V F V

F V V F

Lo cual indica que la disyuncin de p O exclusiva q ser verdadera si y slo si p o q son verdaderas, pero no ambas. 6. La tabla de verdad de p 6 q es:

F F V V

F V F V

V V F V

Slo en este caso, a la letra sentencial p se le denomina antecedente y a la letra sentencial q se le denomina consecuente. Por tanto, la tabla de verdad para p 6 q establece que solamente cuando el antecedente es verdadero y el consecuente es falso, la frmula ser falsa y en todos los dems casos es verdadera. 7. La tabla de verdad para p : q o p / q es:

F F V V

F V F V

V F F V

Lo cual indica que en la bicondicional p / q ser verdadera si y slo si ambos componentes tienen el mismo valor de verdad. Observe que la tabla de verdad 5 y la tabla de verdad 7 se complementan entre s; por tal razn, se utiliza para la bicondicional el smbolo de relacin de equivalencia / y para la disyuncin exclusiva , esto es porque una es el complemento de la otra.

R. ESPINOSA R. y P. FUENTES R.

I-5

I. LOGICA DE PROPOSICIONES

8.

La tabla de verdad para no p es:

F V

V F

Lo cual indica que cuando una frmula es verdadera, su negacin es falsa y viceversa. Las tablas de verdad, como se mencion anteriormente, se construyen para comprobar metdicamente el valor de verdad de las frmulas o para verificar la relacin de equivalencia (igualdad) de las frmulas. A continuacin se presentan algunos ejemplos: 1. Demostrar que

SOLUCIN

F F V V

V V F F

F V F V

V V F V

V V F V

8
2. Demostrar que (p / q) = (p 6 q) v (q 6 p)

SON IGUALES

SOLUCIN

F F V V

F V F V

V F F V

V V F V

V F F V

V F V V
SE VERIFICA

8
3.

Dada la siguiente frmula, determine sus valores de verdad:

R. ESPINOSA R. y P. FUENTES R.

I-6

I. LOGICA DE PROPOSICIONES

SOLUCIN

F F V V 4.

F V F V

F F F F

F F F V

V V V V

Dada la frmula siguiente, determinar sus valores de verdad:

SOLUCIN

F F F F V V V V

F F V V F F V V

F V F V F V F V

V V V V F F V V

V V F V F F F V

V V F V V V F V

V V V V V V V V

V V V V F V F V

I.4

TAUTOLOGA.

Se puede observar que al construir las tablas de verdad en los ejemplos anteriores, se presentaron tres casos: 1. 2. 3. La tabla de verdad de la frmula dada contena tanto verdaderos (V) como falsos (F). La tabla de verdad de la frmula dada contena slo falsos (F). La tabla de verdad de la frmula dada contena slo verdaderos (V).

La frmula del primer tipo se denomina indeterminada. Las frmulas del segundo tipo se denominan contradicciones y las del tercer tipo se denominan tautologas o frmulas sentencialmente vlidas. Por tanto, se dice que un enunciado es una tautologa si bajo todas las condiciones de verdad, la tabla de verdad slo tiene resultados verdaderos. Algunos ejemplos de tautologa de la lgica tradicional, son los bien conocidos principios de: i). ii). iii). IDENTIDAD: CONTRADICCIN: p6p;p/p -[p v (-p)]

TERCERO EXCLUIDO: [p w (-p)]

R. ESPINOSA R. y P. FUENTES R.

I-7

I. LOGICA DE PROPOSICIONES

Lo cierto es que en este captulo, la tautologa se usar para determinar la validez de un argumento. Un argumento es un enunciado en el cual, de un conjunto de premisas (A, B, C, D,...,etc.), se obtiene una premisa llamada conclusin Q. Cada premisa puede estar formada por una o ms proposiciones. Luego entonces, se dice que un argumento es vlido si la tabla de verdad formada de la siguiente manera: (A v B v C v D ...) 6 Q ; ES UNA TAUTOLOGA.

EJEMPLOS
Encontrar si los argumentos siguientes son o no vlidos: 1. Si Martha fue al cine entonces Miguel fue al cine. Miguel fue al cine. Por tanto, Martha fue al cine.

SOLUCIN
Determinamos cada una de las premisas, as como tambin la conclusin. A = Si Martha fue al cine entonces Miguel fue al cine. B = Miguel fue al cine. Q = Martha fue al cine. Pero como se dijo anteriormente, cada premisa puede estar formada por una o ms proposiciones, por lo que se da el caso que la premisa A pueda representarse sentencialmente de la siguiente manera: p = Martha fue al cine. q = Miguel fue al cine. Por tanto: A=p6q B=q Q=p La frmula queda: [(p 6 q) v q] 6 p Si la tabla de verdad resulta una tautologa, el argumento ser vlido. TABLA DE VERDAD

F F V V

F V F V

V V F V

F V F V

V F V V

R. ESPINOSA R. y P. FUENTES R.

I-8

I. LOGICA DE PROPOSICIONES

Como se observa de la tabla de verdad, el argumento no es vlido, porque no se obtuvo una tautologa. 2. Al ejemplo anterior solamente se cambiar el orden de alguna de las premisas. A = Si Martha fue al cine entonces Miguel fue al cine. B = Martha fue al cine. Q = Por lo tanto, Miguel fue al cine.

SOLUCIN
A=p6q B=p Q=q Por tanto, el argumento queda expresado: [(p 6 q) v p] 6 q TABLA DE VERDAD

F F V V

F V F V

V V F V

F F F V

V V V V

El resultado obtenido es una tautologa, y por tanto, el argumento es vlido.

I.5. TRADUCCIN DE ESPAOL A CONECTIVAS LGICAS.

Como se ver posteriormente, una de las partes ms difciles del diseo lgico, consiste en pasar del enunciado verbal del problema a una tabla funcional o a una expresin algebraica. Para ayudar un poco con este problema, a continuacin se presenta una tabla que contiene algunas de las conjunciones espaolas ms usadas y su traduccin lgica.

R. ESPINOSA R. y P. FUENTES R.

I-9

I. LOGICA DE PROPOSICIONES

CONECTIVA ESPAOLA 1. 2. 3. 4. 5. 6. 7. 8. 9. No p pyq p o (inclusiva) q p o (exclusiva) q p ms q p aunque q p a condicin de que q p si q Si p entonces q p o q o ambos p o q pero no ambos 1. 2. 3. 4. 5. 6. 7. 8. 9. p' pvq pwq pq pwq pvq q6p q6p p6q

TRADUCCIN LGICA

(p v q') w (p'v q)

q' w p q' w p p' w q p' w q q' w p

10. p implica q 11. p siempre y cuando q 12. p tanto como q 13. p si y slo si q 14. No ambas p y q 15. Es falso que p y q 16. No es cierto que p o q 17. Ni p ni q 18. Cuando p entonces q 19. p a no ser que q 20. p a condicin necesaria y suficiente que q 21. A a menos que B

10. p 6 q 11. q 6 p 12. p v q 13. p / q 14. (p v q)' 15. (p v q)' 16. (p w q)' 17. p'v q' 18. p 6 q 19. q'6 p 20. p / q 21. B'6 A

(p v q) w (p'v q') p' w q' p' w q' p' v q' (p w q)' p' w q qwp (p v q) w (p' v q') BwA

I.6 APLICACIONES
En esta seccin se tratan de resolver algunos ejemplos en donde se aplican los conceptos vertidos en este primer captulo. 1. Como se mencion en la Seccin I.5, uno de los problemas ms difciles es pasar del enunciado a una tabla funcional y posteriormente encontrar los dispositivos adecuados para la realizacin fsica del problema expuesto. Uno de esos dispositivos son los sistemas de relevadores y contactores. A continuacin se muestra la instrumentacin de cada una de las conectivas con estos dispositivos. 1.1 NEGACIN

F V

V F

R. ESPINOSA R. y P. FUENTES R.

I-10

I. LOGICA DE PROPOSICIONES

1.2

CONJUNCIN p F F V V q F V F V pvq F F F V

1.3

DISYUNCIN INCLUSIVA pwq F V V V

p F F V V 1.3.1

q F V F V

DISYUNCIN EXCLUSIVA pq F V V F

p F F V V

q F V F V

1.4

CONDICIONAL p6q V V F V

p F F V V

q F V F V

R. ESPINOSA R. y P. FUENTES R.

I-11

I. LOGICA DE PROPOSICIONES

1.5

BICONDICIONAL p/q V V F V

p F F V V

q F V F V

2. Condiciones que deben reunirse para que sea posible fumar. Por una parte deben tenerse cerillos o encendedor; por otra parte, cigarrillos o una pipa y tabaco, pero no se debe estar en presencia de una atmsfera explosiva.

SOLUCIN
Lo primero que hay que hacer es determinar las variables: F = Posibilidad de fumar C = Cerillos E = Encendedor B = Cigarros P = Pipa T = Tabaco A = Atmsfera explosiva. Una vez determinadas las variables, hay que identificar las conectivas lgicas que enlazan a cada una de las variables (proposiciones atmicas) y formar la expresin lgica. F = {(C w E) v [B w (P v T)]} v A 3. Determine la expresin lgica que describe el siguiente problema. El flujo de agua que llega a una solucin de salmuera que se emplea en un proceso qumico, se cortar solamente si: a) b) El tanque est lleno. La salida del tanque no se cierra, la concentracin de sal no exceda al 2.5% y el nivel del agua no est por debajo de un cierto nivel mnimo especificado.

SOLUCIN
Determinacin de las variables. Q = Flujo de agua T = Tanque lleno S = Salida del tanque C = Concentracin de sal no excede el 2.5% N = Nivel mnimo de agua especificado.

R. ESPINOSA R. y P. FUENTES R.

I-12

I. LOGICA DE PROPOSICIONES

La expresin lgica es:

4. En un banco, un sistema de alarma contra robo funcionar slo si se activa el conmutador maestro en la estacin de polica. De acuerdo con esta condicin, la alarma sonar si la puerta de la bveda es perturbada en cualquier forma, o si la puerta del banco se abre, a menos que primero se opere un interruptor especial, utilizando la llave del velador. La puerta de la bveda est equipada con un sensor de vibracin que har que se cierre un interruptor cuando se perturbe dicha puerta, y se montar dicho interruptor sobre la puerta del banco, de tal manera que se cerrar siempre que la puerta del banco se abra.

SOLUCIN
Determinacin de las variables. I = Conmutador maestro de la polica activado. P = Puerta de la bveda perturbada. B = Puerta del banco abierta. V = Interruptor general especial operado por el velador. A = Alarma sonar. La expresin queda:

5. Considerando que se tienen dos letras sentenciales (variables), determine: a) b) c) El nmero de combinaciones. El nmero de resultados (funciones) de estas combinaciones. Por medio de la construccin de una tabla, identifique cada funcin de acuerdo a las conectivas y tablas de verdad vistas anteriormente.

SOLUCIN
a) No. de combinaciones = 2n. Si n = 2, entonces: No. de combinaciones = 4. TABLA DE VERDAD p F F V V b) No. de funciones = (2)n. Si n = 2 entonces, No. de funciones = (2) = 16 c) De a) y b), se obtiene la siguiente tabla: q F V F V ?

R. ESPINOSA R. y P. FUENTES R.

I-13

I. LOGICA DE PROPOSICIONES

De la tabla se observa que nicamente f5 y f12 son funciones no conocidas, pero que identificando cualquiera de ellas, automticamente se identifica la otra, ya que son complementarias entre si. Si aislamos f5 y f12:

F F V V Por tanto:

F V F V

F V F F

V F V V

F V F F

V F V V

La pregunta obligada podra ser Cmo se obtuvo tal resultado? En realidad es muy fcil utilizando conceptos que se vern en los prximos captulos, de otra manera tendra que utilizarse el mtodo de prueba y error (tanteos). 6. Determine la expresin lgica que represente el siguiente problema. El contrato para la adquisicin de la pliza #22, podra extenderse si al solicitante si cumple con alguna de las condiciones: 1. 2. 3. Se le ha extendido la pliza # 19 y es casado de sexo masculino, o Se le ha extendido la pliza # 19 y es casado de menos de 25 aos, o No se ha extendido la pliza # 19 y es casado de sexo femenino, o
R. ESPINOSA R. y P. FUENTES R.

I-14

I. LOGICA DE PROPOSICIONES

4. 5.

Es de sexo masculino menor de 25 aos, o Es casado de 25 aos o mayor.

SOLUCIN
Como en los ejemplos anteriores, hay que determinar las variables y los elementos de enlace. D = El solicitante tiene derecho a la pliza # 22. P = Pliza # 19. C = Casado. M = Sexo masculino. E = Menor de 25 aos. De acuerdo con las cinco condiciones se tiene: 1. 2. 3. 4. 5. Finalmente:

Como se ver en el captulo de reducciones de funciones Booleanas, la funcin anterior es factible de reducirse.

I.7 EJERCICIOS.
I.1. Escriba cada uno de los siguientes postulados de manera simblica, usando a p y q definidos como: p = es rico q = es feliz a) b) c) d) e) Si es rico entonces no es feliz No se es feliz cuando se es rico Es pobre solamente si es feliz Ser rico significa lo mismo que ser feliz El es pobre o es rico y feliz

R. ESPINOSA R. y P. FUENTES R.

I-15

I. LOGICA DE PROPOSICIONES

I.2.

Escribir la negacin de cada uno de los siguientes enunciados en una frase tan sencilla como sea posible: a) b) c) d) Mara habla espaol o francs si y slo si habla italiano Si Juan lee el Heraldo entonces no lee la Prensa ni el Exclsior Si Marcos es rico, entonces tanto Enrique como Aurora son felices Si cae nieve, entonces no conduce el automvil

I.3.

Construya la tabla de verdad de cada proposicin: a)

b) c) I.4. Comprobar la validez de cada uno de los siguientes argumentos: a) Si Lourdes no est en Dinamarca, entonces Pars no est en Francia Pero Pars est en Francia Por lo tanto, Lourdes est en Dinamarca b) El Gobernador de California proviene ya sea de Los Angeles o de San Francisco El Sr. Jones no viene de San Francisco De donde, si el Sr. Jones no es de Los Angeles, entonces el Sr. Jones no es Gobernador de California c) Si Harvard gana el campeonato de la liga de ftbol, entonces Princenton ser segundo Si Princenton es segundo, entonces Darmounth quedar en segunda divisin Harvard ganar o Darmounth no terminar entre los cuatro primeros equipos De donde, Princenton no tendr el segundo lugar I.5. Determine la expresin lgica que describa el siguiente problema: En muchos automviles, la alarma del cinturn de seguridad se usa tambin para indicar que se estn dejando las llaves en el contacto o dejando las luces encendidas, cuando est desocupado. La siguiente proposicin describe la forma en que puede funcionar dicho sistema: La alarma suena si la llave est en el contacto, cuando la puerta est abierta y el motor no est funcionando; o si las luces estn encendidas cuando la llave no est en el contacto, o si el cinturn de seguridad del conductor no est ajustado cuando el motor est
R. ESPINOSA R. y P. FUENTES R.

I-16

I. LOGICA DE PROPOSICIONES

funcionando; o si el asiento del pasajero est ocupado y su cinturn de seguridad no est ajustado. I.6. Un fabricante de indicadores luminosos y de controles para detectar equipos en mal funcionamiento, necesita disear un sistema indicador para cpsulas espaciales. El programa espacial ha tenido problemas con el funcionamiento de la escotilla. Hay tres tipos de control para las escotillas: El sistema principal, el de emergencia y el manual. Los dos primeros son automticos y el tercero es manual. Determine una expresin lgica que represente el sistema ptimo de control de luces que indique las fallas de ambos sistemas automticos si el astronauta est fuera de la cpsula, falla de los tres sistemas cuando el astronauta est dentro de la cpsula o falla de dos de los tres sistemas cuando el astronauta est afuera. I.7. Una empresa est interesada en contratar cuatro tipos de profesionistas: 1. 2. 3. 4. Mujeres, no ingenieras, con un promedio de calificaciones mayor o igual a 3.0 (4.0 equivale a una calificacin de A). Hombres, ingenieros, con un promedio de calificaciones mayor o igual a 2.5. Hombres, no ingenieros, con un promedio de calificaciones mayor o igual a 3.0. Mujeres, ingenieras, con un promedio de calificaciones mayor o igual a 3.0.

Considerando que M representa que el profesionista es hombre, E que es ingeniero, Y que el promedio de calificaciones es mayor o igual a 3.0 y Z que el promedio de calificaciones es mayor o igual a 2.5, determine una expresin de conmutacin que describa las calificaciones necesarias que un candidato deba reunir para poder contratarse.

R. ESPINOSA R. y P. FUENTES R.

I-17