Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Eso Que Llamamos Logica
Eso Que Llamamos Logica
Macluskey, 2012
con la colaboracin de Javier J Sedano
Reconocimiento. Debe incluir esta pgina completa en la reproduccin de la obra, sin alteracin alguna.
Alguna de estas condiciones puede no aplicarse si obtiene el permiso del titular de los derechos de autor.
ndice
Prefacio............................................................................ 7
Introduccin ..................................................................... 9
I- El lgebra de Boole .......................................................19
II- La Forma Normal Disyuntiva en el lgebra de Boole .........35
III- lgebra de Circuitos ....................................................47
IV- El lgebra de Conjuntos, revisitada ................................63
V- El Clculo Proposicional .................................................79
VI- La escurridiza Implicacin Lgica ...................................95
VII- El proceso de deduccin lgica ................................... 117
VIII- El clculo de predicados ........................................... 137
IX- La inferencia lgica.................................................... 149
Apndice I: Solucin al Problema del Maquinista. ............... 167
Apndice II: La reduccin de Karnaugh, por J ..................... 173
Apndice III - Lgica digital, por J..................................... 183
Prefacio
En fin: ojal que estas pginas os sean de utilidad y que, leyndolas, aprendis mucho, pero mucho, mucho, sobre Eso que llamamos Lgica.
Macluskey, 2012
Introduccin
Como buen informtico del Neoltico que soy, soy bastante bueno en Lgica. De veras, bastante bueno, y yo nunca miento.
Nunca, jams... Bueno, casi nunca, al menos.
Soy bueno quiz no en la lgica aristotlica, por llamarla de algn modo, pero s, al menos, en la lgica que se debe usar en
los algoritmos informticos de la lgica o lo que sea por la que
se rigen los humanos en sus acciones reconozco que entiendo
ms bien poco. Aunque, para ser precisos, era bueno en lgica:
con el paso de los aos cada vez entiendo menos mi profesin,
mi pueblo, mi pas, mi mundo seguro que soy yo, claro, que
son mis neuronas las que han perdido capacidad con el tiempo y
ya no entienden montones de cosas que antes comprendan
bien. Pero el caso es que en los aos 70 y 80 del siglo pasado
haba que ser bueno en lgica informtica si queras prosperar
en mi profesin. Y yo lo era.
10
11
Volviendo a mi colega, el filsofo de tarda vocacin No recuerdo qu estudios tena antes de decidirse a estudiar Filosofa,
probablemente algunos de la rama de ciencias, pero en cualquier caso seguro que con el tiempo los tena satisfactoriamente
olvidados. Se encontr, obviamente, en un curso donde sus
compaeros eran en su gran mayora adolescentes recin salidos del Bachillerato, que haban cursado por la rama de Letras
y que, por tanto, haca tiempo que no vean en serio nada que
tuviera ver con matemtica de ningn tipo.
Cuando empezaron las clases en la asignatura de Lgica fue el
desparrame. Nadie entenda nada. Lo que all se contaba pareca
chino capuchino para todos, incluido mi colega. No tenan armas
ni bagajes como para entender la asignatura y, desde luego (y
conste que hablo de odas, pero no creo equivocarme), el profesor tampoco ayudaba, con explicaciones seguramente muy filosficas pero muy poco didcticas.
12
Bien, el caso es que tomando un caf con mi colega, y tras comentar debidamente el tiempo y el resultado del partido de turno, le pregunt educadamente por su experiencia universitaria,
y me dice: la Epistemologa, bien; la tica, muy bien; la Historia de la Filosofa, muy de hincar codos y aprendrsela de memoria lo que me va fatal es la Lgica: no entiendo nada! .
Yo me extrao: la Lgica? Pero si es sencillsima! . Y l se
extraa ms: SENCILLSIMA?? Tu caf es alucingeno, o
qu? Pero si no la entendemos ni uno.
13
Aprob. Con notable alto. Parece que los apuntes corrieron como la plvora entre sus colegas estudiantes. Y parece que el
profesor casi se suicida cuando, al final del curso, tuvo que
aprobar a la mayor parte de la clase. Con lo bien que lo llevaba
el buen hombre al acabar el primer trimestre, con prcticamente
todos sus alumnos suspensos!
Posteriormente charlamos, con otro caf en la mano, al que esta
vez invit mi colega (aunque, eso s, estaba igual de malo que
14
El caso es que, conociendo cmo funciona la Universidad espaola, a m no me extraa nada que en la Facultad de Filosofa
siguieran contando la Lgica con silogismos y dems, como en
el Siglo XVII, pero al menos estaba seguro de que en las carreras de ciencias, y particularmente en las de ingeniera de informtica, la enseanza de Lgica formal (cuyo dominio es bsico para poder ser un buen ingeniero informtico, o al menos lo
era), se hara con todos los predicamentos de calidad, al menos
igual de bien como a m me lo contaron cuarenta aos ha.
Ja! Pues va a ser que no.
Mi hija, estudiante de ingeniera informtica, me cont una
ancdota lamentable cuando el profesor (o profesora, no recuerdo) de alguna asignatura sobre Lgica fue incapaz de explicar a la concurrencia por qu la implicacin lgica tiene la frmula que tiene cosa que veremos con detalle dentro de unos
cuantos captulos.
Les vena a decir que esto es as porque es as es como la
suma, por qu dos ms dos son cuatro?, pues porque s, es
as, y punto.
Y punto. S, s, habis ledo bien: Y punto!!!! Toma ya. Nada menos que en tercero o cuarto de Carrera!
En fin.
Es completamente inadmisible que cualquier profesor universitario, y ms en una asignatura que tiene que ver con la matemtica, es ms: con la lgica!, diga que las cosas son as porque
son as! En dos palabras: Impresionante. Espero que Jesuln
de Ubrique no me cobre derechos de autor por usar su mejor
frase As nos va. Naturalmente, me sent con mi hija exactamente cinco minutos, le cont por qu la implicacin lgica es
como es (de veras: es una deduccin completamente lgica), lo
comprendi perfectamente y se indign porque toda una profesora universitaria que, se supone, se gana la vida enseando
15
Y como todas las cosas bien hechas, este libro sobre Eso que
llamamos Lgica empieza, lgicamente, por el principio, por la
base fundamental en que todo lo dems se asienta. El primer
captulo tratar, como no puede ser de otro modo, de lo que pas aquel lejano primer da de clase. Tratar del lgebra de
Boole.
17
18
I- El lgebra de Boole
Tras la breve (bueno, vale, no tan breve) introduccin, hoy empezar a destripar cmo es la Lgica por el principio, siguiendo
los apuntes de la asignatura de Segundo de Carrera que imparti D. Jos Cuena all por 1973 Y empezar, como es lgico,
por sus bases ms fundamentales. Por lo que es imprescindible
conocer para poder seguir el resto de captulos y para poder razonar mnimamente. Por el lgebra de Boole.
Primer da de clase. Octubre de 1973. A la hora en punto aparece el profesor de la asignatura (muy mal sntoma: el primer da
y llegar puntual a la hora dnde se ha visto eso?) y se presenta: Soy Jos Cuena, y aunque el nombre de la asignatura
sea Metodologa, en realidad lo que yo voy a ensearles a Vds.
es Lgica.
Pues vale, ningn problema. Total, slo un par de horas antes
se haba presentado el profesor de otra asignatura de nombre
Informtica Bsica II, y nos dijo algo similar: Como no tengo
ni idea de qu es lo que hay que dar en esta asignatura, yo les
contar de arriba abajo las tripas del ordenador que yo conozco,
que a la sazn es el UNIVAC 1110
Estbamos en 1973, se trataba de una Carrera nueva, los profesores, que tambin eran nuevos, eran todos, sin excepcin, profesionales que trabajaban en las incipientes empresas informticas de la poca (IBM, Bull, NCR, UNIVAC, Iberia, RENFE, etc), y
los temarios de las asignaturas se iban construyendo sobre la
marcha.
Menuda diferencia con lo que pasa ahora, donde prcticamente
ni uno solo de los profesores de las facultades de informtica
espaolas ha trabajado jams en la empresa privada
Y s muy bien que esta frase es injusta para algunos profesores,
desgraciadamente pocos, que son la excepcin que confirma la
regla. Mis disculpas para todos ellos: eso es lo que tiene generalizar, que en ocasiones hace confundir churras con merinas
19
George Boole.
El caso es que D. Jos (en realidad Pepe para todo el mundo),
tras presentarse, comenz inmediatamente a explicar el lgebra de Boole, lo que fue el mal sntoma definitivo: empezar a
explicar la asignatura el primer da? As, por las buenas? Eso
s que no se haba visto nunca hasta entonces. Todos mis profesores de todos los cursos anteriores nos haban instruido acerca
del axioma que reza: La primera clase no se da, y la ltima se
perdona. Pues resulta que no era un axioma, mire usted.
Rpidamente todos sacamos, nuestros cuadernos/folios/papeles
de tomar apuntes muy aplicadamente, y comenzamos a copiar
lo que nos iba explicando. He dicho alguna vez que, en 1973,
no haba ni un solo libro que pudiramos usar para estudiar una
asignatura de informtica? Pues lo digo.
Seguramente s existan libros sobre ciertas disciplinas en ingls! O sea, como si fuese chino o arameo : el idioma moderno que estudi mi generacin en el Colegio o en el Instituto era
franais, bien sr. Y el ingls? Non, non, pas danglais. El poco
ingls que yo saba lo aprend en una Academia privada, en cursos de verano, obligado por mi madre (a quien nunca se lo
agradecer lo suficiente, pues mis preferencias iban ms por
holgazanear, jugar mal- al ftbol e ir a hacer el burro a la piscina). Los dems, ni eso.
Como consecuencia, los apuntes tomados de las explicaciones
de los profesores y sus grficos y frmulas escritos en la pizarra
eran oro molido, casi el nico medio de poder seguir y aprobar
la asignatura.
20
21
El lgebra de Boole
Se trata de un sistema [S,+,] compuesto de un conjunto (S), y
dos operaciones definidas sobre l (+,), en el que se verifican
unas ciertas propiedades. Las operaciones deben ser cerradas,
es decir, aplicadas a dos elementos pertenecientes a S, su resultado es otro elemento perteneciente a S.
Atencin: aunque esto mismo lo repetir varias veces a lo largo del libro, aviso aqu por primera vez que los signos (+,) no
representan la suma o la multiplicacin tal como estamos acostumbrados. Tommosles simplemente como un par de garabatos que representan un par de operaciones que se aplican a los
elementos del conjunto S, y ya veremos cmo se comportan.
Las propiedades del conjunto se definen exclusivamente mediante unos ciertos axiomas de entrada; una vez definidos estos
axiomas, todos los teoremas resultantes sern demostrados a
partir de ellos.
Los axiomas del lgebra de Boole fueron postulados por Edward
Vermyle Huntington en 1904. Como sabris, un axioma es un
postulado indemostrable, que se toma como cierto siempre y en
toda ocasin y que sirve de base para cualquier demostracin
posterior de un determinado teorema. As como los axiomas de
Peano son la base formal de la aritmtica, del mismo modo los
de Huntington son la base del lgebra de Boole.
Y estos axiomas de Huntington son solamente cuatro, aunque,
como son duales, como veremos en un momento, podramos
decir que en realidad son ocho.
Unos aos ms tarde, en 1933, Huntington revis esos axiomas,
simplificndolos, pero Pepe Cuena nos cont los de 1904 y esos
son tambin los que voy a contar yo aqu a continuacin.
22
ab = ba
a1 = 1a = a
a+(bc) = (a+b)(a+c)
(b+c)a = ba+ca
(bc)+a = (b+a)(c+a)
aa = 0
23
Comencemos.
24
Teoremas bsicos
Teorema 1: Idempotencia. a+a = a; aa = a
a+a = a
aa = a
a = a+0 =
A2 Izq.
a = a1 =
A2 Der.
a+(aa) =
A4 Der.
a(a+a) =
A4 Izq.
(a+a)(a+a) =
A3 Der.
(aa)+(aa) =
A3 Izq.
(a+a)1 =
A4 Izq.
(aa)+0 =
A4 Der.
(a+a)
A2 Der.
(aa)
A2 Izq.
Teorema 2: a+1 = 1; a0 = 0
a+1 = 1
a0 = 0
1 = a+a =
A4 Izq.
0 = aa =
A4 Der.
a+(a1) =
A2 Der.
a(a+0) =
A2 Izq.
(a+a)(a+1) =
A3 Der.
(aa)+(a0) =
A3 Izq.
1(a+1) =
A4 Izq.
0+(a0) =
A4 Der.
a+1
A2 Der.
a0
A2 Izq.
25
a+(ab) = a
a(a+b) = a
a+(ab) = (a1)+(ab) =
A2 Der.
a(a+b) = (a+0)(a+b) =
A2 Izq.
a(1+b) =
A3 Izq.
a+(0b) =
A3 Der.
a1 =
T2 Izq.
a+0 =
T2 Der.
A2 Der.
A2 Izq.
a(bc) = (ab)c
Lema 1:
a(a+(b+c)) = a((a+b)+c)
a+(a(bc)) = a+((ab)c)
a(a+(b+c)) = a =
T3 Der.
a+(a(bc)) = a =
T3 Izq.
a+(ac) =
T3 Izq.
a(a+c) =
T3 Der.
(a(a+b))+(ac) =
T3 Der.
(a+ab)(a+c) =
T3 Izq.
a((a+b)+c)
A3 Izq.
a+((ab)c)
A3 Der.
26
Lema 2:
a(a+(b+c)) = a((a+b)+c)
a+(a(bc)) = a+((a.b)c)
a(a+(b+c))=(aa)+(a(b+c)) = A3 Izq.
a+(a(bc))=(a+a)(a+(bc))= A3 Der.
0+(a(b+c)) =
A4 Der.
1(a+(bc)) =
A4 Izq.
a(b+c) =
A2 Izq.
a+(bc) =
A2 Der.
(ab)+(ac) =
A3 Izq.
(a+b)(a+c) =
A3 Der.
(0+(ab))+(ac) =
A2 Izq.
(1(a+b))(a+c) =
A2 Der.
((aa)+(ab))+(ac) =
A4 Der.
((a+a)(a+b))(a+c) =
A4 Izq.
(a(a+b))+(ac) =
A3 Izq.
(a+(ab))(a+c) =
A3 Der.
a((a+b)+c)
A3 Izq.
a+((ab)c)
A3 Der.
27
Lado izquierdo
Lado izquierdo
[a(a+(b+c))]+[a(a+(b+c))] =
[a+(a(bc))][a+(a(bc))] =
(a+a)(a+(b+c)) =
A3 Izq.
(aa)+(a(bc)) =
A3 Der.
1(a+(b+c)) =
A4 Izq.
0+(a(bc)) =
A4 Der.
a+(b+c)
A2 Der.
a(bc)
A2 Izq.
Lado derecho
Lado derecho
[a((a+b)+c)]+[a((a+b)+c)] =
[a+((ab)c)][a+((ab)c)] =
(a+a)((a+b)+c)) =
A3 Izq.
(aa)+((ab)c)) =
A3 Der.
1((a+b)+c) =
A4 Izq.
0+((ab)c) =
A4 Der.
(a+b)+c
A2 Der.
(ab)c
A2 Izq.
a+(b+c) = (a+b)+c
a(bc) = (ab)c
28
Por y complementario de a:
1)
a+x = 1
A4 Izq.
3)
a+y = 1
A4 Izq.
2)
ax = 0
A4 Der.
4)
ay = 0
A4 Der.
x=1x =
A2 Der.
(a+y)x =
(3)
(ax)+(yx) =
A3 Izq.
0+(yx) =
(2)
(ay)+(yx) =
(4)
(ya)+(yx) =
A1 Der.
y(a+x) =
A3 Izq.
y1 =
(1)
A2 Der.
29
He aqu su demostracin:
30
(a+b) = ab
(ab) = a+b
Sea x = (ab) Entonces:
A4 Der.
1) (ab)x=0 y
A4 Der.
2) (a+b)+x=1
A4 Izq.
2) (ab)+x=1
A4 Izq.
(a+b)(ab) =
(ab)(a+b) =
(aab)+(bab) =
A3 Izq.
(aba)+(abb) =
A3 Izq.
(aab)+(bba) =
A1 Der.
(aab)+(bba) =
A1 Der.
(0b)+(0a) =
A4 Der.
(0b)+(0a) =
A4 Der.
0+0 =
T2 Der.
0+0 =
T2 Der.
T1 Izq.
T1 Izq.
(a+b)+(ab) =
(ab)+(a+b) =
a+(b+(ab)) =
T4 Izq.
(a+b)+(ab) =
A1 Izq.
a+(b+a)(b+b) =
A3 Der.
a+(b+(ab)) =
T4 Izq.
a+(b+a)1 =
A4 Izq.
a+(b+a)(b+b) =
A3 Der.
a+b+a =
A2 Der.
a+(b+a)1 =
A4 Izq.
a+a+b =
A1 Izq.
a+b+a =
A2 Der.
1+b =
A4 Izq.
a+a+b =
A1 Izq.
T2 Izq.
1+b =
A4 Izq.
T2 Izq.
T5
Luego x = (a+b) = ab
T5
31
No entendamos casi nada, claro, porque, consecuencia de nos-cuntos aos de estudios reglados de matemticas-comoDios-manda, no podamos evitar ver el signo + como una suma, y el signo como un producto, por mucho que hubiramos sido advertidos y aquel amasijo de frmulas no tena el
menor sentido.
Lo de que a+0=a lo veamos claro y nos pareca muy bien y
muy lgico, y lo de que a1=a, tambin, pero Cmo
que 1+a=1? Qu es eso de que a+a=a? No ser 2a, como
toda la vida? Y, para ms escarnio, cmo es que de pronto
existe la propiedad distributiva de la suma respecto de la multiplicacin? Y como axioma, nada menos!
El caso es que nadie interrumpi a Don Jos ese da. Nos limitamos a tomar apuntes como si nos los hubiera dictado un extraterrestre y a un extraterrestre no se le discute cuando te
cuenta su conocimiento superior, y menos an en la poca de
Franco.
Yo me fui a mi casa. Repas los apuntes. Tres veces (ya digo,
hasta aqu son slo tres pginas escasas). Nada. Al da siguiente, en lugar de ir a la sacrosanta cafetera en los descansos entre clases, nos quedamos unos pocos recalcitrantes para descifrar aquello Y al da siguiente Y de pronto a alguien (creo que
fue a m, que siempre he sido muy listo ejem, pero no estoy
seguro) se le ocurri proponer: Oye, digo yo y si cambiamos
el + por la Unin de Conjuntos y el por la Interseccin? Qu
pasara?
Pues lo que pas es que de pronto, instantneamente, se nos
hizo la luz a todos. Evidentemente, naturalmente, ciertamente
todo tena sentido entonces.
32
33
34
Toda la clase estuvo dedicada a demostrar las diferentes propiedades de tal relacin, en demostrar que es una relacin de
orden, y, dentro de las de orden, de orden parcial, puesto que
la relacin Menor o Igual no abarca a todos los elementos del
conjunto S.
Por muy intimidante que parezca el prrafo anterior, en realidad es una tontera, es muy sencillo de entender: La relacin
en los nmeros naturales o en los reales, por ejemplo, es de orden total: cada uno de todos los nmeros es o menor o mayor
(o igual) que todos los dems, pero tratando, por ejemplo, con
conjuntos no tiene por qu ser as: pueden existir conjuntos que
ni contienen ni son contenidos por otros conjuntos.
El ejemplo ms claro es lo que ocurre entre un conjunto y su
complementario, por ejemplo, los espaoles con los extranjeros (los no espaoles, vaya): ninguno de los dos conjuntos
contiene al otro, es ms, es que en ese caso no comparten ni
uno slo de sus elementos.
36
entonces
entonces
.
.
37
38
Cabe decir aqu que a partir de ahora har lo mismo que Don
Jos hizo hace casi cuarenta aos, simplificando la notacin de
las frmulas de la misma manera que lo hacemos en el lgebra
normal, la numrica: no escribiendo el signo , salvo en los
casos donde su uso sea preciso para hacer ms descriptiva la
frmula.
Es decir, la frmula del ejemplo de arriba (y todas las dems) la
escribir preferentemente a partir de ahora del siguiente modo:
Paso 1: Quitar sistemticamente toda complementacin a frmulas entre parntesis. Para ello usaremos extensivamente las
Leyes de De Morgan. stas fueron demostradas en el Teorema 8
que vimos en el captulo anterior.
39
quedara
40
41
Podramos ahora definir una Forma Normal Disyuntiva Completa, que es, para n variables, la suma de todos los productos
posibles de esas n variables complementadas y sin complementar, que, como es fcil comprobar, son en total : las permutaciones de 2 elementos (los dos estados: complementado-sin
complementar) tomados de n en n.
42
Por otra parte, se demuestra tambin fcilmente que, suponiendo como conjunto de valores posibles slo 0 y 1, y dando a las
variables valores arbitrarios entre estos valores 0 1, en la
Forma Normal Disyuntiva Completa slo habr un nico trmino
que valdr 1 y todos los dems, 0 (y su suma, 1, claro, al sumar
muchos ceros y un nico 1).
Esto es as porque para que un trmino (producto) cualquiera
valga 1 en estas condiciones, todas las variables que lo componen tienen que valer 1, por lo que habr slo una combinacin
plausible: cualquier otra combinacin variar en al menos un
valor de una variable, que ser entonces 0 y anular al trmino
completo, al estar esa variable que es igual a cero multiplicando
al resto.
Y lo mismo ocurre con la Forma Normal Conjuntiva, pero al revs, claro: la Forma Normal Conjuntiva Completa ser siempre
cero, por los mismos argumentos, aunque cambiando el 0 por el
1 y la suma por la multiplicacin, y viceversa. Ah, la dualidad,
siempre la dualidad en el lgebra de Boole.
Vale, todo esto est muy bien, pero Para qu diablos sirve
esta dichosa Forma Normal Disyuntiva?
Pues para saber si dos funciones son en realidad la misma,
puesto que toda funcin que sea igual a otra tendr su
misma Forma Normal Disyuntiva (y tambin su misma Forma Normal Conjuntiva, claro).
44
V: y
V: z
f(x,y,z)
45
46
47
48
xy
x+y
()
Paralelo
(+)
49
Ser acaso este conjunto una hermosa lgebra de Boole? Para que ello fuera cierto debera cumplir los cuatro axiomas
de Huntington que vimos en el primer captulo del libro, pero si
lo fuera entonces no tendramos que calcular nada ms: todos
los axiomas y hallazgos que hicimos para un lgebra de Boole
cualquiera serviran automticamente para el clculo de circuitos Y eso seguramente sera una buena cosa.
Veamos, pues:
50
51
y+z
x(y+z)
xy
xz
xy+xz
52
53
Yz
x+(yz)
x+y
x+z
(x+y)(x+z)
Estupendo. Y entonces?
55
Volviendo a lo nuestro, Don Jos Cuena estuvo varios das dando vueltas a la teora de Circuitos; hablando sobre Diseo de
Circuitos, o viendo, por ejemplo, el mtodo de Karnaugh para
simplificar circuitos. Esto de simplificar circuitos es til cuando
te dan un circuito embarullado, como los de mi casa sin ir ms
lejos, y tienes que buscar un circuito equivalente ms sencillo
que haga lo mismo Ojo, lo mismo, no lo correcto, que eso es
otra cosa.
56
57
58
Hay luz?
59
60
En la imagen no slo est el diagrama del cruzador, sino tambin el diagrama tcnico de un cruzador comercial, para mayor
informacin.
En una de sus posiciones, el conmutador-cruzador permite el
paso directo de corriente, de a a c y de b a d, mientras que en
la otra permite el paso cruzado de la corriente, de a a d, y
de b a c.
Como veis, este conmutador no interrumpe nunca la corriente,
sino que deriva ambas entradas por un camino o por su contrario, dependiendo de su posicin. Ya slo os queda disear el circuito
Pedro, J y Mac, como no tienen otra cosa que hacer, estn jugando a cara o cruz con una moneda cada uno y un dispositivo
elctrico con tres botones, cada uno de ellos asociado a cada
uno de los jugadores, que denominaremos p, j y m.
61
62
63
64
65
66
67
68
69
. Dos: que
70
De la anterior
y
(3), tenemos que
pescan son dueos de s mismos.
: Los que
De la anterior
pescan son felices.
: Los que
71
72
por
Veamos ahora un ejemplo muy caracterstico, en forma de acertijo de tipo de los que podis encontrar en los dominicales, debajo del crucigrama y al lado del Sudoku. Dice as:
Del mtico reino de Thule no se sabe nada ha estado sumido
en la bruma del misterio aos y aos. Y ms aos. Pero cuatro thulianos, de turismo en un barco, naufragan frente a las
costas de Galicia y, antes de perecer ahogados, dan alguna informacin sobre el reino de Thule. Esto es lo que cuentan:
El nufrago nmero 1 dice que En el reino de Thule todo el
mundo que lleva pluma roja, o est casado o tiene perro o ambas cosas, y a continuacin expira, con una expresin beatfica
en su faz.
El nufrago nmero 2 asegura que En el reino de Thule no
hay ningn casado que no lleve pluma roja, a menos que sea
brujo, e inmediatamente fallece plcidamente.
El nufrago nmero 3 afirma que Todos los thulianos propietarios de perro que llevan pluma roja estn casados, y muere
tranquilamente al instante.
74
75
piedad distributiva)
, queda finalmente:
.
Ahora, en base a los trminos de la ecuacin, e igualando a cero
cada uno de ellos (todos ellos son cero; si no, recordad, no podran sumar cero) calculamos las relaciones contenido por ( ).
Recordemos que en lgebra de Boole, para que una suma de
trminos a+b+c d 0 es necesario que cada uno de los sumandos, a, bc, sea 0, es decir, el conjunto vaco si hablamos
de Conjuntos. Obviamente esto no es ni mucho menos cierto
en lgebra numrica, la normal, pero s en la de Boole.
Entonces, como
fin,
, luego
.
, luego
. Y por
De las dos primeras deducimos que C contiene a R, pero tambin que R contiene a C ergo
. As que podemos por fin
informar a nuestros superiores que:
, es decir, traduciendo de nuevo al lenguaje cotidiano, todos los casados de Thule, y slo los casados, llevan
pluma roja, y
, o sea, no hay brujos en Thule.
sta es, en definitiva, la informacin obtenida de los cuatro nufragos.
76
77
78
V- El Clculo Proposicional
Este libro se denomina Eso que llamamos Lgica, creo que
os habris dado cuenta, sobre todo porque lo pone en el encabezamiento. Presuntuoso nombre, seguramente. Sin embargo,
el caso es que hasta ahora poco hemos visto de Lgica-Lgica,
no s si me explico
Sirva en mi descargo que nos hemos estado preparando para
ello, pues hasta ahora hemos visto cmo es el lgebra de Boole con su Forma Normal Disyuntiva, luego entramos en la base
del lgebra de Circuitos, y por fin, en el captulo anterior vimos
el lgebra de Conjuntos desde la ptica del lgebra de Boole
pero ya con una cierta aplicacin a la resolucin de problemas
lgicos, lo que muchos de vosotros llamarais Acertijos, como
el nclito e incombustible Cmo se llama el maquinista?, que
os dej de regalo en el captulo anterior. Espero que su resolucin no os haya destruido muchas neuronas.
79
80
81
Me mojo
Llueve Y
Me mojo
Llueve
Me mojo
Llueve O
Me mojo O
Ambas
82
No llueve
83
NOTA: Podemos obtener con toda sencillez la frmula equivalente en Forma Normal Disyuntiva, creo que se ve claro analizando la tabla de verdad, no es cierto?
85
Y, por tanto, su frmula resultante (en Forma Normal Disyuntiva) ser la siguiente:
.
Bueno, pues ahora slo queda pensar un poco acerca de la naturaleza ntima de las proposiciones y las operaciones que las
afectan. Mmmmm veamos qu es lo que tenemos
Un conjunto de elementos que pueden admitir cada uno slo
dos valores (0, 1), y dos operaciones cerradas que operan sobre
ellos (
) Vaya, esto me suena.
No ser esto, por una casualidad, un lgebra de Boole?
86
87
88
Os dais cuenta ahora de lo importante que resulta conocer el Clculo Proposicional para poder hacer esto correctamente?
La de programas que han fallado miserablemente por no tener
correctamente programado el if correspondiente ste es, con
gran diferencia, el principal motivo de fallo de los programas de
todas partes: un if mal programado.
El verbo ingls IF (IF significa Si, por si alguno no anda
muy versado en la lengua de Shakespeare) es el usado universalmente para designar la instruccin condicional; luego, segn
el lenguaje de programacin usado, se escriben de una forma u
otra tanto las comparaciones que forman las proposiciones individuales, como las uniones entre ellas: Y (que casi siempre se
pone en ingls: AND), O (lo mismo: OR) o NO (NOT).
As, en el ejemplo anterior las condiciones a probar seran:
Cliente Nuevo=SI; Marca de Captacin>7; Saldo>X; Tipo de
Cliente=1; etc, etc, etc.
En Cobol, por ejemplo, se usan en ingls tal cual (AND, OR,
NOT), lo mismo que en otros muchos lenguajes, como en SQL,
pero en C, por ejemplo, igual que en Java o en PHP, se usa &&
para el Y, || para el O y ! para el NOT (que ya son ganas de fastidiar, con lo sencillo que es usar AND, OR y NOT), y en Excel,
versin espaola, se usa O(a,b,), Y(a,b,) y NO(a), y as.
Obviamente, la misma explicacin sirve para las condiciones de
terminacin de los bucles DO-UNTIL o DO-WHILE, as que me
ahorro seguir.
89
90
91
NOTA IMPORTANTE
para poder seguir el resto del libro sin perderse.
Dije al principio del captulo que el mtodo seguido por Jos
Cuena para ensearnos Lgica, dentro de su asignatura de Metodologa, se basaba en introducir poco a poco los conceptos
tericos de lo particular a lo general, de tal modo que cada concepto explicado tuviera siempre otros conceptos en los que
asentarse. En un smil del mundo de la construccin, primero
defina cmo fabricar un ladrillo, luego cmo construir una pared
con esos ladrillos, luego cmo construir una habitacin a base
de paredes, una casa a base de habitaciones, una urbanizacin
a base de casas
Este mtodo se denomina en la jerga informtica bottom-up,
de abajo arriba, de lo particular a lo general, en contraposicin
al mtodo top-down, de arriba abajo, que funciona exactamente al revs: de lo general a lo particular. Ambos mtodos
funcionan, claro, pero bajo mi modestsimo punto de vista, en la
enseanza de cualquier tipo de temario se debe preferir el mtodo bottom-up. Por ejemplo, antes de ensear al nio a leer
palabras completas se le ensea a leer letras individuales, y antes de leer frases, se le ensea a leer palabras. Y antes de ensear a multiplicar, se ensea a sumar
Todo esto puede parecer evidente, obvio, casi de Perogrullo. Pero resulta que, para todo lo que viene a continuacin, para la
exposicin de los intrngulis de la Lgica, este sistema bottomup quiz podra resultar contraproducente, puede dificultar la
comprensin de lo expuesto en cada momento. No es que falte
nada, que no falta, est todo, todo, lo aseguro, pero no s
cmo decirlo, descolocado, desordenado al menos desde cierto
punto de vista.
Me he dado cuenta de ello, poco a poco, en los intensos debates que hemos mantenido Pedro, J y yo durante la revisin de
los artculos de la serie mientras se publicaban en El Cedazo.
Ellos ponan pegas, porque no entendan ni las explicaciones ni
los ejemplos, no porque estuvieran mal, sino porque les faltaban
cosas obvias para ellos que yo (o sea, Pepe Cuena) estaba pasando por alto Luego, al revisar el siguiente captulo, decan:
Ah!, claro, es que lo que yo echaba en falta en el captulo x, lo
explicas luego en el captulo x+1, o en el x+2.
92
Paciencia!
93
94
95
En este punto hay que elegir entre dos aproximaciones didcticas posibles:
96
Bien, el quid del asunto reside no en determinar la certeza o falsedad de las frases individuales que componen la implicacin,
sino en cmo determinar la certeza o falsedad de la propia
implicacin lgica en funcin de los valores de verdad o
falsedad de las dos proposiciones que la forman: el antecedente (p) y el consecuente (q).
Por favor, releed el prrafo anterior volveremos a l una y otra
vez.
Esto quiere decir ni ms ni menos lo siguiente: Si tenamos una
frase compuesta por un conjunto de proposiciones elementales
unidas como sea, con NO, O e Y como nos venga en gana,
y con tantos parntesis como nos venga en gana, podamos fcilmente averiguar si la frase compuesta era verdadera o falsa
en funcin de los valores de verdad o falsedad de las proposiciones elementales.
Pues ahora lo que debemos hacer es determinar el valor de verdad o falsedad de la frase que contiene la implicacin segn
sean verdaderas o falsas p y q, las dos proposiciones implicadas.
97
98
99
100
101
102
103
104
Por tanto podemos definir la frmula matemtica de la implicacin lgica, simplemente creando la Forma Normal Disyuntiva a
partir de su tabla de verdad, es decir:
105
Ergo
proposicional:
Con estos mimbres, es fcil averiguar cmo es la doble implicacin, en la que ocurre simultneamente que
y
, o,
expresado formalmente
. Esto se suele representar como
, as con doble flecha. En trminos matemticos
se dice que algo (p) ocurre si y slo si ocurre esto otro (q). Y
viceversa.
Sabiendo cmo se representa la implicacin
, podemos
fcilmente encontrar la tabla de verdad de la doble implicacin,
escribiendo la tabla de verdad de cada implicacin y la de su
conjuncin ( ):
106
determinar cmo es
es tan sencillo como hacer la reduccin de
(que, por cierto, es el resultado de escribir
la misma tabla en Forma Normal Conjuntiva, en vez de Disyuntiva), y listo.
Hacedlo, si os place, para que comprobis que no me he equivocado. Que espero que no
Ahora que ya sabemos cmo es la tabla de verdad (y la frmula,
claro) de la implicacin lgica, incluso la de la doble implicacin,
nos ser muy sencillo saber cmo discernir si una frase condicional (o sea, una implicacin) es cierta o no. Basta con fijarse
si simultneamente el antecedente p es cierto y el consecuente
q falso. O sea, fijarse en que se cumple
.
Si esto ocurre, hemos encontrado un contraejemplo, y la
implicacin es falsa. Pero si no hemos encontrado un contraejemplo, en todos los otros casos, es cierta. Por raro
que nos suene. Cierta como que el hierro tiene 26 electrones o
que la Tierra gira alrededor del Sol.
Vamos ahora a analizar brevemente algunos ejemplos de frases
que se usan cotidianamente:
107
Otro:
Si eres hombre, eres mortal. Frase paradigmtica de la filosofa clsica. Es cierta o es falsa? Estaremos de acuerdo en que
las pruebas empricas nos indican que debe ser cierta: hasta
ahora no se ha encontrado ningn contraejemplo, no se ha encontrado a ningn hombre inmortal, salvo en novelas de ciencia
ficcin, como en T, el inmortal, de Roger Zelazny, y me han
dicho que los ejemplos literarios no sirven
As que, en ausencia de contraejemplo, la daremos por cierta
siempre y en toda ocasin. Y como se refiere a todos los hombres, sin excepcin, la elevamos a la categora de Ley Universal.
Otro:
Si todo el mundo fuese mo, todo lo dara por yacer con
la Reina de Inglaterra. Frase escrita en el Siglo XIII, extrada
de Carmina Burana, a la que puso msica inmortal Carl Orff,
que con variantes diversas hemos odo o dicho muchas veces a
lo largo de nuestra vida. Tampoco es una frase tan extraa, frases similares son de uso comn en nuestra vida diaria: Si fuera
rico hara esto o lo otro, Si pudiera, ira a tal sitio, Si lo
hubiera sabido, no habra hecho tal cosa, etctera.
108
Y otro ms:
Si soy un hombre, tengo ocho patas. Frase que quiz os
suene rara, pero cosas parecidas decimos tambin en nuestras
doctas conversaciones de cada da: Si mi abuela tuviera ruedas, sera un camin, o Si eso es verdad, yo soy el Papa de
Roma En fin: Verdadera o falsa?
Vaya, sta es realmente fcil: siendo hombres (del gnero
homo, quiero decir, que no se me acuse de machista) como somos, basta con mirarse de cintura para abajo (y saber contar)
para darse cuenta de que al menos hay un humano que no tiene
ocho patas hemos encontrado al menos un contraejemplo: la
frase es falsa, por tanto.
109
Por fin un ltimo ejemplo, que nos servir, adems, de nexo con
el siguiente captulo. Est extrado directamente de los nclitos Les Luthiers, lo que garantiza su plena vigencia e idoneidad
Una madre desesperada le dice a su hijito: Mir nene Si no
toms la sopa, viene el Hombre de la Bolsa.
Una implicacin lgica como una casa de quince pisos, como
podis ver:
.
Por cierto, en Espaa decimos El Hombre del Saco, y este personaje popular est basado en hechos reales: parece que a fines
del Siglo XIX hubo un asesino, un tal Francisco Ortega, El Moruno, que secuestraba a sus vctimas, las meta en un saco de arpillera, las desangraba, descuartizaba y qu s yo qu ms, y
luego echaba los pedazos en otro saco para esconderlos por el
campo La realidad supera a la ficcin.
110
111
,y
O, lo que es lo mismo,
Si comes, crecers:
,y
Si NO comes, NO crecers:
Para que la segunda frase sea cierta (suponiendo cierta la primera) debe tener su misma Forma Normal Disyuntiva, o lo que
es lo mismo, su misma tabla de verdad. De acuerdo en esto?
La FND de la primera frase (es decir, Si comes, crecers, es:
, y
La FND de la segunda frase (o sea, Si NO comes, NO crecers)
es:
.
112
113
114
Aqu acaba este captulo dedicado a la implicacin lgica. Ha sido un captulo bastante intenso, me parece. En realidad, podramos seguir y seguir las discusiones sobre implicaciones lgicas son, adems de interesantsimas, eternas, pero en algn
momento hay que cortar
En el prximo captulo continuar profundizando en el fascinante
clculo proposicional, en concreto sobre el proceso deductivo,
siempre de la mano de Don Jos Cuena, a ver dnde acabamos.
Adems de en el psiquitrico, quiero decir.
115
116
117
118
119
120
En realidad, estamos tan acostumbrados a deducir cosas a partir de otras, a inferir resultados, comportamientos y acciones a
partir de otros, que damos el proceso por sentado. Y no es as.
Bueno, no es que no sea as, entendedme, pero hay que formalizarlo para que podamos decir sin temor a equivocarnos
que cuando deducimos unas cosas a partir de otras lo hacemos
bien, es decir: que podemos fiarnos del resultado de la deduccin, para poder seguir deduciendo otras frases a partir de ah.
Es la base, esto es la base de prcticamente todo en la ciencia
y la matemtica. Si esto no funciona se nos cae todo el edificio
matemtico, as que mejor formalizarlo, y hacerlo bien.
Veamos:
Si tenemos tres premisas A, B y C, y queremos deducir una
conclusin D, debe ocurrir que cuando todas las premisas
son verdad (
), entonces la conclusin (D) debe
ser tambin verdad, es decir, igual a 1, lo que expresado lgicamente requiere de una buena implicacin, que para eso las
conocemos ya y no nos asustan.
121
Luego la
tabla
122
Esto choca con lo que acabo de decir, que para que la deduccin
sea posible es preciso que
, y esto para cualquier valor, luego debe ser obligatoriamente una tautologa O sea, que
hay que quitarse de en medio esa fatdica F y conste que no
vale con plantarle una V a la brava
Cmo resolverlo? No queda ms remedio que obligar a que,
cuando p sea verdad, q sea obligatoriamente verdad. Y hay que
darle una forma formal, valga la redundancia.
Desde hace muchos cientos de aos los filsofos y pensadores
se han ocupado de este problema, que no es ni ms ni menos
que la forma comn de razonar de la gente, pero central a la
matemtica en s. En el lenguaje corriente se ha llegado a una
frmula que representa fielmente esta forma de razonar, de deducir cosas a partir de otras; esta frmula tiene desde tiempos
antiguos un llamativo nombre en latn que a muchos os sonar: modus ponens (o, para los ms precisos, modus ponendo
ponens, toma ya).
El modus ponens se representa de la forma siguiente:
Que las frmulas no nos acobarden: es muy sencillo, en realidad, e intuitivo. Vemoslo con un ejemplo que ya hemos analizado hasta la saciedad en el captulo anterior, con estornudos y
ojos que se cierran:
123
124
Bien. Si escribimos todo esto segn los dictados del clculo proposicional, llegaremos a que
.
Efectivamente, la conjuncin (Y) de las dos premisas implicando
la conclusin es una tautologa. El que una de las dos premisas
sea otra implicacin es, en realidad, irrelevante, pues no deja de
ser una proposicin, ni ms ni menos que una proposicin monda y lironda como otra cualquiera, que puede ser evaluada como cierta o falsa sin dificultad.
Supongo, adems, que os habis dado cuenta de que para obtener un modus ponens con toda la barba, y a la luz del Clculo
Proposicional y su propiedad conmutativa, el orden en que se
presentan las dos premisas es irrelevante.
Es decir, tambin sera un modus ponens vlido si expresamos
las proposiciones de la siguiente forma (imaginad que la rayita
de debajo de la p fuera ms larga no he sabido cmo conseguir alargar la rayita en la frmula: os ruego perdonis mi torpeza con la cosa de la tecnologa moderna):
125
Listo.
S, ya s que en realidad es ms fcil comprobar la tabla de
verdad, pero as veis que el mtodo algebraico tambin funciona
perfectamente.
126
En el primer caso tenemos como Premisas: 1: Si la luz pasa cerca de una masa, se curva; 2: La luz pasa cerca de una masa; y
como Conclusin: La luz se curva. Y en el segundo, las Premisas son: 1: Si voy al cine, como palomitas; 2: Ayer fui al cine; y
la Conclusin: Ayer com palomitas.
En ambos casos el proceso de falsamiento es el mismo: buscar
contraejemplos. Por ejemplo: Cierta luz pasa cerca de una
masa, pero no se curva: La Ley de la Relatividad General es falsa. O bien: Ayer no com palomitas, as que: o no fui al cine, o
no es cierto que si voy al cine como palomitas, o ambas cosas
a la vez, como siempre.
127
El ejemplo es el siguiente:
Entendis algo? No? Vaaaale, pongmosle nombre a las proposiciones, a ver si ayuda:
a: Soy espaol.
b: Tengo bigote.
c: Me gusta el futbol.
d: Me gustan los toros.
Dadas estas frases iniciales, el razonamiento a comprobar es el
siguiente:
Las dos premisas son:
Si soy espaol y tengo bigote, entonces me gustan el ftbol y
los toros.
O no tengo bigote o no me gustan los toros (o ambas cosas,
como siempre).
Y la conclusin sera: O no soy espaol o no tengo bigote.
128
, por un lado, y
Reordenando:
Aplicando la distributiva del + sobre el
(sa que tan rara se nos hace):
tributiva del + sobre el
Reordenando de nuevo:
Y otra vez la distributiva del + sobre el
129
A continuacin dejo una serie de razonamientos correctos. Muchos de ellos completamente obvios, adems. Dejo al lector la
tarea de demostrarlo (advierto: son muchsimo ms sencillos
que el ejemplo anterior, y todos ellos muy interesantes). Para
hacerlo, recordad, bastar demostrar si la conjuncin de las
premisas (o la nica premisa, si es que slo hay una) implicando
la conclusin es o no una tautologa:
131
Volviendo a lo que nos ocupa, es sencillo ver que si el razonamiento es cierto para dos premisas y una conclusin ser tambin vlido para tres premisas (pues basta con considerar que
una de las premisas es la conjuncin de las otras dos).
No hay que ser muy listo, entonces, para darse cuenta de que
sirve igual para un nmero cualquiera de premisas
. En
este caso, podemos tranquilamente decir que
No me voy a detener en la demostracin, porque es muy sencilla e intuitiva y, queridos lectores, tenis herramientas ms que
suficientes para poder demostrarlo fcilmente. Y pasar un buen
rato. Supongo.
132
133
135
Basta por ahora, deduzco que ya ha habido bastantes deducciones por esta vez El prximo captulo, ms pldoras lgicas de
la mano de Don Jos Cuena, hablndonos, va el Tnel del
Tiempo, desde mis apolillados apuntes del curso 1973-74.
136
Adems, el mtodo de
ya dije hace un par de
neral, definiendo bien
ellos cada vez edificios
137
138
139
, es decir, todos
que forman el conjunto universal
140
Por cierto, no tendr que repetir aqu que se trata de una suma
lgica, booleana, y no aritmtica verdad?
Por otra parte, qu pasara si nuestro predicado no fuera mondico, sino que se refiriera a dos trminos a los que pone en
relacin?
Pues bien, si tenemos la expresin
con ella de la siguiente manera:
, podemos operar
.
Este tocho de frmulas es intimidante, de acuerdo, pero en lenguaje cotidiano es, nuevamente, una obviedad. En realidad no
142
143
Es decir:
, lo que quiere decir en nuestro
ejemplo que Para todo x perteneciente al conjunto de las vacas, hace fro y x tiene cuernos. Como veris es incluso realmente difcil expresar esta sutil distincin en espaol.
Aplicando la distributiva:
...
y sacando factor comn:
144
Se define entonces la Forma Normal PRENEX para representar frmulas en Clculo de Predicados, donde las funciones
adoptan la forma siguiente:
Primero, todos los cuantificadores, en cabeza de la frmula,
aprovechando que pueden saltar a travs de ellas.
Despus, todas las expresiones, ligadas exclusivamente por
conjunciones, , o disyunciones, , y donde la negacin, las que
haya, estn aplicadas exclusivamente a las proposiciones simples, no a expresiones.
Esta ltima parte es sencilla de ver, pues ya vimos cmo se poda convertir cualquier expresin booleana a una suma de productos, para llegar a expresar toda funcin booleana en su Forma Normal Disyuntiva (o Conjuntiva, tanto da) y dado que los
cuantificadores pueden saltar a travs de la expresin (siempre que se refieran a las propias variables sobre las que saltan,
o bien sean independientes de ellas), no es muy difcil llegar a
escribir cualquier predicado, por compleja que sea su expresin,
en Forma Norma PRENEX.
145
Veamos
en primer lugar, una simplificacin de la
implicacin
ahora un cambio del cuantificador negado: No existe ningn x tal que R(x) es lo mismo que Para Todo
x se cumple que No R(x). R(x) aqu hace referencia a la expresin compleja que hay dentro del parntesis
la negacin entra dentro del parntesis, y en
el camino cambia el por el , segn la Ley de De Morgan
otro nuevo cambio de cuantificador negado: No todo y cumple Q(y) es lo mismo que Existe un y tal que
No se cumple Q(y)
ahora el cuantificador existencial salta, a modo de saltimbanqui, a travs del parntesis
, et voil!, la expresin resultante ya est escrita
en Forma Normal PRENEX.
146
147
148
Especificacin Universal
Esto quiere decir que si para todo x se cumple A(x), evidentemente el predicado A se cumplir tambin para todos los elementos y.
As, si tenemos la asercin siguiente: a todo espaol le gustan los toros (es decir, para todo hombre perteneciente al conjunto de los espaoles, le gustan los toros es cierto), podemos
convertirla simplemente en a los espaoles les gustan los
toros. En lenguaje corriente tendramos dificultades en distinguir una forma de decir las cosas de la otra porque son equivalentes, eso es.
Y, evidentemente, la frase es un ejemplo. Porque, en realidad,
no a todos los espaoles les gustan los toros, yo mismo entre
ellos: la premisa inicial es falsa, as que, por muy bien hecho
150
Si siempre se cumple A(x), entonces tambin se cumple que para todo y se cumple A(y). Si el predicado A es Los turcos tienen bigote, es bastante sencillo ver que para todo x perteneciente a los hombres turcos, x tiene bigote. Incluso,
nuevamente, en el lenguaje corriente ambas formas de hablar
(los (hombres) turcos tienen bigote y todo (hombre) turco
tiene bigote) son equivalentes, por no decir indistinguibles. En
Lgica formal, lo son tambin, puesto que se infieren una de la
otra, y viceversa: si no fuera as, ya me contaris para qu servira la Lgica
En el ejemplo paradigmtico de la filosofa clsica, de los hombres son mortales, proposicin normalmente dada por verdadera, puesto que no se ha observado ningn contraejemplo hasta
el momento, segn esta generalizacin universal se convertira
en Todo hombre es mortal (para todo x perteneciente a Los
Hombres, x es mortal), llegando as a convertirse en Ley Universal.
Sigamos.
Especificacin Existencial
151
Nuevamente, su contraria:
Generalizacin Existencial
No creo que haya que explicar ms estas formulitas: son bastante evidentes, casi infantiles, perogrullescas y potentes!
Armados con ellas y con lo que ya sabemos de clculo de predicados y proposicional, somos capaces de resolver inferencias
lgicas como el que lava en la Edad Media nos hubiramos podido ganar bien la vida como resolvedores (o inventores!) de
silogismos eso si antes no nos haban quemado en la hoguera,
por brujos.
152
153
Bien, ya sabemos, pues, que los humanos no son cuadrpedos, y que los pigmeos son humanos. Con este par de especificaciones nos hemos librado (de momento) de los cuantificadores, con lo que nos han quedado dos proposiciones de lo ms
normalitas. Por lo tanto, podemos aplicar sin ms las reglas del
clculo proposicional que conocemos.
Tomamos ahora ambas conclusiones y:
154
155
Al ser ste ltimo un predicado conjugado, o sea, los dos predicados estn unidos con Y, para ser cierto deben ser ciertos a
la vez
y
; podemos, pues, tomarlos independientemente, y eso es justo lo que vamos a hacer, unindolos por partes
con el otro enunciado.
156
157
158
LOS SILOGISMOS
O cmo se razonaba en la Edad Media
Fue Aristteles, nada menos, quien defini por primera vez el
trmino silogismo (que en griego clsico quiere decir razonamiento), aunque luego fueron los escolsticos los que afinaron
su definicin, los estudiaron a conciencia y explicaron cmo
usarlos.
160
161
Y, como deca Forrest Gump, Esto es todo lo que tengo que decir sobre esto. Nada ms s de silogismos, as que nada ms
puedo contar.
163
164
165
166
Su enunciado es el siguiente:
167
168
Ya tenemos los conjuntos bsicos definidos y sus relaciones intrnsecas... ahora hay que averiguar quin es quin, que es lo
divertido.
Una buena opcin es escribir la Forma Normal Disyuntiva
Completa del problema, es decir, cul sera la tabla de posibles
situaciones correspondiente a la funcin buscada, sabiendo que
de todos sus trminos slo uno ser 1 y el resto, 0.
Y para escribir la FNDC correctamente, lo primero que hay que
tener en cuenta es qu combinaciones de nombres con cada uno
de los ferroviarios son posibles. Tenemos tres nombres a asignar a tres personas, lo que implica unas buenas permutaciones de 3 elementos, o sea, factorial de 3, es decir, 3!, o sea,
321, en definitiva 6 combinaciones posibles.
Son las siguientes:
169
170
171
172
173
Pues eso es lo que intenta solucionar el mtodo de Karnaugh: encontrar una forma simplificada de una funcin
dada.
Para ello, nos aprovecharemos de que el cerebro humano es
muy bueno reconociendo patrones visuales. No tengo nada claro
que pueda contar el procedimiento de manera muy formal, porque adems estoy hablando sobre todo de memoria (tir todos
mis apuntes en los que aprend esto) pero vaya, es como me
lo contaron a m. Y adems he mirado un poco en la Wikipedia,
lo confieso.
El problema es que para reconocer esos patrones visuales, tenemos que dibujar, y a da de hoy slo somos capaces de dibujar en 2D en un papel. Eso limita mucho la cantidad de variables
que podemos manejar. A m me resulta difcil hacer mapas de
Karnaugh que tengan ms de 4 variables, y cuando intento
hacerlos de 5 ms variables, ya empiezo a pensar en cmo
sera el programa que podra hacerlo. As que voy a contaros el
ejemplo de 4 variables, que es el ms complejo que podemos
pintar con facilidad.
Vamos a suponer una funcin de 4 variables, que hemos representado segn una tabla. Las columnas A, B, C y D son,
obviamente, las 4 variables, y F es el resultado de la funcin.
174
es
conocer
el
concepto
175
176
177
Existe otro ms, que se solapa parcialmente con el grupo anterior. No hay ningn problema en que solapen, as que lo marcamos tambin.
178
Seguro?
179
181
182
A lo largo del libro hemos visto lo importante que era la asignatura en que dicho libro se basa (Metodologa, de Segundo de Informtica, all por 1973) para los informticos en ciernes, y
hemos visto algunos ejemplos por el camino, como su aplicacin
a la redaccin de los if de los lenguajes de programacin.
Una de dichas aplicaciones, quiz una de las ms importantes,
es el diseo y fabricacin de los circuitos digitales, que
permiten tomar un conjunto de entradas digitales binarias y obtener un resultado 1 0. Pero, claro, como estamos siguiendo
los apuntes de hace un porrn de aos, en aquel momento no
se contaba nada de eso en la Escuela de Informtica. Por entonces las grandes empresas tenan uno o dos ordenadores enormes (de tamao), la memoria de esos ordenadores era de ferritas, y si tenas 64 Kb ya eras un afortunado, as que no se contaba nada de esto, salvo algn profesor avanzado que avanzaba
que haba una cosa nueva, de nombre flip-flop, que revolucionara la informtica del futuro. Qu tiempos!
As que nuestro querido J acudi a ponernos al da acerca de
cmo se disean puertas lgicas en base a la tecnologa actual
y al impasible lgebra de Boole, que todo lo gobierna. Cedamos
nuevamente la palabra a J:
183
184
185
AND
OR
NOT
186
187
188
XOR
NOR
189
XNOR
NAND
Bueno, y todo esto qu tiene que ver con el lgebra de circuitos? Porque mucho decir que es continuacin del lgebra de circuitos, pero hasta ahora slo lo hemos tratado como una cosa
independiente.
Pues s tiene que ver, porque hasta ahora estas puertas lgicas
que hemos visto son solamente un concepto abstracto, que vive
en el mundo de las ideas de Platn.
190
191
192
193
194
195
Si la tensin entre Base y Emisor es muy pequea, no circula corriente entre Colector y Emisor (es decir, son un interruptor abierto). A esto se le llama zona de corte.
196
Lo que hemos descrito es un transistor bipolar NPN. El PNP funciona igual, pero cambiando los signos de las tensiones y de las
corrientes la flecha da una pista de cmo circula la corriente.
Los transistores JFET y MOSFET, aunque siguen ecuaciones distintas y tienen nombres distintos, son cualitativamente parecidos.
Cuando estamos usando un transistor para hacer un amplificador se utiliza la zona lineal, mientras que si lo que estamos
haciendo es un interruptor controlable, se usan las zonas de saturacin y corte pues bien, podemos aprovechar eso para fabricar nuestros circuitos digitales.
Las ventajas de los transistores son muchas: pequeo tamao
(estamos hablando de nanmetros), pequeo consumo, muy
baratos (aunque el proceso de fabricacin es complicado, mucho
ms que el de un rel, est muy trillado ya en la industria), velocidades de conmutacin asombrosamente altas (en electrnica
de consumo estamos acostumbrados, por ejemplo, a microprocesadores que van a varios GHz y eso es slo la electrnica de
consumo).
La nica desventaja que se me ocurre de los transistores frente
a los rels es que en general estos soportan ms corriente y
ms voltaje. Adems parece que empezamos a encontrar el
lmite. Parece que estamos haciendo ya transistores muy pequeos, en los que los microcomponentes (el tamao de las
puertas) de los transistores se mide en unos pocos tomos, y
en esas situaciones empezamos a encontrar efectos cunticos,
el efecto tnel deja de ser despreciable y ya no est tan claro
que podamos hablar de circuitos abiertos o circuitos cerrados y toda esa terminologa electrnica. No s yo cmo se podran usar componentes que pueden estar cerrados al 95% o
abiertos al 80% para representar seales digitales (0s y 1s,
vaya).
197
Fue un placer.
198
199
200