Professional Documents
Culture Documents
COMPUERTAS LOGICAS´ 1
Toda afirmaci´on es verdadera o falsa y no hay una afirmaci´on que sea verdadera y falsa al mismo
tiempo. Esta suposici´on la llamamos la Ley del tercero excluido.
La mayor´ıa de los matem´aticos lo aceptan, sin embargo, algunos demasiado formales se rehusan a
usarla.
Una consecuencia de esta suposici´on es que si una afirmaci´on no es falsa tendr´a que ser verdadera;
a partir de afirmaciones podemos construir otras afirmaciones.
Operaciones B´asicas
Las palabras “y”, “o”, “no”, “si,...,entonces”, “si y s´olo si”,(conectivos l´ogicos) nos permitir´an
nuevas afirmaciones y, adem´as, conociendo los valores de verdad, es decir, si son V ´o F, de
las afirmaciones que componen las afirmaciones nuevas, podremos deducir el valor de
verdad de la afirmaci´on que se construya.
2 ´INDICE GENERAL
Los conectivos l´ogicos, tienen una notaci´on especial y su sentido en matem´aticas es preciso.
Cada proposici´on tiene una forma l´ogica a la cual se le da un nombre. Se distinguen dos tipos
de proposiciones: simples y compuestas. Una proposici´on se denomina simple cuando ella
no interviene ninguna conectiva l´ogica o t´ermino de enlace (y, o, no, si,... entonces..., si y s´olo
si). Si se juntan una o varias proposiciones simples con un t´ermino de enlace, se forma una
proposici´on compuesta. Los t´erminos de enlace, “y”, “o”, “si...entonces”, “si y s´olo si”; se usan
para ligar dos proposiciones, en cambio el t´ermino de enlace “no” se agrega a una sola
proposici´on.
La forma de las proposiciones compuestas depende del t´ermino de enlace utilizado, y no del
contenido de la proposici´on o proposiciones simples. Es decir si en una proposici´on
compuesta se sustituyen las proposiciones simples por otras proposiciones simples
cualesquiera, la forma de la proposici´on compuesta se conserva.
Teniendo como base las afirmaciones: P: “El tablero de este sal´on es verde”, Q: “El tablero del
sal´on 315 es blanco”, podemos construir nuevas afirmaciones, por ejemplo: P y Q: “El tablero
de este sal´on es verde y el tablero del sal´on 315 es blanco”, P o Q: “El tablero de este sal´on es
verde o el tablero del sal´on 315 es blanco”.
Tablas de verdad Para evitar ambigu¨edades, definimos el uso de los s´ımbolos mediante tablas de
verdad.
Estas tablas pueden construirse haciendo una interpretaci´on de los l´ogicos, ∼,∨,∧,=⇒, ⇐⇒
; como: no, o, y, si...entonces, si y s´olo si, respectivamente. La interpretaci´on corresponde al
sentido que estas operaciones tienen dentro del razonamiento. Puede establecerse una
correspondencia entre los resultados de estas tablas de verdad y la deducci´on l´ogico-
matem´atica. En consecuencia, las tablas de verdad constituyen un m´etodo de decisi´on
para chequear si una proposici´on es o no un teorema.
V F F
F V F
F F F
Nota: En el lenguaje comu´n la palabra ”y” podr´a tener otros significados (pero, tambi´en, au´n),
sin embargo para nosotros el significado es el que nos da la tabla.
Disyunci´on (∨) (Corresponde al ”o” del lenguaje comu´n). Las afirmaciones P ∨ Q se lee
”P ´o Q”, intuitivamente P ∨ Q es verdadero si cualquiera de las dos afirmaciones lo es o si
ambas lo son.
P Q P∨Q
V V V
V F V
F V V
F F F
Nota: Este en un ”o” inclusivo y no exclusivo. En el lenguaje coloquial muchas veces no se permite que
ambas sean verdaderas.
Despu´es del almuerzo como postre o me lavo los dientes. En la afirmaci´on anterior dada en
lenguaje comu´n uno entiende que no har´a las dos cosas despu´es de almuerzo. Aqu´ı el ”o”
es exclusivo, pero en el lenguaje matem´atico el ”o” que se usa es el inclusivo.
Negaci´on (∼) (Corresponde al ”no” del lenguaje comu´n). La afirmaci´on ∼ P que se lee ”no
P”, intuitivamente ∼ P es falso cuando P es verdadero y ∼ P es veradero cuando P no lo es. La
definici´on precisa de la negaci´on es:
P ∼P
V F
F V
P : El tablero de este sal´on es verde.
Observaci´on
Si P y Q son proposiciones, entonces P YQ es una proposici´on que es verdadera precisamente
cuando los valores de verdad de P y Q no coinciden. En otras palabras, P Y Q es verdadera si
se tiene que s´olo P es verdader, o se tiene que s´olo Q es veradera, pero no cuando ambas son
veraderas ni cuando ambas son falsas.
(Ilustraci´on)
1. Tr´ainganlo vivo o (tr´ainganlo) muerto es una instancia de la disyunci´on excluyente.
Observaci´on
Cuando se trabaja con proposiciones, es indispensable el buen uso de los par´entesis; su descuido
provoca numerosos errores.
El papel de los par´entesis es similar al de la puntuaci´on en nuestra gram´atica; separa unidades
m´as pequen˜as dentro del discurso.
Su importancia radica en que debemos procurar que lo que escribamos en Matem´aticas no est´e
sujeto a interpretaciones distintas, es decir, que carezca de ambigu¨edad.
Tome en cuenta que un cambio en la puntuaci´on puede modificar completamente el sentido de
la frase.
En el ´algebra elemental
El uso de par´entesis en proposiciones tiene an´aloga utilidad y similares convenciones que
el uso de par´entesis en expresiones algebraicas. Tambi´en en el ´algebra elemental puede
cambiar el significado de la expresi´on segu´n los ”separadores” que se emplea. Veamos
algunos situaciones:
1. Considere la conocida y mal hecha pregunta ¿Cu´al es la mitad de dos?. Como se sabe,
.
2. Note sin embargo que cuando se escribe ab + c todo el mundo entiende (ab) + c y no a(b + c).
En otras palabras, si usted quiere escribir (ab) + c, puede escribir ab + c, pero si quiere escribirlo tal
cual.
Para referirse a esta situaci´on convencional, se suele decir que ”la suma prevalece sobre la
multiplicaci´on”, ´o bien que ”el producto se hace antes que la suma”.
Estas expresiones en espan˜ol no son excelentes, pero no traen problema si se las usa correctamente.
En cualquier caso, usted puede escribir 2 + 3 × 5 y todos entender´an 17 (y no 25).
0.5. COMPUERTAS LOGICAS´ 7
3. Ahora bien, si usted quiere escribir el nu´mero a(bc) puede escribir abc, pero puede escribir
tambi´en abc para expresar (ab)c.
Esto se debe a la ley de la asociatividad en los nu´meros, que dice que si tiene a(bc) = (ab)c y
entonces, la expresi´on abc puede significar cualquiera de las dos.
En el ´algebra de proposiciones
Cuando se trabaja con proposiciones, la situaci´on es an´aloga a la ley descrita.
1. (Asociatividad): Las propiedades de asociatividad de la conjunci´on y de la disyunci´on indican
que,
(P ∧ Q) ∧ R ⇐⇒ P ∧ (Q ∧ R)
y
(P ∨ Q) ∨ R ⇐⇒ P ∨ (Q ∨ R)
Esto permitir´a escribir sin ambigu¨edad
P∧Q∧R
y
P∨Q∨R
(P ∧ Q) ∨ R ⇐⇒ P ∧ (Q ∨ R)
(Lo anterior se puede comprobar, por jemplo, haciendo la tabla de verdad respectiva).
que piensa en esa expresi´on, o bien precisamenteEsto obliga a escribir con los respectivos
par´entesis: ya sea exactamente (P ∧ (Q ∨ r) si eso es lo que quiere escribir.P ∧ Q) ∨ R si es
(P =⇒ Q) =⇒ R no es equivalente a P =⇒ (Q =⇒ R) y que, P ⇐⇒ (Q ⇐⇒ R) no
es equivalente a P ⇐⇒ (Q ⇐⇒ R),
8 ´INDICE GENERAL
no significa P ∧ (Q =⇒ R).
Insistimos en que se trata aqu´ı s´olo de una convenci´on para simplificar la escritura (no hay
en esto algo necesario sino simplemente conveniencia).
P ∧ Q ∧ R, P ∨ Q ∨ R, P Y Q Y R.
P ∧ Q =⇒ R, P ∨ Q =⇒ R, etc.
P ∧Q∨R, P ∨Q∧R, P =⇒ Q =⇒ R, P ⇐⇒ Q ⇐⇒ R, P =⇒ Q ⇐⇒ R,
Tautolog´ıas (Informalmente): Respecto de los llamados valores de verdad, se dice que una
proposici´on es una tautolog´ıa si es siempre verdadera, un absurdo o contradicci´on si es
siempre falsa o bien una contingencia (a veces verdadera, a veces falsa).
una tautolog´ıa, P ∧ P es un absurdo y P ∨ Q es una contingencia (a menos que p sea una tautolog´ıa, o
Iremos indicando, cada vez la importancia relativa de las diversas tautolog´ıas, cu´ales hay
que tener siempre presentes y cu´ales se declaran para ser ”olvidadas” de inmediato –algunas
son bastante f´aciles de retener–.
Hay tres maneras de de probar tautolog´ıas:
1. Usar tablas de verdad. Ello se hace de modo an´alogo a como hemos mostrado en la
secci´on anterior, cuidando de escribir ordenadamente todas las combinaciones de
valores de verdad posibles entre las proposiciones que intervienen (tome nota de la
disposici´on que utilizaremos).
10 ´INDICE GENERAL
1.
2.
3.
4.
Por ejemplo,
∨′ z
∨ ⇐⇒
z
∨ ∨ ⇐⇒ ∨′ , ∨ ∨ , etc.
V V V V F F F
Se trata de una proposici´on bastante simple:
Todos los absurdos equivalentes, todas las tautolog´ıas son equivalentes, etc.
Si ∨,∨′ son tautolog´ıas y z,z′ son absurdos y P es una proposici´on cualquiera, entonces:
1. P =⇒ ∨
2. z =⇒ P
0.5. COMPUERTAS LOGICAS´ 11
3. P ∧ z ⇐⇒ ∨
4. P ∨ ∨ ⇐⇒ ∨
5. P ∨ z ⇐⇒ P
6. P ∧ ∨ ⇐⇒ P
Por ejemplo,
P ∨ P =⇒ ∨
V V V
F V V
Esta es una proposici´on bastante u´til en los c´alculos, pero muy fac´ıl de recordar o re-
inventar. Ahora que hemos esrablecido estos primeros dos teoremas, escribiremo (como casi
todo el mundo) V en lugar de ∨ y F en lugar de z. Au´n cuando en realidad ∨,z son propiedades
y V,F valores de verdad, este abuso no se prestar´a a confusi´on. Si p es una proposici´on,
entonces:
1. p ⇐⇒ p (principio de identidad)
Por ejemplo
p ∼ p p∧ ∼ p ∼ (p∧ ∼ p)
V F F V
F V F V
Estas proposiciones son bastante sencillas; son tambi´en los tres pilares que puso Arist´oteles
en su L´ogica (vales decir, en sus Anal´ıticos). Si P es una proposici´on, entonces:
2. P ∨ P ⇐⇒ P
3. P ∧ P ⇐⇒ P
Como se ve, bastante f´acil e inmediata. Si no le gusta el lat´ın, puede decir doble negaci´on. Si
P,Q son proposiciones, entonces:
12 ´INDICE GENERAL
1. P ∧ Q ⇐⇒ P (simplificaci´on)
2. P =⇒ P ∨ Q (adici´on)
1. P ∧ Q ⇐⇒ Q ∧ P (conmutatividad)
2. p ∨ q ⇐⇒ q ∨ p (conmutatividad)
Por ejemplo,
P Q P∧Q Q∧P P ∧ Q ⇐⇒ Q ∧ P
V V V V V
V F F F V
F V F F V
F F F F V
Si P,Q,R son proposiciones, entonces:
1. (P ∧ Q) ∧ R ⇐⇒ P ∧ (Q ∧ R)
2. (P ∨ Q) ∨ R ⇐⇒ P ∨ (Q ∨ R)
La tabla siguiente:
P Q R P∨Q Q∨R (P ∨ Q) ∨ R P ∨ (Q ∨ R) (P ∨ Q) ∨ R ⇐⇒ P ∨ (Q ∨ R)
V V V V V V V V
F V V V V V V V
V F V V V V V V
F F V F V V V V
V V F V V V V V
F V F V V V V V
V F F V F V V V
F F F F F F F V
Note ahora, que para escribir ordenadamente todos los posibles valores de verdad de P,Q,R
respectivamente, hemos ido (de izquierda a derecha) de uno en uno (V FV FV F ...), de dos en
dos (V V FFV V ...) y de cuatro en cuatro. En otras palabras, escribimos sucesivamente de 20
0.5. COMPUERTAS LOGICAS´ 13
1. P ∧ (Q ∨ R) ⇐⇒ (P ∧ Q) ∨ (P ∧ R) (distributividad).
2. P ∨ (Q ∧ R) ⇐⇒ (P ∨ Q) ∧ (P ∨ R) (distributividad).
Observaci´on
Es importante considerar algunas cuestiones acerca de las leyes de distributividad:
1. En primer lugar, usando la conmutatividad, uno tiene que,por ejemplo,
(P ∨ Q) ∧ R ⇐⇒ R ∧ (P ∨ Q) ⇐⇒ (R ∧ P) ∨ (R ∧ Q) ⇐⇒ (P ∧ R) ∨ (Q ∧ R);
(P ∧ Q) ∨ (R ∧ S) ⇐⇒ [(P ∧ Q) ∨ R] ∧ [(P ∧ Q) ∨ S]
En otras palabras y segu´n se indic´o antes, se trabaja de maera an´aloga al c´alculo elemental
(a + b)(c + d) = ac + ad + bc + bd
(que se basa en las propiedades an´alogas para nu´meros); con la diferencia de que, en este
caso, tanto “∧” como “∨” pueden jugar el papel de la multiplicaci´on, a condici´on de que el
otro sea la suma.
3. Repare, sin embargo, en que por ejemplo, en la expresi´on, (P ∧ Q)∨(R ∨ S), la situaci´on
es distinta:
(P ∧ Q) ∨ (R ∨ S) [(P ∧ Q) ∨ R] ∨ S
⇐⇒
⇐⇒ [(P ∨ R) ∧ (Q ∨ R)] ∨ S
⇐⇒ (P ∨ R ∨ S) ∧ (Q ∨ R ∨ S)
Teorema 1. (Leyes de D’Morgan)
Si P,Q,R son proposiciones, entonces:
1. ∼ (P ∧ Q) ⇐⇒ ∼ P∨ ∼ Q
14 ´INDICE GENERAL
2. ∼ (P ∨ Q) ⇐⇒ ∼ P∧ ∼ Q
Observaci´on
La siguente e importante propiedad nos permite adem´as presentar, en su demostraci´on, c´omo
funciona el m´etodo de derivaci´on.
1. 2.
3.(contra-reciprocidad, contraposici´on).
Se tiene:
2. Se tiene sucesivamente
3. Se tiene sucesivamente
(P =⇒ Q) ⇐⇒ P∨Q (por definici´on de la implicaci´on)
1.
2.
3. 4.
Si tiene alguna duda, haga las tablas de verdad correspondientes, salvo para el nu´mero 1, que es
la definici´on de equivalencia.
Observaci´on
Note que se declara, tambi´en aqu´ı, conmutativida. Si
P,Q,R son proposiciones, entonces:
1. P ∨ (P ∧ Q) ⇐⇒ P (absorci´on).
2. P ∧ (P ∨ Q) ⇐⇒ P (absorci´on).
LAs reglas de absorci´on son muy importantes en la practica. Si usted intenta simplificar una
expresi´on cualquiera y no lo logra, probablemente har´ıa bien en intentar usar una de ellas.
(Intente desarrollar, por ejemplo, P ∨(P ∧ Q) segu´n la ley de la distributividad y vea lo que
ocurre desde el cuarto paso).
Si P,Q,R son proposiciones, entonces:
1. (P ∧ Q =⇒ R) ⇐⇒ [P =⇒ (Q =⇒ R)] (exportaci´on)
2. (P ∧ Q =⇒ R) ⇐⇒ [(P =⇒ R) ∨ (Q =⇒ R)]
3. (P ∨ Q =⇒ R) ⇐⇒ [(P =⇒ R) ∧ (Q =⇒ R)]
4. (P =⇒ Q ∧ R) ⇐⇒ [(P =⇒ Q) ∧ (P =⇒ R)]
5. (P =⇒ Q ∨ R) ⇐⇒ [(P =⇒ Q) ∨ (P =⇒ R)]
([∗] Para una reflexi´on posterior: si bien se piensa, el teorema de arriba expresa las
maneras en que uno tradicionalmente obtinene conclusiones). Si p,q,r son proposiciones,
entonces:
0.5. COMPUERTAS LOGICAS´ 17
1. (p ⇐⇒ q) =⇒ (p ∧ r ⇐⇒ q ∧ r)
2. (p ⇐⇒ q) =⇒ (p ∨ r ⇐⇒ q ∨ r)
1. p Y q ⇐⇒ (p ⇐⇒ q) 2. (p Y
q) ⇐⇒ (p ∨ q) ∧ p ∧ q
3.
4.
5.
6. (p Y q) ⇐⇒ (q Y p) (conmutatividad)
9. (p Y q) =⇒ p ∨ q
La primera afirmaci´on es inmediata segu´n la definici´on de disyunci´on excluyente.
Suponga que ha demostrado la segunda propiedad mediante una tabla. Entonces, para la tercera, se
tiene sucesivamente:
18 ´INDICE GENERAL
Como se ve, este teorema indica las propiedades m´as importantes de la operaci´on “Y”, en particular,
las propiedades 2 y 3 permiten manejarla con mayor facilidad.
En cualquier caso esta operaci´on aparece menos que los otros conectivos en la practica matem´atica
corriente.