Académique Documents
Professionnel Documents
Culture Documents
Lgica
general
Ediciones del
Vicerrectorado Acadmico
UNMSM
ISBN: 9972-46-374-7
Hecho el Depsito Legal en la
Biblioteca Nacional del Per N.: 2007-13522
C e n tr o de P r o d u c c i n F o n d o E d it o r ia l
U n iv e r s id a d N a c i o n a l M a y o r d e S a n M a r c o s
P r o d u c c i n
V e n t a s y D is t r ib u c i n
Adolfo Franklin Winkelried Salazar
619-7000 (anexo 7530)
A d m in is t r a c i n
D if u s i n
Impreso en Lima-Per
Queda prohibida la reproduccin total o pardal sin
permiso escrito de la casa editora.
Contenido
Reconocimientos 15
Introduccin 17
Metodologa 23
I
PROPOSICIONES
CUESTIONARIO 1: Proposiciones 29
LECCIN 1. Proposiciones 31
1.1. Definicin 31
1.2. No son proposiciones 33
1.3. Proposiciones elpticas y descripciones definidas 34
1.4. Metalenguaje y lenguaje objeto 34
II
EL LENGUAJE DE LA LGICA PROPOSICIONAL
7
III
D IS Y U N C I N Y N E G A C I N
IV
EL CONDICIONAL Y LA IMPLICACIN
V
BICONDICIONAL, FUNCIONES DE VERDAD
Y EQUIVALENCIA
8
5.5. Proposiciones lgicamente equivalentes 84
5.6. Traduccin de la proposicin bicondicional a una
conjuncin de dos condicionales. 85
5.7. Bicondicional y definicin 86
VI
JERARQUA DE LAS FRMULAS DEL LENGUAJE
DE LA LGICA PROPOSICIONAL
VII
TAUTOLOGA, PRINCIPIOS LGICOS Y VALIDEZ
9
VIII
F O R M A L IZ A C I N
IX
DEDUCCIN NATURAL
X
SIMPLIFICACIN DEL LENGUAJE PROPOSICIONAL PM
10
LECCIN 10. Simplificacin del lenguaje proposicional PM 169
10.1. Las 16 funciones de verdad posibles 169
10.2. Lenguaje de Nicod 170
10.3. Algoritmo de Traduccin de Post 171
10.4. Traduccin algortmica al lenguaje de Nicod 173
10.5. El Ideal de Simplicidad 177
10.6. La Navaja de Occam 178
10.7. Traduccin del sistema Hilbert-Ackerman 180
10.8. Lenguaje de Nicod y Tecnologa 181
XI
BASES LGICAS DE LA INTELIGENCIA ARTIFICIAL
XII
LGICA CLSICA
11
xm
DIAGRAMAS DE VENN
XIV
EL LENGUAJE PREDICATIVO
12
XV
L A IN D U C C I N C L S IC A
XVI
RESEA HISTRICA DE LA LGICA
Glosario 317
SOLUCIONARIO 329
13
Reconocimientos
[15]
Introduccin
[17]
diana. Por ejemplo, uno es el lenguaje lgico creado por Aristteles,
y otros notablemente distintos entre s los creados por Russell y
Whitehead, por Brouwer y Heyting, y por Vasiliev entre otros.
De lo anterior se deduce que lo que se ensea propiamente en las
universidades y en otros centros educativos no es propiamente la
Lgica sino un determinado lenguaje lgico, presuntamente el ms
difundido o ms usual dentro de nuestros medios acadmicos.
La lgica permite establecer verdades fundamentales
Con frecuencia se acude a la Lgica cuando se quiere probar
que ciertos puntos de partida o afirmaciones bsicas son clara
mente verdaderos a la luz de los hechos o de nuestra experiencia.
Este afn es infructuoso porque los lenguajes lgicos vale de
cir, la lgica no estn diseados para probar la verdad de una
afirmacin bsica que constituye el punto de partida de una
argumentacin cientfica, filosfica o cotidiana. La lgica est
diseada estrictamente para transferir o transmitir la verdad de
unas afirmaciones a otras una vez que sta ya ha sido estableci
da, por medios no lgicos. Haciendo una analoga con el compu
tador, que hoy es parte de la vida diaria, podemos afirmar que la
lgica debe ser entendida como un conjunto de comandos para
transferir la verdad pero no para producirla.
La lgica es difcil a causa de los signos que utiliza
En la medida que los cursos de lgica introducen al estudiante
en el manejo de lo que se denomina un lenguaje formalizado, cu
yos componentes se han tomado bsicamente del lenguaje mate
mtico, se cree usualmente que en el carcter poco natural o
artificial de estos signos radica la dificultad en el aprendizaje
de la lgica. Ello se debera a que se trata de un sistema de signos
muy alejado de la claridad y naturalidad que se experimenta cuan
do se usa el lenguaje cotidiano.
Empero, en lo fundamental el aprendizaje de la lgica con
siste, como siempre que se aprende una ciencia, en el aprendiza
je de un sistema de conceptos y los signos especiales slo cons
tituyen un medio para expresar con precisin tales conceptos.
Por tanto, la dificultad se produce cuando se olvida los conceptos
y se produce una enseanza mecanicista que convierte la clase de
18
lgica en un ejercicio que consiste en transformar unas manchas
de tinta en otras manchas de tinta sin que se comprenda el senti
do del simbolismo y el tipo de problemas que soluciona. Como se
deduce, el mismo riesgo corre la enseanza de la matemtica.
De afirmaciones falsas se deduce lgicamente slo falsedades
Es comn encontrar que personas, incluyendo muchas de las
que han aprobado un curso de lgica, crean que sta garantiza
que si partimos de afirmaciones falsas llegaremos a conclusiones
igualmente falsas. Se puede dar muchos ejemplos para probar lo
contrario, como lo haremos en la seccin correspondiente, pero el
argumento principal para poner en evidencia este error consiste
en precisar que los lenguajes lgicos son diseados estrictamen
te slo para transmitir la verdad y, por tanto, no brindan ningu
na garanta cuando las afirmaciones de partida son falsas. Por
tanto, hacer deducciones desde premisas falsas constituye un
mal uso de un sistema lgico y posibilita obtener cualquier con
clusin, inclusive una verdadera. Lo anterior hace comprensible
que los cientficos slo acudan al uso de un sistema lgico cuando
consideran que cuentan con al menos un punto de partida que
sus investigaciones prueban que es verdadero.
"Conclusiones verdaderas presuponen premisas verdaderas"
Esta es la creencia errnea complementaria o recproca res
pecto de la anterior. Parece tener analoga con la expresin que
sugiere que si los frutos son buenos la planta tambin debe ser
buena. Sin embargo, es importante sealar que la lgica no esta
blece relaciones de causa a efecto o de efecto a causa sino rela
ciones de deduccin, implicacin o de consecuencia que son de
otra naturaleza, pues no est prohibido por las reglas de los sis
temas lgicos en uso que la conclusin sea verdadera y las
premisas, sin embargo, falsas. En breve, la verdad de la conclu
sin no asegura la verdad de las premisas o puntos de partida.
Lo que s es correcto afirmar es que si la conclusin es falsa, en
tonces al menos una de las premisas es falsa. Por ello se ha dicho
que la lgica es la ciencia que transmite la verdad y retrotransmite
la falsedad.
19
"La lgica formal es un saber abstracto e intil"
Existe entre los planificadores y diseadores de los currculos
de los distintos niveles de nuestro sistema educativo, con alguna
frecuencia, la creencia de que la lgica formal es una disciplina
que consiste en la capacidad para manejar frmulas, parecidas a
las de la matemtica, pero que carecen de aplicaciones importan
tes y que no ayudan a mejorar sensiblemente ni el razonamiento
cotidiano ni el razonamiento cientfico. Por el contrario, se cree
que existen recursos retricos que no requieren del usuario el
manejo de frmulas pero que son muy tiles para construir argu
mentos que convencen o persuaden con eficiencia al interlocutor.
Segn los cultores de esta creencia, lo que debera incluirse en los
currculos para mejorar la capacidad argumentativa de los alum
nos es elementos de retrica o alguna forma de lgica intuitiva
que no exija el manejo de frmulas.
Respecto del prejuicio antes descrito podemos afirmar, sin
riesgo de inexactitud, que dentro de la comunidad acadmica in
ternacional todos los sistemas lgicos cientficamente reconoci
dos son estructuras simblicas que estn constituidas por conjun
tos de frmulas sometidas a reglas precisas de transformacin y
deduccin. En breve, dentro del mbito de la ciencia y de la tec
nologa lo nico que existe, desde hace algo ms de un siglo, para
decidir la validez de los argumentos y de las pruebas son los sis
temas de lgica matemtica denominados genricamente lgica
formal.
Asimismo, dichos sistemas, creados inicialmente por George
Boole y desarrollados posteriormente con diversidad, profundi
dad y complejidad crecientes, se han convertido en el sector del
conocimiento terico que ha dado lugar a las ms impresionantes
y eficientes aplicaciones tecnolgicas durante los ltimos sesenta
aos. A ello debe aadirse sus aplicaciones en la matemtica, en
el anlisis, construccin y reconstruccin de teoras cientficas, en
el diseo experimental de simuladores de las funciones del cere
bro y de la mente y en el conocimiento metodolgico, por men
cionar slo algunos ejemplos.
Refirindonos a las aplicaciones tecnolgicas, es suficiente1
destacar que tanto la arquitectura del computador electrnico
20
como los lenguajes de autmata son subproductos de las investi
gaciones en lgica-matemtica realizadas alrededor de 1935 por
A. Church, S. Kleene, A. Turing y C. Shannon, entre otros. Asi
mismo, los circuitos de todo computador electrnico, hasta la fe
cha, estn gobernados por las ecuaciones del lgebra de Boole
que es anterior a 1850. Es innecesario abundar aqu en datos para
mostrar cmo la tecnologa digital, la robtica y la informtica
han transformado, entre otros campos, las comunicaciones, la pro
duccin industrial y la medicina. En relacin con las aplicaciones
al desarrollo mismo de la ciencia, es relevante para los educado
res reparar en el hecho, por citar slo un ejemplo, de que las in
vestigaciones psicolgicas de Piaget en el campo del desarrollo
conceptual humano son prcticamente ininteligibles para un lec
tor que carece de conocimientos de lgica proposicional y de la
estructura algebraica de grupo.
Finalmente, pretender que la lgica puede ser sustituida por
la retrica o por la teora de la argumentacin equivale a perder
de vista el sentido de la filosofa y de la ciencia en su conjunto. El
conocimiento cientfico y filosfico que utiliza la lgica como ins
trumento de anlisis y de prueba no se propone la persuasin o el
convencimiento de un auditorio sino el establecimiento de un sa
ber verdadero. Histricamente, el convencimiento o persuasin
de un auditorio, con mucha frecuencia, no ha requerido de argu
mentos lgicos estrictos sino de imgenes o figuras que interesen
o agraden al interlocutor. Ello permite entender por qu durante
casi quince siglos de nuestra era las mayoras representadas por
los intelectuales oficiales pensaban y sostenan que la tierra era
plana y que no se mova. De esta manera hemos aportado argu
mentos suficientes para permitirnos advertir que lo que se pre
tende como sustituto til de la lgica ha sido histricamente un
obstculo para el desarrollo de la ciencia y para la bsqueda de la
verdad.
21
Metodologa
[23]
correctamente. En breve, consideramos que el orden ms
adecuado es el inverso al usado tradicionalmente en los
manuales que proporcionan primero informacin y luego
ejercicios. Tericamente, si un alumno estuviera en condi
ciones de resolver los problemas propuestos sin leer el tex
to, entonces debera ser exonerado del curso y tomar uno
ms avanzado.
3. Las consideraciones anteriores explican por qu en este tex
to comenzamos las lecciones con un cuestionario de pro
blemas o interrogantes y, luego, proporcionamos la infor
macin necesaria para su solucin. Pretendemos as que
el mtodo de enseanza reproduzca, en lo que es posible,
las inquietudes propias del mtodo de investigacin cien
tfica, cuya dinmica depende de la profundidad e intensi
dad con que el investigador percibe los problemas. *
4. Las fronteras entre lgica y matemtica son tan difusas
como discutibles. Hay especialistas que consideran a la l
gica como parte de la matemtica y otros que sostienen la
tesis inversa. Sin tomar partido en esta discusin, en este
manual no se abordar elementos de teora de las clases o
de los conjuntos porque actualmente ya se cuenta con tex
tos especializados en lengua castellana. Asimismo, la
formalizacin axiomtica de la teora de los conjuntos ex
cede el nivel elemental de este libro.
5. El sentido de este curso de lgica es formativo e instrumen
tal. Desde el punto de vista formativo, se pretende ejerci
tar funciones mentales como el conceptualizar, deducir, ar
gumentar y contraargumentar. Desde el punto de vista ins
trumental, se propone entrenar en el manejo de una frac
cin de un lenguaje standard de primer orden que puede
ser usada como herramienta, principalmente, en el mbito
del anlisis de la ciencia y de su metodologa de investiga- 1
cin. Por ello, concedemos un lugar importante al manejo
de variables predicativas y cuantificadores, que posibilitan
el anlisis de relaciones que usualmente escapan al alcan
ce de la mayor parte de los manuales en uso, an de los
buenos.
24
6. Existe la creencia infundada pero difundida de que las co
nocidas como falacias retricas son parte de la lgica. Des
de el punto de vista de los sistemas lgicos en uso, disea
dos principalmente para el anlisis de argumentos cient
ficos, estas falacias carecen de relevancia porque es claro
que su objetivo es la persuasin apelando a los sentimien
tos y no la prueba de la verdad de una afirmacin. Sin em
bargo, como el uso de tales falacias es frecuente, particu
larmente en el discurso poltico que no raras veces, preten
de hacerse pasar por riguroso, hemos considerado alguna
de ellas en vista de que los estudiantes tendrn poca opor
tunidad de abordar este tema en otro curso. Asimismo,
como ciertamente existen falacias propiamente lgicas, he
mos incluido una seccin especial (13.5) para abordar el
asunto de manera elemental.
7. Consideramos fundamental, desde el punto de vista forma-
tivo, que el estudiante logre una comprensin bsica de la
evolucin histrica de los conceptos cientficos. Ello permite
apreciar la medida en que el pasado condiciona el presen
te y el futuro. Empero, cmo podra comprenderse ade
cuadamente la evolucin de conceptos que, presumi
blemente, se ignora casi totalmente? La respuesta la hemos
dado situando la parte histrica al final de nuestro texto,
esto es, en la fase en la que el estudiante ha tenido ya con
tacto con los conceptos cuya evolucin nuestra breve re
sea histrica pretende hacer inteligible.
8. P a ra a p ro b a r el cu rso d el P ro g ra m a L E M M n o es in
d is p e n s a b le q u e e l a lu m n o c o n o z c a la s le c c io n e s 9 , 1 0 ,
1 4 y 1 5 . E lla s e s t n re s e r v a d a s p a ra q u ie n e s d e s e e n u n a
a lta c a lific a c i n . E n e s te c a s o , lo s in te r e s a d o s s o lic ita
r n a lo s tu to re s d e l P ro g ra m a , la e v a lu a c i n a d ic io n a l
c o rre s p o n d ie n te .
25
I
PROPOSICIONES
Objetivos:
Instrucciones.-
4 1 . P erro es un mamfero
[29]
LECCIN 1
Proposiciones
1.1. Definicin
a . El lapicero es rojo.
b. El protn tiene carga positiva
c . El teorema de Tales est demostrado en los Eletnentos
d. Todo nmero entero positivo elevado a la potencia cero es igual a uno.
e. 2 + 5 = 5 + 2
f. El sol es una estrella fija.
g . La tierra no se mueve.
h. Existe al menos un crculo con rea equivalente a tin cuadrado.
[31]
ciones anteriores estn expresadas o formuladas en un lenguaje,
todas estn constituidas por un conjunto de signos escritos que
respetan ciertas reglas. Por ejemplo, la que dice que el verbo
copulativo 'ser7 o 'estar' debe estar entre el sujeto y el predicado.
Hablando en trminos que describen mejor lo que observamos,
cada una de las afirmaciones est expresada por una sucesin o
secuencia finita de signos, cada uno de los cuales es una letra de
nuestro alfabeto.
De otra parte, sabemos que algunos de nuestros ejemplos son
afirmaciones verdaderas (los cinco primeros) y que otros estn
constituidos por afirmaciones falsas (los tres ltimos). Esto signi
fica que hay secuencias finitas de signos que con sentido pueden
ser calificadas de verdaderas y que hay secuencias finitas de sig
nos que pueden ser calificadas de falsas. Las secuencias finitas de
signos de esta clase nos interesan particularmente en un curso de
lgica y se denominan proposiciones. En armona con esto, pro
porcionaremos la siguiente definicin.
32
los mismos, que pueden ser muy breves para ganar simplicidad.
De este modo, podemos convenir que en nuestro listado inicial
cada una de las letras es el nombre de la proposicin a la cual
antecede. La primera proposicin tiene como nombre a, la segun
da tiene como nombre b, y as, sucesivamente, hasta llegar a la
octava cuyo nombre es h. En adelante, para abreviar, llamaremos
a tales proposiciones por su nombre.
Hay proposiciones que son oraciones gramaticales como es
el caso de todas las de nuestro listado excepto e. Estas oraciones
estn formuladas en un lenguaje que en nuestra situacin concre
ta es el espaol, pero bien podra serlo el ingls, el francs, el ale
mn o cualquier otra lengua que se use en la vida diaria o cotidia
na. A tales lenguas se les denomina lenguajes naturales o
vernculos, y a las proposiciones que son oraciones dadas en es
tos lenguajes se les llama proposiciones en lenguaje natural. En
cambio, la proposicin e est formulada usando signos especiales
que no son los que usamos en la comunicacin familiar o social
sino cuando trabajamos en Matemtica. Esta proposicin est dada
en un lenguaje especializado, el matemtico. Y a los anlogos a
ste les llamaremos lenguajes formalizados, los mismos que no
son usados en la comunicacin cotidiana sino principalmente en
la actividad cientfica.
33
Sin embargo, no podemos sostener que toda proposicin es
una oracin aseverativa, pues la proposicin e, que est escrita en
lenguaje formalizado, no es exactamente una oracin aseverativa
sino es ms propiamente un tipo de frmula matemtica.
34
significa que e no es nombre de lo que se llama un objeto mate
rial, por ejemplo, una mesa, sino el nombre de una proposicin
que es una secuencia de signos que denominamos objeto lings
tico. Por esta razn e es un nombre metalingstico y forma par
te de un metalenguaje que se define como un lenguaje que se
usa para describir otro lenguaje llamado lenguaje objeto. Esta
distincin se refiere a dos funciones distintas y no a dos idiomas
distintos. As las afirmaciones que hacemos en este texto sobre las
propiedades de las proposiciones son metalingsticas y las pro
posiciones mismas que usamos como ejemplos son parte del len
guaje objeto. Una manera sencilla de construir el nombre de una
proposicin, que no excluye otras, consiste en escribirla entre co
millas simples. De este modo '2+5=5+2' es el nombre de 2+5=5+2.
La primera expresin pertenece al metalenguaje de este texto y
la segunda a su lenguaje objeto. Anlogamente se puede construir
nombres de nombres, de predicados, etc. Por ejemplo, 'perro 7 es
el nombre de la palabra perro y 'audaz7 es el nombre de la pala
bra audaz. Y no puedo decir que 'perro7 es un animal pero s qu e
'perro7 es bisilbica, pues en este caso no estoy hablando de un
animal sino de la palabra misma. Afirmaciones como 'gato' es un
animal son malas construcciones y no se consideran proposicio
nes sino sin sentidos.
35
II
EL LENGUAJE DE LA LGICA PROPOSICIONAL
Objetivos:
Instrucciones
[39]
II. Sealar cules en el siguiente listado son afirmaciones falsas:
40
LECCIN 2
El lenguaje de la lgica proposicional
2.1. El lenguaje de PM
[41]
cional. Consideramos que el lenguaje de primer orden ms ade
cuado para nuestros objetivos es el que se construye a partir de la
obra seera de B. Russell y A. Whitehead, titulada Principia
Mathematica, cuya primera edicin se public en Londres en 1910.
Nos referiremos a l con la sigla PM y en lo que sigue de este
texto, que es muy elemental, desarrollaremos slo algunos frag
mentos de este lenguaje, siendo el primero el que corresponde a
lo que se denomina un lenguaje proposicional.
Procederemos a explicar la funcin de una clase especial de
trm inos que los lgicos su elen denom inar co n ectiv a s
proposicionales porque, en general, cumplen la funcin de co
nectar o enlazar a las proposiciones entre s. En algunos libros de
lgica se les denomina conectores; en otros, trminos de enlace u
operadores proposicionales constantes lgicas. Los autores que
los denominan operadores proposicionales desean enfatizar que
estos trminos adems de enlazar proposiciones establecen ope
raciones entre ellas, que son anlogas a cualquier operacin ma
temtica. Nosotros hemos preferido usar la denominacin
conectivas proposicionales porque es la que con mayor frecuen
cia se usa en los textos de lgica que hay en lengua espaola.
2.2. La co n ju n ci n
42
mismo, a la nueva proposicin c la denominaremos proposicin
conjuntiva y quien la afirma dice la verdad solamente en el caso
que la proposicin 'Kant fue un notable filsofo' sea verdadera y
la proposicin 'Godel fue un lgico checoslovaco' sea verdadera.
Vale decir, las dos proposiciones componentes deben ser verda
deras para que una proposicin conjuntiva sea verdadera.
Siguiendo el mismo procedimiento nosotros podemos cons
truir un nmero ilimitado de proposiciones conjuntivas. Todo lo
que necesitamos hacer es elegir pares de proposiciones y luego
ligarlas mediante la conectiva 'y'. De esta manera tendremos tan
tas proposiciones conjuntivas como deseemos y todas ellas ten
drn en comn una forma lgica o estructura que puede ser re
presentada as
y
En este esquema los puntos suspensivos que estn hacia la iz
quierda de la 'Y representan el lugar que ocupara la primera pro
posicin, y los puntos suspensivos hacia la derecha de la 'Y repre
sentan el lugar que ocupara la segunda proposicin. Este recurso
tambin nos muestra que para entender la estructura lgica de una
proposicin conjuntiva, no es indispensable recurrir a ejemplos
concretos sino que los puntos suspensivos son suficientes para in
dicamos que los lugares a la derecha y a la izquierda de la 'y 7 pue
den ser ocupados por cualquier par de proposiciones.
Debido a lo anterior es posible que en lugar de los puntos
suspensivos utilicemos las ltimas letras de nuestro alfabeto ( p,
q, r, s, e tc ) para representar proposiciones sin necesidad de inte
resamos en especificarlas al detalle. A estas letras se les denomi
na variables proposicionales por analoga con las variables
algebraicas de expresiones tales como ' 2 x + c', en las que la varia
ble algebraica V representa a cualquier nmero no especificado.
De modo semejante, por ejemplo, la variable proposicional/? re
presenta a cualquier proposicin. En armona con lo anterior pro
porcionaremos la siguiente definicin:
43
Empleando variables proposicionales, la estructura lgica de
cualquier proposicin conjuntiva puede ser formulada as:
p y q
p a q
44
verdad, el cual parece que fue conocido de manera rudimentaria
desde la antigedad. La presentacin que hoy da tiene es la que
us el filsofo Ludwig Wittgenstein en su libro Tractatus Logico-
Philosophicus. La tabla de verdad es necesaria debido a que por
definicin de variable proposicional es posible que p y q repre
senten en unos casos a proposiciones verdaderas y en otros a pro
posiciones falsas, lo que nos da varias posibilidades de com
binar sus valores. Sin embargo, todo lo que puede ocurrir debido
a esto es que p sea en unos casos verdadera y en otros casos falsa
y lo mismo con q. Consecuentemente, p puede asumir o tomar
dos posibles valores (Verdadero - Falso) y la variable q tambin.
Luego, la tabla de verdad debe presentar en orden todas las com
binaciones posibles de los valores de las variables p y q para lue
go aplicar la correspondiente definicin y establecer la verdad de
la proposicin conjuntiva. El proceso de construccin de la tabla
de verdad puede hacerse siguiendo las siguientes reglas.
p q p A q
MARGEN
45
la abreviatura V y para el falso F). A cada uno de dichos pares se
le denomina arreglo. El nmero de valores que van a constituir
cada columna se calcula aplicando la frmula: N. de valores de
cada columna = 2n. En esta frmula la letra 'n' es una variable
numrica cuyo valor depende del nmero de variables proposi
cionales que tenga la proposicin que vamos a tabular. En nues
tro caso, dado que nuestra proposicin a tabular contiene sola
mente las variables p y q, entonces n = 2 y, consecuentemente,
2n = 4. El nmero de arreglos coincide con el nmero de valo
res que constituyen cada columna.
Efectuado lo dicho en R 2, la tabla queda as:
P q p a q
Primer arreglo V Y
Segundo arreglo V F
Tercer arreglo F V
Cuarto arreglo F F
46
p q p A q
V V V
V F F
F V F
F F F MATRIZ DE LA CONJUNCIN
Tabla 1
47
r\ La diferencia radica en que la primera sugiere claramente una
relacin de causalidad que se desvirta en la segunda que ya no
expresa claramente a qu dispar Gustavo. Sin embargo, la co
nectiva de conjuncin no establece ningn tipo de nexo causal o
de orden. En armona con ello, las siguientes proposiciones son
lgicamente equivalentes aunque en el lenguaje natural no sea as:
Luis abraz a su novia y se fu e a la China.
Luis se fu e a la China y abraz a su novia.
48
III
DISYUNCIN Y NEGACIN
Objetivos:
Instrucciones
[51]
1. No es el caso que seis sea impar o que existan agujeros negros en el
cosmos.
2. No es el caso que seis sea impar, o que existan gatos.
3. No es el caso que el acusado sea inocente y que sea sentenciado.
4. No es el caso que un nmero sea divisible entre dos y que no sea par.
5. No es el caso que una persona obligatoriamente sea atea o inmoral
6 . Es el caso que Lina es estudiosa o no es aplicada.
7. No es el caso que no te diviertas o seas infeliz.
8. No tengo nada o soy muy rico.
52
LECCIN 3
Disyuncin y negacin
[531
ser rectangular, porque tales propiedades son excluyentes entre
s. Vale decir, en nuestro segundo ejemplo, la verdad de una de
las proposiciones componentes excluye la verdad de la otra. Por
eso se dice que se trata de una disyuncin en sentido exclusivo.
Aunque en espaol en ambos casos se usa la misma letra V , en
lgica la disyuncin exclusiva se denota por el signo V para dis
tinguirla de la inclusiva que se denota por el signo V 7.
Utilizando las variables proposicionales que representan en
cada caso a las proposiciones componentes, la estructura lgica
de la disyuncin inclusiva es mostrada por la siguiente frmula:
pvq
p * q
54
finicin 5, para obtener la matriz de la disyuncin exclusiva. La
tabla de verdad de la disyuncin inclusiva es como a continua
cin se grafica:
MATRIZ DE LA
DISYUNCIN
INCLUSIVA
T a b la 2 1 ____
p q p*q
V V F
V F V
F V V MATRIZ DE LA
F F DISYUNCIN
F
EXCLUSIVA
T a b la 3 t ____
3.2. La negacin
55
c. El cuaderno es rojo.
d. El nmero seis es par.
e. El cuaderno no es rojo.
f. El nmero seis no es par.
n - ( ................................... )
~P
56
intuitivo que cuando una proposicin es verdadera su correspon
diente proposicin negativa debe ser falsa y viceversa.
V
F
T a b la 4
57
g. No es el caso que Juan sea honesto y tenga una conducta inmoral.
h. No es el caso que Hugo sea piloto o cocinero.
~ ( ..... A ......)
~ ( ..............v ............... )
gl. ~ ( p A q )
h l. ~ ( p v q )
58
p q ~ ( P Aq) P q ~ ( P V q)
V V F V V V F V
V F V F V F F V
F V V F F V F V
F F V F F F V F
i
MATRIZ PRINCIPAL DE LA MATRIZ PRINCIPAL DE LA
NEGACIN ALTERNATIVA NEGACIN CONJUNTA
El lgico norteamericano W. O. Quine denomina negacin
alternativa a la negacin de la conjuncin y negacin conjunta a
la negacin de la disyuncin. Para entender el sentido de estas
denominaciones es necesario conocer las frmulas de De Morgan
que presentaremos en una leccin posterior. Asimismo, la nega
cin alternativa la utilizaremos para definir la regla de construc
cin de la matriz de la conectiva que en este libro llamamos ba
rra de Nicod.
V F
MATRIZ PRINCIPAL DE
F V LA DOBLE NEGACIN
59
Esto permite constatar que los valores de p coinciden con los
de la matriz de p. Por ello se dice que en lgica la doble negacin
de una proposicin siempre equivale a su afirmacin. Esto no ocu
rre igualmente en castellano. Una persona en lugar de decir Yo no
tengo dinero para negar que posee dinero, dice coloquialmente:
Yo no tengo nada. Si procedemos a anteponer la negacin, como
sealan las reglas de PM, obtenemos el esquema
No ( Yo tengo nada )
60
IV
EL CONDICIONAL Y LA IMPLICACIN
Objetivos:
Instrucciones
[63]
7. Si alguien gana dinero con la crisis, entonces hay alguien que tiene
inters en mantener la crisis.
8 . No es posible gastar en distracciones porque no hay dinero para la
solucin de las necesidades primarias.
64
LECCIN 4
El condicional y la implicacin
[65]
En esta seccin trataremos el condicional o implicacin ma
terial entendindolo como un operador (as tambin se suele lla
mar a las conectivas) que equivale a la negacin de una conjun
cin cuya primera variable proposicional est afirmada y cuya
segunda variable proposicional est negada. Asimismo, preferi
mos usar en esta expo-sicin inicialmente la palabra 'condicional'
para luego introducir con mayor precisin el uso de la palabra
'implicacin7.
66
nosotros hacemos completamente explcitas cuando damos la
versin detallada.
De manera intuitiva y sin mayor discusin, se puede conce
der que las cuatro primeras proposiciones del listado son correc
tas. La proposicin a porque es un postulado conocido de la Geo
metra. La proposicin b porque establece una condicin que sa
tisfacen todos los limeos que, por ser tales, son necesariamente
peruanos. Aceptamos la correcin de c porque esta proposicin
no afirma a secas Todos los gatos son negros'. Ms bien, nos dice
que si ste fuera el caso, si aceptamos esta hipottica situacin en
la que todos los gatos son negros, entonces algunos de ellos (una
parte) tienen que ser negros.
67
de la proposicin condicional c encontramos que el antecedente
es una proposicin falsa y el consecuente una proposicin verda
dera. Examinando la proposicin condicional d es claro que el
antecedente es una proposicin falsa y el consecuente tambin es
una proposicin falsa. Sin embargo, estos distintos valores de los
antecedentes y consecuentes de estas cuatro proposiciones condi
cionales parecen no alterar fundamentalmente la situacin gene
ral, pues ocurre que en tanto cada una de ellas expresa una co
nexin razonable entre antecedente y consecuente, las calificamos
como verdaderas sin mayor dificultad. En cambio, cuando el an
tecedente es verdadero y el consecuente es falso la situacin ge
neral s cambia, pues la proposicin condicional resulta inacepta
ble racionalmente y por ello la calificamos de falsa, como es el
caso de e. Este anlisis puede ser esquematizado como sigue, usan
do la abreviacin V para verdadero y la abreviacin F para falso.
p ->q
defin icin 7. La proposicin condicional de la form a p q, que tiene como
antecedente a p y como consecuente a q, es fa lsa solamente cuando p es verdadera
y q es falsa. En cualquier otro caso es verdadera. _____ j
68
La tabla anterior permite entender que el condicional puede
ser interpretado como una prohibicin que dice que no es posible
que el antecedente sea verdadero y el consecuente falso. Si esto
sucede, entonces la proposicin condicional es falsa. Igualmente
nos asegura que una proposicin condicional con antecedente
verdadero slo es verdadera cuando su consecuente tambin es
verdadero.
69
Para ilustrar lo anterior daremos algunos ejemplos. Supon
gamos que la variable p representa la proposicin 'Gustavo com
pra un reloj' y que la variable q representa la proposicin 'Gusta
vo recibe una propina de su padre'. Luego la proposicin p - q
es la expresin lgica de las siguientes proposiciones formuladas
en lenguaje natural:
4.6. Im p licacin
70
p q r (~ p a ~ q )-> (r v ~ q)
V V V F F F V V F
V V F F F F V F F
V F V F F V V Y ,v
V F F F F V V V V
F V V V F F V V F
F V F V F F V F F
F F V V V V V V V
F F F V V V V V V
71
consecuente es condicin necesaria del antecedente y el antece
dente es condicin suficiente del consecuente.
Cabe precisar que tradicionalmente a la condicin necesaria
se le ha conocido como condicin sine qua non, lo que en caste
llano significa condicin sin la cual no se produce un cierto he
cho, acontecimiento o fenmeno. Por ejemplo, en condiciones
usuales, el oxgeno es condicin necesaria para la combustin.
Por tanto, nosotros podemos armar el siguiente condicional 'Si
se produce combustin en la habitacin Z en to n ces existe oxgeno en la
habitacin Z, con la seguridad de que siempre que el antecedente
es verdadero el consecuente tambin, inevitablemente, lo es. En
cambio el condicional recproco 'Si existe oxgeno en la habita
cin Z, entonces se produce combustin en la habitacin Z' es
falso porque es posible que exista oxgeno en cualquier habita
cin, por ejemplo en la Z, y, sin embargo, no se produzca com
bustin, como ocurre todos los das en las habitaciones de nues
tras viviendas. De este anlisis se deduce que si reconocemos un
condicional como verdadero, entonces lo afirmado en el conse
cuente es condicin necesaria para lo afirmado en el antecedente,
y lo afirmado en el antecedente es condicin suficiente para lo
afirmado en el consecuente. En nuestro ejemplo, la existencia de
combustin en la habitacin Z basta para afirmar la existencia de
oxgeno en dicha habitacin. Sin embargo, no es condicin nece
saria porque es completamente factible cambiarla. Podemos de
ducir el mismo consecuente desde otro antecedente. Por ejemplo:
'Si existen personas respirando satisfactoriamente en la habitacin Z,
entonces existe oxgeno en Zf es un condicional tambin verdadero.
En cambio, la condicin necesaria no la podemos cambiar, pues
tod^s sabemos que 'No es posible que se produzca combustin y no
que haya oxgeno'. Esta ltima afirmacin formalizada correspon
de a ~ ( p A ~ q ) , que pone en evidencia que para que se cumpla
'p' la presencia del oxgeno es inexcusable. Asimismo, si se hace
la tabla de verdad de dicha frmula, se ver que coincide con la
de p -> q.
Existe la tendencia errnea a creer que la condicin necesaria
debera aparecer primero, vale decir, como antecedente. Espera
mos que ello est suficientemente aclarado en esta seccin. Igual
mente es un error intentar definir estos conceptos sin una refe
72
rencia especfica. Ninguna afirmacin expresa en s misma una
condicin necesaria o una suficiente. Son conceptos relacinales.
Debido a ello siempre un A, por ejemplo, es condicin necesaria
para algn B, pero podra no serlo para un C. La manera efectiva
de evitar imprecisiones es construir condicionales verdaderos cada
vez que estos conceptos estn en discusin.
73
V
BICONDICIONAL, FUNCIONES
DE VERDAD Y EQUIVALENCIA
Objetivos:
Instru cciones
1. p, si y solamente si p
2. No p si y solamente si no p
3. Si no p, entonces no q
4. Si no q, entonces p
5. No p si y solamente si q
1. p - q y q - r 4. r - s y s - r
2. p - q y r - p 5. s - r y r - s
3. p - q y q - p 6 . r q y p r
[77]
IV. Indicar cules del siguiente listado son afirmaciones falsas.
VI. Resolver:
1. Es ~ ( p a q ) lgicamente equivalente a pv ~ q )l
2. Es ( p a q ) lgicamente equivalente a ~ ( ~ p v ~ 7 ) ?
3. Es ( p -> q ) lgicamente equivalente a ~ ( p a ~ q ) l
4. Es ( p - q ) lgicamente equivalente a (~ p v q ) ?
5. 4 s ( p v q ) lgicamente equivalente a ~ (~ p a ~ q ) ?
78
LECCIN 5
Bicondicional, funciones de verdad y equivalencia
5.1. El bicondicional
[79]
serlo. En otras palabras, la verdad o falsedad de una proposicin
exige necesariamente la verdad o falsedad de la otra.
p q p q
V V V
b rT7 MATRIZ DE LA
pr pr
V
\VT PROPOSICIN
BICONDICIONAL
F F V /
A
Tabla 6
Observando la tabla anterior se encontrar que la conectiva
bicondicional puede ser interpretada como inversa de la disyun
cin exclusiva, en el sentido de que es verdadera en los arreglos
en los que la disyuncin exclusiva es falsa y es falsa en los arre
glos en los que la disyuncin exclusiva es verdadera.
Asimismo, en la proposicin bicondicional p <-> q se dice que
p es condicin necesaria y suficiente de q y que q es condicin
necesaria y suficiente de p.
80
Cuando 'x' es igual a 1, entonces 'y ' es igual a 2.
Cuando V es igual a 2, entonces 'y ' es igual a 4.
Cuando 'x' es igual a 3, entonces 'y' es igual
Y as sucesivamente...
P q p Aq
1. a rre g lo (V , V) V
2. a rre g lo (V , F ) - ------ F
3. a rre g lo (F , V ---- F
) -
4. a rre g lo (F , * H ------- F
Debido a la existencia de este tipo de correspondencia, que
va de los valores de las variables proposicionales a los valores de
la matriz, es que, por analoga con la matemtica, se ha llamado a
las conectivas funciones. Pero como en este caso las variables no
asumen valores numricos sino slo el valor verdadero y el valor
falso, entonces para tipificarlas se les denomina funciones de
verdad. El lgico que inici el estudio de las funciones de verdad
fue Gottlob Frege en su libro escrito en alemn bajo el ttulo de
Begriffsschrift, publicado en 1879.
81
5.3. Dominio y rango
f ( x ): A => B
fl(p,q):WxW=> W
f 0 ( p ) : W => W
82
Definicin 9. Las frmulas conjuntivas, disyuntivas, negativas, condicionales y
bicondicionales son funciones de verdad definidas tomando como base el conjunto
W= { V,F} debido a que los valores de sus matrices son determinados de manera
nica y exclusiva por los valores de sus variables proposicionales componentes.
Definicin 10. Se dice que una proposicin es atmica cuando no contiene entre
sus signos a ninguna conectiva proposicional y puede ser representada slo por una
variable proposicional p.
V________________________________________________________ /
Definicin 11. Se dice que una proposicin es molecular cuando entre sus signos
contiene al menos una conectiva proposicional.
c. La pizarra es verde.
d. ( a + b )2 = a2 + 2ab + b2
e. (a + b ) + c = (a + b ) + c
f. Juan es hermano de Enrique.
g. Luna estu entre Tr'ujulo cu.
83
Existe la creencia errnea de considerar que una proposicin
atmica debe tener un slo sujeto. Los ejemplos g y f demuestran
lo contrario a nivel del lenguaje natural, en el sentido de que, des
de el punto de vista lgico, Lima, Trujillo e lea son tres nombres,
que tienen la misma jerarqua en una relacin, en este caso, tridica.
Lgicamente, ninguno es predicado. En estos ejemplos los predi-
cados son '...entre ...'y y hermano de ...'.
Asimismo, a modo de ejemplo, daremos un razonamiento
para luego sealar las proposiciones atmicas que lo constituyen
y las variables proposicionales que pueden representar a cada una
de ellas.
O los pjaros estn trinando o la beb est llorando. Si lar beb no
est llorando, el viento no est soplando. O los pjaros no trinan o el
viento no sopla. En consecuencia, si la beb no est llorando, los pjaros
no estn trinando.
Las proposiciones atmicas que constituyen este razonamien
to son:
84
bro es una disyuncin negada. La matriz principal, que corres
ponde a la conectiva bicondicional, es siempre verdadera (tauto
loga) debido a que la matriz del primer miembro asigna a cada
arreglo del margen los mismos valores que la matriz del segundo
miembro. Esta igualdad de valores en sus matrices significa que
la frmula del primer miembro es lgicamente equivalente a la
frmula del segundo miembro. Por tanto, la tabla prueba que la
frmula ( ~ p a ~ q ) es lgicamente equivalente a ~ ( p v 7 ). Otra
manera de expresar el mismo concepto es decir: si una frmula
bicondicional es verdadera en todos sus arreglos (tautologa), en
tonces sus dos miembros son entre s proposiciones o frmulas
lgicamente equivalentes.
Probar que dos frmulas son lgicamente equivalentes es
muy importante dentro del estudio de la lgica y cada que lo
hacemos, como en la tabla anterior, tenemos lo que en breve se
denomina una equivalencia. Esta permite que podamos reem
plazar una frmula por la otra cada vez que lo consideremos
necesario. En la prctica, una equivalencia es una frmula
bicondicional tautolgica que funciona como una regla que
autoriza a transformar una frmula en otra. Como referencia
histrica, sealamos que el ejemplo de nuestra tabla se conoce
como equivalencia o tautologa de De Morgan (DM) en home
naje a Augusto De Morgan, uno de los fundadores de la Lgica
matemtica.
85
p q ( P <-> q ) <-> ( ( p - > q ) A q - > p ) )
V V V V V V
V F V F F V
F V V V F F
F F V V V V
T 4
MATRIZ DEL MIEMBRO MATRIZ MATRIZ DEL MIEMBRO
IZQUIERDO PRINCIPAL DERECHO
86
( p v q) f > ~ ( ~ p A ~ q )
(P ~ > q) * * ~ ( P A ~ q )
( p * q) 0 ~ ( p A q ) A ~ ( ~ p A ~ q )
( p o q ) f>~(pA~q)A~(~pAq)
87
VI
JERARQUA DE LAS FRMULAS
DEL LENGUAJE DE LA LGICA
PROPOSICIONAL
Objetivos:
Conocer y aplicar las reglas de formacin de frmulas.
Definir y aplicar en el lenguaje formalizado el concepto de
Jerarqua.
Reconocer el carcter convencional de los sistemas de jerarqua.
Aplicar notaciones alternativas para jerarquizar frmulas
Establecer el orden de operaciones en la resolucin de tablas de
verdad.
CUESTIONARIO 6
Jerarqua de las frmulas
del lenguaje de la lgica proposicional
Instrucciones
I . (p-> (q a r ) ) ~ ( ~ q v ~ ( ~ r ) )
2- ( P -> q -> ) P
3. ~ p ( q v r ) p
4- ( P v q ) ->(p A q )
5- ( ( P A <1 ) Ar) A ~ S A p
6. p ( ~ ( ~ ( ~ q )))
1 .p o q /v p e q
2. p o q-qv~p
3. p - q v r - s
4. p -> q - > r
6. p - q -q-r-p-r
[91]
7 p-~q^q -~p
8. p -> q a r . A . p - q v p - r
III. Ordenar por el mtodo de los puntos las siguientes proposicio
nes de tal manera que la jerarqua no se altere.
1. ( p v q ) A ( r v p )
2. ( p v q ) A ( r v - p )
3. p > ( q a ( t a - s ))
4. ( p - > q ) v ( ( r - > s ) a ( s v p ))
5- ( ( p - > q ) v s ) A ~ r
1. p - > q
2. p * q
3. p v ~ q
4 . p > ~ q
5. ( p q ) > ( q p )
6. ( p - > q ) > ( ( p - > q ) v r )
92
LECCIN 6
Jerarqua de las frmulas del lenguaje de
la lgica proposicional
[93]
Una diferencia notable entre los lenguajes lgicos y los len
guajes naturales es que estos tienen una cantidad, en trminos
comparativos, muy grande de palabras en relacin con los len
guajes formalizados. Un lenguaje formalizado, como el tipo PM
que estamos desarrollando, cuenta propiamente con slo seis fr
mulas bsicas. Ellas son las frmulas de negacin, conjuncin,
disyuncin inclusiva, disyuncin exclusiva, condicional y
bicondicional. Asimismo, hay muchos lenguajes para la lgica
proposicional que usan slo dos frmulas bsicas. Entre ellos el
lenguaje de Post usa solamente las frmula de conjuncin y nega
cin. En el caso lmite, hay lenguajes que usan slo una frmulas
bsica. Un ejemplo lo brinda el lenguaje de Nicod que usa slo la
frmula de incompatibilidad.
La otra diferencia es que los lenguajes formalizados, propia
mente, no jerarquizan sus frmulas mediante signos de puntua
cin sino a travs de signos de agrupacin, que establecen el or
den en que debe ejecutarse las operaciones que la frmula define.
Como veremos los signos de agrupacin ms usuales en los len
guajes lgicos son los parntesis, sin embargo ello no obsta para
usar otras convenciones, que bien pueden ser puntos, que tratn
dose de frmulas lgicas tambin funcionan como signos de agru
pacin que definen un orden de operaciones.
94
de prueba o deduccin, mientras las proposiciones al concepto
de verdad. Asimismo, todas las frmulas que hemos usado hasta
el momento pueden ser interpretadas como proposiciones, pero
una cosa es una frmula y otra su interpretacin. Por ahora, deja
mos anotado que los sistemas lgicos frecuentemente se desarro
llan como conjuntos de frmulas sin interpretar, lo que no impide
que a nivel elemental sigamos hablando indistintamente de fr
mulas y proposiciones.
Si mantenemos la convencin de llamar al lenguaje pro-
posicional que estamos exponiendo, lenguaje PM, las reglas de
formacin o construccin de frmulas son las siguientes:
95
rienca que gana un estudiante en cualquiera de sus cursos de
matemtica, por ejemplo, el de lgebra elemental.
Supongamos que alguien escribiera en la pizarra la siguiente
expresin
3x + 2 - 5 . 4 - 7x = 8
3 (x + 2 ) - 5 ( 4 - 7 x ) = 8
p v p > q
96
que no puede ser tabulada porque hay dos conectivas y rio se sabe
cul es la de mayor jerarqua para establecer un orden en la cons
truccin de la tabla. Valindonos del mtodo de los parntesis,
usado en la matemtica, podemos darle la siguiente presentacin
a la operacin anterior:
p v (p q)
pv(p-^q) MATRIZ
SECUNDARIA
ra.
97
6.5. Ocurrencias de una variable proposicional
( p v ~ q ) > p
98
p q (p. v ~ q ) -> P
V V V F V 3.a MATRIZ
V F V V V < (Principal o final)
F V F F V
F F V V F 1.a MATRIZ
t 1
t 2.a MATRIZ
Tabla 8
En este caso el orden de operacin ha sido el siguiente. Pri
mero se obtuvo la matriz de la negacin, aplicando la Definicin 6
a los valores de q. Luego se obtuvo la segunda matriz, aplicando
la Definicin 4 a los valores de p y a los valores que constituyen la
primera matriz.
Es evidente que el primer valor de p se coteja con el primer
valor de la primera matriz y as sucesivamente. Finalmente, la
matriz principal se obtuvo aplicando la Definicin 7 a los valores
de la segunda matriz y a los valores de p.
Definicin 12. Una proposicin dada en el lenguaje lgico est bien escrita si y slo
si existe una jerarqua claramente establecida entre sus conectivas. A esta jerarqua
tambin se le llama un orden. Asimismo, una proposicin mal escrita carece de sentido.
se deduce de la Definicin13,
La primera regla adicional se refiere a la negacin. Aunque ella
sin embargo,, nosotros la haremos
explcita para facilitar el aprendizaje.
99
R4. Cuando se desea negar una proposicin compuesta o
molecular se la encierra dentro de parntesis y se le antepone el
signo En este caso la conectiva de negacin no niega los valo
res de una variable proposicional sino los valores de la matriz
que est debajo de la conectiva de mayor jerarqua que se encuen
tra dentro del parntesis. Asimismo, de acuerdo con la Definicin
13, estas proposiciones tomadas en su conjunto tienen como
conectiva principal a la negacin y son proposiciones negativas.
Por ejemplo, si se desea negar la proposicin p <-> q, entonces la
respectiva proposicin negativa es ~ ( p q ). De acuerdo a lo
anterior, la tabla de verdad de esta proposicin es la que aparece
en esta pgina como Tabla 9.
p q ~ (p <H>q)
V V F V
V F V F
F V V F MATRIZ PRINCIPAL
F F F
t V Tokio O
1
pAq^r-r^pvq
100
se le e c o m o s i fu e r a
p A q ^ ro r^ p v q
Si usamos tantos puntos como parntesis, entonces tenemos:
( P a q -> r ) ( r -> p v q )
101
6.8. Tabla de verdad de las proposiciones con ms de dos
variables
(( P AJ I ) V ( p A r ) ) <-> ~ p
3 .a matriz 2 .a matriz 1 .amatriz
4.a matriz
i-------------v-------------
5.a matriz (principal)
p q r ((P a q) v (p a r )) <-> ~ P
V V V V V V T F
V V F V V F F F
V F V F V V F F
V F F F F F V F
F V V F F F F V
F V F F F F F V
F F V F F F F V
F F F F F F F V
T
Tabla 10 MATRIZ PRINCIPAL
102
p q r ( ( p v ~ p ) - > ( q A ~ q ) ) A r
V V V V F F F F F
V V F V F F F F F
V F V V F F F V F
V F F V F F F V F
F V V V V F F F F
F V F V V F F F F
F F V V V F F V F
F F F V V F F V F
4
MATRIZ
Tabla 11 PRINCIPAL
VII
TAUTOLOGA, PRINCIPIOS LGICOS
Y VALIDEZ
Objetivos:
Instru cciones
1. ( pAq) ->p
2. (p v q ) -> ( p a q )
3 ( p - > q ) - > ( ( p - > q ) v (r->p))
4. ( p -> q ) ( ~p v q )
5-~((p->q)v(q->p))A(r->p)
M ( p - > q ) Aq ) - > p
[107]
1. Si n es un nmero natural, entonces n tiene un sucesor.
2. Todo nmero natural es par o impar.
3. Todo nmero es igual a s mismo.
4. El nmero tres es mayor que cero.
5. No es posible que el mismo nmero sea par e impar.
6. No existe un nmero entero positivo que sea mayor que todos los otros.
1. pv~q y ~ ( p A q)
2- (p q) y (~ pv q)
3. ( p v ( q Ar)) y ( ( P v q ) A ( P v r ))
4- ( P - ~ q ) y ( q - > p)
-Q
5. (p e q ) l
l
&
>
<
<
y
108
VI. Responder las siguientes preguntas:
109
LECCIN 7
Tautologas, principios lgicos y validez
Las tablas de verdad que hemos construido hasta ahora son sufi
cientes para permitimos comprender que los valores de la ma
triz principal de una frmula se encuentran necesariamente en
una de las tres siguientes condiciones: 1) todos sus valores son
verdaderos, 2) algunos de sus valores son verdaderos y algunos
son falsos; y 3) todos sus valores son falsos. Las frmulas cuya
matriz principal se encuentra en la primera condicin se llaman
tautologas. (Ver tabla 7). Las frmulas que poseen una matriz
principal que se encuentran en la segunda condicin se denomi
nan consistentes. Entre otros ejemplos pueden verse las tablas 8,
9 y 10. Las frmulas cuya matriz principal se encuentra en la ter
cera condicin se denominan contradicciones. Un ejemplo nos lo
proporciona la frmula de la tabla 11.
[111]
a. p v ~ p
b. Lucas es casado o no es casado
c. Mercedes es silenciosa o no es silenciosa
( ................... ) v - ( ....................... )
112
7.3. L im itacion es en la tran sform aci n de proposiciones
tau tolgicas
Una ventaja sustancial del ejemplo a sobre los otros dos es que
todas las transformaciones que hagamos sobre l, aplicando equi
valencias lgicas, dan lugar a frmulas que son, igualmente, siem
pre verdaderas (tautologas). En cambio, si trabajamos con el ejem
plo b y hacemos reemplazos usando lo que seran equivalencias
en castellano, encontraremos que algunas transformaciones po
dran ser falsas. Si definimos 'casado7 como 'no soltero7, y hace
mos el reemplazo correspondiente en el segundo componente de
la disyuncin b, obtendremos lo siguiente:
113
reemplazadas, sin limitacin alguna, por sus equivalentes. El no
conocer esta distincin conduce al error de atribuir las mismas
propiedades a las frmulas tautolgicas y a las proposiciones
tautolgicas. Por ello, en esta seccin el lector deber tener pre
sente cundo nos referimos a unas y cundo a las otras.
En lo que sigue consideraremos a las proposiciones tauto
lgicas como un caso particular o un ejemplo, en un lenguaje na
tural, de la estructura o forma que muestra la correspondiente
frmula tautolgica. Asimismo, todas las reglas lgicas proporcio
nadas en este libro se refieren, propiamente, a frmulas de PM.
114
c". p <-> p ( Principio de identidad)
d". ~ ( P A ~ p) ( Principio de no-contradiccin)
e". p v ~ p ( Principio del tercio excluido)
P P <> P
V V
F V Tabla 12
115
Es muy sencillo probar que esta frmula es una tautologa.
(Dejamos como ejercicio para el estudiante la construccin de la
tabla de verdad correspondiente).
116
7.6. Tautologas vs. frmula lgicamente vlida
117
7.7. Tautologa vs. contenido informativo
118
lgico" mientras las contradicciones lo cierran al ser siempre fal
sas, lo que equivale a afirmar que ningn mundo es posible.
Lo dicho significa que las tautologas son lgicamente vli
das pero vacas de contenido informativo. Por ello no nos sirven
como afirmaciones cientficas sobre la realidad sino como re
glas de deduccin que transfieren la verdad establecida previa
mente por la investigacin cientfica. Son poderosas para orga
nizar lgicamente el conocimiento pero no para producirlo.
119
VIII
FORMALIZACIN
Objetivos:
Instrucciones
1. ( ( p A q ) a i ) - > ( s > q )
2- ((pvq)vr) ( p A s )
3-((p-q)A ( r - s ) ) - ( ~ s - ~ p )
[123]
4. ( p - > q ) - > ( r v ( p - > q ) )
5.(p-^(qvr))-> ((q A r)A s)
V
un teorema. Por tanto; si la geometra de Lobaclievski es correcta, en
tonces el postulado no es un teorema.
3. Un nmero es inductivo o transfinito. Pero no es inductivo. Luego es
transfnito.
4. Si Gdel hubiera estado joven, entonces habra demostrado la hipte
sis del continuo. Pero Gdel no demostr la hiptesis del continuo. En
consecuencia, Gdel no estaba joven.
5. Si un pas no puede cubrir las necesidades primaras de. su gente, en
tonces no puede gastar dinero en distracciones como el ftbol. Pero si
gasta en distracciones como el ftbol, entonces los aficionados olvida
rn sus problemas mientras dure el partido. Luego, si un pas no pue
de cubrir las necesidades primaras de su gente, entonces los aficiona
dos olvidarn sus necesidades mientras dure el partido.
6. Si las leyes son justas, entonces todos son tratados de manera igual. Si
hay privilegiados, entonces no todos son tratados igual O todos son
tratados de manera igual o no lo son. En consecuencia, o las leyes no
son justas o no hay privilegiados.
7. No es posible que una persona sea privilegiada y defensora de lo justo.
Pero es privilegiada, entonces no es defensora de lo justo.
8. Si la matemtica es correcta, entonces es eficaz. La matemtica es efi
caz. Por tanto, la matemtica es correcta.
9. Si alguien impone su voluntad por la fiierza, entonces est recurrien
do a la ley del ms fuerte. Si alguien recurre a la ley del ms fuerte,
entonces se est portando como si fuera una fiera en la selva. Por tan
to, si alguien no se comporta como una fiera de la selva, entonces no
impone su voluntad por la fuerza.
10. Hitler orden la quema de libros porque crey que las ideas podan ser
quemadas. Si Hitler no tuvo xito, entonces los que hoy queman libros
124
corrern la misma suerte. O bien los que queman libros no corren la
misma suerte. O bien Hitler no orden la quema de libros. En conse
cuencia, o Hitler tuvo xito o las ideas no pueden ser quemadas.
1. En qu consiste la postulacin ?
2. De acuerdo con la Lgica y a la Matemtica moderna hay al
guna diferencia entre axioma y postulado?
3. Cmo se define la inferencia?
4. Cundo un argumento est adecuadamente formalizado?
5. Qu se hace para que los argumentos muestren su estructura
lgica?
6. Cundo es un argumento lgicamente vlido?
7. Asegura la validez lgica la verdad de las premisas de un ar
gumento?
8. Qu es lo que esencialmente prohibe la validez lgica de un
argumento?
125
LECCIN 8
Formalizacin
[127]
invent para analizar razonamientos cotidianos sino para abor
dar con rigor los procesos deductivos que realizan los matemti
cos, y los cientficos que usan la matemtica como medio expresi
vo de sus teoras. Por ejemplo, una preocupacin central de Frege,
uno de los fundadores de la lgica actual, fue la fundamentacin
lgica de la definicin del concepto de nmero natural y de la
aritmtica.
Nosotros asumimos como criterio, en la elaboracin de este
texto, que la enseanza de la lgica debe tender a usar ejemplos
que permitan visualizar su relevancia en el desarrollo de la cien
cia y de la tecnologa. Para ello el lenguaje proposicional es muy
pobre porque carece de medios para analizar conceptos cientfi
cos debido a que carece de predicados, relaciones y cuantifica-
dores. Ello da lugar a que no permita hablar de la verdad de pro
posicin alguna respecto de un conjunto de objetos y de relacio
nes definidas entre los mismos, lo que constituye el meollo de las
proposiciones cientficas significativas.
La formalizacin tericamente interesante se realiza mediante
la construccin de modelos para las teoras cientficas. Este es un
proceso a travs del cual se dota a un sistema de frmulas lgicas
de significado especfico respecto de las propiedades de los obje
tos que son miembros del conjunto de base del modelo. De esta
manera se asigna a los sistemas lgicos una semntica que da
lugar a que la lgica no sea una disciplina puramente sintctica o
formal. Ciertamente, el concepto de verdad es el ms importante
de la semntica lgica y el de deduccin o prueba de la sintaxis.
Por algn tiempo se pens que los conceptos anteriores tenan la
misma extensin. Se conjetur que las afirmaciones' Si A es dedu-
cibldentro de la teora T, entonces A es verdadera en un modelo de Y y
' Si A es verdadera en un modelo de T, entonces A es deducible en T
eran, ambas, verdaderas. El investigador Kurt Gdel derrumb
esa esperanza en 1931 cuando demostr que la segunda afirma
cin era falsa. Prob que en toda teora matemtica interesante
existe al menos una proposicin que es verdadera en el modelo
principal pero que es indeducible. Este resultado, conocido como
el segundo teorema de Gdel sobre proposiciones indecidibles,
es, tal vez, el ms famoso del siglo XX en lgica matemtica por-
128
que establece que el concepto de verdad tiene un significado ms
rico que el de deduccin o prueba.
El lgico polaco Alfredo Tarski es reconocido como el instau-
rador de la Teora lgica de modelos en la dcada de 1940. Se
mencionan a su lado los trabajos de Henkin y Robinson. Destaca
mos este hecho porque todos lo trabajos serios en formalizacin
lgica estn enmarcados dentro de la teora de modelos y noso
tros en este curso introductorio no estudiaremos estos conceptos.
Sin embargo, daremos algunos instrumentos conceptuales y sim
blicos para que nuestros ejercicios de formalizacin no se limi
ten al puro anlisis del lenguaje natural. Asimismo, presentare
mos los elementos bsicos para comprender la aplicacin de la
lgica al diseo de circuitos para computadoras digitales, para lo
cual s es suficiente un lenguaje proposicional reducido.
129
quier sistema matemtico son postulaciones que se hacen con in
dependencia de que su verdad sea o no evidente. Asimismo, los
conceptos de axioma y de postulado son hoy da, en los medios
especializados, completamente equivalentes.
130
Para diferenciar las inferencias de la matemtica, que gene
ralmente son llamadas demostraciones, de las formuladas en el
lenguaje natural, los autores usualmente llaman a las segundas
razonamientos o argumentos. Nosotros utilizaremos esta ltima
denominacin.
131
p > q \ < Premisas
P J
q} < Conclusin
p v q \ < Premisas
~P J
q } < Conclusin
( ( p -> q ) a p ) -> q
( ( p v q ) A - p ) -> q
132
Prem isas Conclusin
p q ((p q )Ap) q
V v V V V
V F F F V
F V V F V
F F V F V
p/vq y qa p
~ (P a q)
134
consiguiente', etc. En algunos argumentos que no estn lgica
mente ordenados, la conclusin aparece antes que las premisas.
En tales casos la conclusin aparece antes de palabras como 'por
que', 'debido a', etc.
Tomando en consideracin las reglas anteriores, podemos
pasar a determinar la validez del siguiente argumento.
Habr un concierto si y solamente si hay una conferencia. Si no
hay un baile entonces no habr conferencia. Sin embargo, no es el caso
que haya baile y concierto pero habr uno de los dos. Consecuentemente,
no habr conferencia.
La primera tarea consiste en formalizar el argumento. Para
ello hay que representar sus distintas proposiciones atmicas por
distintas variables proposicionales. Esto lo podemos conseguir de
la siguiente manera:
p<-> q
~r ~q
135
~ ( r AP )
rvp
~q
p <- q
^ r ~ q
^(r a p)
r v p
~q
Y para decidir su validez lgica es necesario determinar si el
siguiente condicional es una tautologa.
( ( P<->q)A ( ~ r - ~ q ) A ~ ( r A p ) A ( r v p ) ) - > ~ q
Nosotros adelantamos al estudiante que este condicional es
una implicacin lgica, lo que significa que es necesariamente
tautolgico. Por consiguiente, el argumento es lgicamente vli
do. Dejamos como ejercicio la construccin de la correspondiente
tabla de verdad.
136
F l. p q Modus Ponens (MP)
P
q
F 6. p aq , p aq Simplificacin (Simp.)
P q
137
Un ejemplo de argumento de la forma del Silogismo Hipo
ttico es como sigue:
138
P2. Si una frmula es una tautologa, entonces la hiptesis H
que supone que su matriz principal contiene al menos un valor falso
debe conducir a contradiccin y, por tanto, debe rechazarse H.
P3. Si la hiptesis H que supone que la matriz principal de una
frmula tiene al menos un valor falso permite construir de manera
coherente el arreglo correspondiente ( sin contradiccin), entonces
H debe ser aceptada y la frmula dada no es una tautologa.
Las presuposiciones P2 y P3 se basan en la regla de deduc
cin por reduccin al absurdo (RAA), cuya forma lgica presen
taremos ms adelante. Esta regla establece que toda hiptesis que
conduce a contradiccin debe ser rechazada. En la medida que en
la larga tradicin matemtica las demostraciones por reduccin
al absurdo se conocen como demostraciones indirectas, hemos
decidido denominar al procedimiento que presentamos mtodo
indirecto. Las reglas son como sigue:
rl. Dada una frmula condicional W debe formularse la hi
ptesis H que afirma W no es tina tautologa porque su matriz prin
cipal contiene al menos un valor falso.
rl. En armona con las hiptesis H debe asignarse al antece
dente de W el valor verdadero y al consecuente el valor falso.
r3. Inmediatamente, debe asignrsele a las letras variables del
consecuente exactamente los valores que se ajusten a la suposicin
de su falsedad. Por ejemplo, si el consecuente est constituido por
una frmula atmica, se asignar el valor falso a dicha frmula. Si
el consecuente es de la forma ~A, se asignar a A el valor verdade
ro. Si el consecuente tiene la forma A v B, entonces debe asignrsele
el valor falso a ambos componentes. Si tiene la forma A a B es sufi
ciente con asignar el valor falso a uno de los componentes. Si tiene
la forma A -> B debe asignarse necesariamente el valor verdadero
a A y el falso a B. Si tiene la forma A B debe asignrsele distinto
valor a cada componente. Si tiene la forma A * B , debe asignarse
el mismo valor a ambos componentes.
r4. Debe asignarse a cada una de las letras variables del ante
cedente, que tambin aparecen en el consecuente, exactamente
los mismos valores que ya se les asign por efecto de la aplicacin
de la regla r3. Si esto es suficiente para convertir al antecedente,
en su conjunto, en verdadero, entonces la hiptesis H debe ser
aceptada y W no es una tautologa. Pero, si esta asignacin de
139
valores entra en contradiccin con la suposicin de que el antece
dente es verdadero, entonces la hiptesis H debe ser rechazada y
W es una tautologa.
r5. Si la aplicacin de r4 no permite tomar una decisin debi
do a que en el antecedente existen letras variables que no han
recibido asignacin de valores porque no aparecen en el conse
cuente, entonces debe asignarse a estas letras variables los valo
res adecuados para convertir al antecedente en verdadero. Si esto
es posible, la hiptesis H debe ser aceptada y W no es tautologa,
pero si esta asignacin de valores entra en contradiccin con la
suposicin de que el antecedente es verdadero, entonces H debe
ser rechazada y W es tautologa.
Por ejemplo, supongamos que debemos decidir si es o no tau
tologa la frmula:
(p-> q) (p a q)
F((p->q) -> ( p A q ) )
F ( V ( p -> q ) -> F ( p a q ) )
F ( V ( p q ) - F (p a F ( q ) ) )
F(V (p-F(q))-> F( p a F( q) ) )
140
En este caso la decisin final depende del valor que le asigne a
p . Como el procedimiento consiste en hacer todo lo lgicamente
permitido para confirmar la hiptesis H, entonces, por r5, asigno a
p el valor falso y de esta manera convierto al antecedente en verda
dero. Ello me permite construir justamente el arreglo en el que W es
falsa y, por tanto, debo aceptar la hiptesis H . En breve y con algn
sentido de observacin, se puede decir que la frmula propuesta no
es tautologa porque su matriz principal es falsa al menos en el cuar
to arreglo. La asignacin completa de valores es como sigue:
F( V( F ( p ) F ( q ) ) -> F ( F ( p ) a F ( q ) ) )
( ( P A q ) A r ) -> ( p v s )
F ( ( (p A q ) A r ) -> ( p v s ) )
F ( v ( (p A q ) A r ) - > F ( pvs))
F ( V ( ( p a q) a r) F( F (p )v F(s) ) )
141
F ( V ( ( F ( p ) A q ) A r ) -> F (F (p )v F (s)))
( ( p A q ) A T ) A S ) A t ) A...,)
( ( p v q ) v r ) v s ) v t ) v ...,)
puede escribirse:
(p 1 a p a / /a p n)
( p V p V , ... , V p )
z
1 2
2
142
ra5. Es suficiente que el consecuente de un condicional sea
verdadero para que el condicional, en su totalidad, sea verdade
ro. Y tambin es suficiente que un condicional tenga el antece
dente falso para que , en su totalidad, sea verdadero.
ra6. Si usamos 'l'e n lugar del valor verdadero, '0' en lugar
del valor falso y la expresin 'se reduce a para precisar que una
expresin puede ser reemplazada por la otra y viceversa, se pue
de establecer las siguientes abreviaciones:
ra6.1. P v ~ P se reduce a 1
ra6.2. P A ~ P se reduce a 0
ra6,3. P A 1 se reduce a p
ra6.4. P A 0 se reduce a 0
ra6.5. P V 1 se reduce a 1
ra6.6. P V 0 se reduce a p
ra6.7. P - 1 se reduce a 1
ra6.8. 0 - P se reduce a 1
A. ( p A q A ~ q ) - > s
( p A 0 ) - s ( por ra6.2)
0 -> s (por ra6.4)
1 ( por ra6.8)
p v~p ( por ra6.1)
B. p - > ( q v r v ~ r )
p - > ( q v 1) ( por ra6.1)
p-l ( por ra6.5)
1 ( por ra6.7)
X
( por ra6.1)
<
C. ( p A q A ( s v ~ s ) ) - > ( q v ( P A P ) )
((P A q )A l)-> (q v O ) ( por ra6.1 y
( P A q ) > q ( por ra6.3 y
143
IX
DEDUCCIN NATURAL
O b je tiv o s.-
Instru cciones
[147]
3.(1) A - B
(2) C -> D
(3) ~ Bv~ D
(4) A
(5) ( E a F ) - C / \ ~ ( E a F)
6. (A->B) a (C->D)
7. ~A v ~C
8. ~C
9. ~ (EaF)
4.(1) ( G - H ) - ( I <- J )
(2) K v ~ ( L -> M )
(3) ( G -> H ) v ~ K
(4) N -> ( L -> M )
(5) ~ (I o j ) / \~N
6. ~ ( G -> H )
7. ~K
8. ~ ( L -> M )
9. ~N
5.(1) H -> ( I - J )
(2) K - ( I - > J )
(3) ( ~ H a ~ K ) - > ( ~ L v ~ M )
(4) ( ~ L - ~ N ) a ( ~ M ~O)
(5) ( P - > N ) a ( Q - O )
(6).~(I-> J ) / \ ~ P v ~ Q
7. ~ H
8. ~ K
~H a ~K
10. ~ L v ~ M
11. ~ N v O
12. ~ P v ~ Q
1.(1) F v ( G v H )
(2) ( G - > I ) a ( H - > J )
148
(3) ( I v J ) - ( F v H )
(4) ~ F / H
2.(1) K - L
(2) M -> N
(3) ( O - N ) J ( P - L )
(4) (~Nv~L)a(~M v~0) / (~Ov~P)a(~ M v ~K)
4.(1) ( 0 - ~ P ) a ( P - Q )
(2) Q - > O
(3) ~ R -> P / R
5.(1) X - (Y -> Z )
(2) X - ( A - B )
(3) X a (Y v A)
(4) ~ Z / .. B
6 .( 1) C - ( D - > ~ C )
(2) D/ ~ C a ~D
7.(1) J v ( ~ K v J )
(2) K v ( ~ J v K ) / (JaK )v (~ J a~ K )
8.(1) ( L v M ) v ( N a O )
(2) ( ~ L a O ) a ~ ( ~L a M ) / ~La N
1.(1) ( A v B ) - > ( C a D)
(2) ( D v E ) - F / A - F
149
2.(1) (EvF)-> G
(2) ( J - > ~ G ) a ~ H
(3) J v K / /. E K
3.(1) Q - > P
(2) T v S
(3) Q v ~ S / ~(Pv R)-> T
a)Premisas
150
Conclusiones propuestas Se sigue lgicamente?
C.La matemtica no es fcil
o la lgica es difcil._______________________________________
151
LECCIN 9
Deduccin natural
[1531
como condiciones iniciales para este proceso de transferencia se
les conoce como premisas y a las proposiciones que reciben la ver
dad transferida o que heredan la verdad, por as decirlo, se les
denomina conclusiones o consecuencias lgicas. Esta idea se pue
de graficar (Fig. 1) a travs de un modelo de caja negra que con
cibe a las reglas de deduccin como una mquina, la que cada
que entra informacin verdadera en sus unidades de procesamien
to, emite o produce como salida, necesariamente, informacin ver
dadera. Adicionalmente, la mquina no proporciona garanta al
guna cuando la informacin que ingresa es falsa, pues no est di
seada para procesar entradas falsas.
Recprocamente, la mquina s est diseada para asegurar
nos que si la salida emite informacin falsa, entonces est ingre
sando, necesariamente, informacin falsa. Esto se puede graficar
(Fig. 2) mediante el mismo modelo de caja negra aadiendo un
circuito de feed back o de retroalimentacin.
Fig. 1 V V
Entrada Salida
Entrada Salida F
Fig. 2
F
Feed back.
------------- <-----------
( P j A P j a , .........., a P ) C
154
Esto ltimo pued suscitar en el aprendiz la siguiente pre
gunta: Y para qu necesitamos las RDN si con la sola aplicacin
de tablas de verdad podemos decidir si las premisas implican o
no a la conclusin. La respuesta es que, por un lado, cuando las
frmulas que constituyen las premisas exhiben cinco variables
proposicionales o ms, resulta mucho ms breve y elegante apli
car las RDN, pero, por otro lado, existen muchos casos que exce
den a los lenguajes proposicionales en los que la construccin de
una tabla de verdad para decidir si las premisas implican a la
conclusin, no es posible, pues el mtodo de las tablas de verdad
slo tiene lugar en los casos elementales. Por ejemplo, cuando se
parte de premisas que contienen predicados didicos, usuales en
aritmtica, como ...mayor que..., ...menor que..., ..igual a...
la construccin de tablas de verdad es, en principio, imposible
debido a la existencia de pares de cuantificadores universales y
existenciales variando sobre un conjunto infinito.
pv^q
(p A q ) v ~ ( r v s )
pv ~ ( q a t )
155
En el caso de las reglas, que establecen equivalencias o dobles
implicaciones, hemos preferido escribirlas horizontalmente ligndo
las por la abreviatura sss que corresponde a la expresin 'si y slo si7
que a su vez corresponde a la lectura castellana del bicondicional.
En el caso de las reglas, que no conducen a una nica conclu
sin, hemos escrito al costado derecho el mismo esquema acom
paado de la conclusin alternativa. Asimismo, es conveniente
enfatizar que las reglas que son equivalencias funcionan propia
mente como reglas de reemplazo, pues autorizan a reemplazar
una frmula de cierta forma por su equivalente, cualquiera que
fuera el lugar donde sta aparezca.
Tambin es oportuno sealar que el dar las reglas en forma de
esquemas y el construir deducciones con letras esquemticas ( A, B,
P, Q,...) tiene la ventaja que de este modo se hace alusin a conjuntos
infinitos de casos particulares que son vlidos por simple inspeccin
en el caso de que su estructura corresponda a alguna de las 2 1 RDN
a continuacin proporcionadas. En la versin que presentamos in
cluimos a la regla de la Prueba condicional y a la de Demostracin
por reduccin al absurdo, las mismas que a menudo son omitidas y
tratadas como si slo fueran estrategias deductivas. Lo real es que lo
son, pero su legitimidad reposa en las reglas 20 y 21.
1. A - B
A Modus Ponens (MP)
B
2. A - B
~B Modus Tollens (MT)
.'.-A
3. A -> B
B - C Silogismo Hipottico (SH)
..A ->C
4. A v B
-A Silogismo Disyuntivo (SD)
B
156
5. A B
C -> D Dilema
A vC Constructivo (DC)
B vD
6. A-> B
C -> 1) Dilema
-B v ~D Destructivo (DD)
-A v~ C
7. P a Q y tambin P a Q Simplificacin
.P Q (Simp.)
8. P p
Q y tambin Q Conjuncin
PaQ .Q a P (Conj.)
9. P V tambin P Adicin (Ad.)
..P v Q Qv P
10. ~ ( P a Q) sss ~P v ~ Q Regla de
-(P v Q ) sss ~P a ~ Q De Morgan
(DM)
11. ( P a Q) sss ( Q a P) Conmutatividad
(P v Q ) sss (Q v P ) (Conm.)
12. P A (Q A R) sss (PaQ)aR Asociatividad (As.)
P V (Q V R) sss (P v Q )v R
13. P a (Q v R) sss (PaQ)v(PaR )Distributividad
(Dist.)
P v (Q a R) sss (Pv Q ) a (Pv R)
157
17. A o B sss (A B) a (B A) Definicin
d e 'o '
20. 1.A
Prueba condicional
n. B
n + 1. A - > B
158
ma unas frmulas denominadas premisas, en otras frmulas hasta
obtener una deseada, denominada conclusin.
A la derecha de cada lnea, por razones pedaggicas, hemos
escrito unas abreviaturas que corresponden al nombre de la regla
que nos ha permitido obtener la respectiva frmula. Tambin apa
recen, unos nmeros que corresponden a las lneas anteriores a
las que hemos aplicado las reglas, para obtener la transformacin
deseada. A estas inscripciones o anotaciones se les conoce como
justificaciones de las lneas de deduccin.
Una presuposicin vlida y comprensible es que la forma
lizacin de algn argumento que no hace falta especificar, ha dado
lugar a la construccin de las premisas y de la conclusin pro
puesta. El sentido de la prueba es establecer que desde las premisas
se deduce la conclusin, ms no que las premisas sean, en efecto,
verdaderas, cuestin que como sabemos, no concierne a las re
glas de deduccin lgica.
A continuacin proporcionaremos un ejemplo explicativo del
mecanismo de construccin de una deduccin, conocida tambin
como prueba formal. Nos valdremos nuevamente de un ejemplo
tomado del libro de Irving Copi titulado Symbolic Logic.
1. (1) ( A a B ) -> [ A - ( D a E ) ]
(2)( A a B ) a C / .*. D v E
3. A a B Simp. (2)
4. A - > ( D a E) MP (1), 3
5. A Simp. 3
6. D a E MP 4, 5
7. D Simp. 6
8. D v E Ad. 7
159
cin sino slo una ayuda para que el aprendiz tenga presente a
dnde quiere llegar con los pasos demostrativos.
Las lneas (1) y (2) no requieren justificacin porque la verdad
de las premisas se presupone o postula. La lnea 3. ha sido deduci
da de la linea (2) por la RDN N. 7, de simplificacin, debido a que
( A a B ) a C tiene la forma del esquema de frmula P y\Q. La lnea
4. ha sido obtenida por aplicacin de la RDN N.l (MP) a las lneas
(1) y 3, debido a que ( A a B ) > [ A > ( D a E ) ] tiene la forma de
A -> B , de tal manera que ( A a B ) es A. La lnea 5. se ha obtenido
por una nueva aplicacin de la regla de simplificacin a la lnea 3.
La lnea 6. se ha obtenido por una nueva aplicacin de la regla 1.,
MP, a las lneas 4. y 5. La lnea 7. se ha obtenido por aplicacin, una
vez ms, de la regla de simplificacin a la lnea 6. Finalmente, la
lnea 8. se ha obtenido por aplicacin de la RDN N. 9, de Adicin,
a la lnea 7. De este modo se ha deducido la conclusin propuesta
desde las premisas numeradas con (1) y (2).
Es claro que en cada deduccin, cada lnea tiene slo dos
posibilidades: O es una premisa o es consecuencia de una o ms
premisas obtenida por algunas de las RDN. Asimismo, es com
pletamente lcito aplicar la misma regla tantas veces como se juz
gue necesario. El ejercicio que hemos realizado se denomina de
justificacin de las lneas de deduccin.
160
pero que carezcamos del ingenio suficiente como para construir
la deduccin adecuada. Pero podra ser que la decisin debiera
ser negativa y que carezcamos de ingenio para probar que la con
clusin no se deduce de las premisas. Slo tenemos garantas ple
nas en un caso: cuando somos capaces de construir la deduccin.
Si es as, sabemos que la conclusin se deduce de las premisas
como en el ejemplo que sigue.
161
nal y la RDN 21, que es la regla de deduccin o demostracin por
reduccin al absurdo. Por tanto, las reglas omitibles cumplen la
funcin de abreviaciones deductivas, las mismas que tienen un
obvio inters desde el punto de vista pedaggico.
Para comprender de qu manera esta regla da expresin al
concepto de consecuencia lgica, podemos referir el hecho de que
hay deducciones, lgicamente vlidas, que slo son posibles si se
usa la regla de la prueba condicional (PC). Por ejemplo, la frmu
la A > ( A a B ) se deduce desde la frmula ( A -> B ). Sin embar
go, la demostracin correspondiente slo se puede realizar, den
tro del sistema de Gentzen, usando PC. La razn de ello, es que es
la nica regla que nos permite incrementar nuevas premisas para
ayudar a las que ya disponemos, las mismas que pueden ser
insuficientes. Sin embargo, esas premisas adicionales son una es
pecie de muletas que una vez que nos permiten lograr el objeti
vo deseado, podemos desecharlas, eventualidad que en el papel
no se puede representar de manera muy intuitiva porque la refe
rida muleta est escrita de la misma manera que las premisas
propiamente dichas. A causa de ello se introduce una simbologa
especial prescrita por las reglas que a continuacin especificamos.
162
rc5. Despus de aplicada la regla anterior, trcese una flecha en L de
tal manera que nazca al costado izquierdo del nmero de la lnea
de la premisa adicional y termine como si subrayara la frmula de
Ln. El sentido de esta flecha es precisar que la frmula de Ln + 1 ,
que es la conclusin buscada, no depende de la premisa adicional
sino solamente de las inicialmente dadas. Es el paso que marca el
abandono de las muletas y es de uso muy importante cuando se
aborda deducciones no muy elementales, las que escapan al alcan
ce de este manual. Sin embargo, sera un error omitir esta regla.
(1) S a ( ~ P v M)
(2) M - > ( Q v R ) / :. P -> (~ Q -> R)
3. P Pr. ad.
4. ~ P v M Simp. en (1)
5. P DN en 3
6. M SD en 4, 5
7. Q v R MP en 2, 6
8. Q v R DN en 7
9. ~ Q ^ R ^ RDN 16 en 8
10. P - > ( ~ Q - > R ) PC en 3, 9
( 1 ) A - > ( B a C)
(2) ( B v D ) -> E
(3) D v A /.-. E
4. ~E Pr. Ad.
5. ~( B v D ) MT en (2), 4
6. ~B a ~ D DM en 5
7. ~D Simp. en 6
8. A SD en (3), 7
9. B a C MP en (1), 8
10. B Simp. en 9
11. ~B Simp. en 6
12. B a ~B Conj. en 10, 11
13,. ~ E ( B a ~ B ) PC en 4, - 12
14. E RAAen 13
1'5. E DN en 14
Los textos frecuentemente dan por concluida la deduccin
en la lnea 12, cuando se deduce la contradiccin. Eso es una abre
viacin. La idea completa es como se muestra en la deduccin
nterior.
164
X
SIMPLIFICACIN DEL LENGUAJE
PROPOSICION AL PM
Objetivos:
Instrucciones
[167]
10. Por qu puede afirmarse que el sistema de Nicod expresa el
ideal de la Navaja de Occam?
11. Podra el lenguaje construido por Nicod reemplazar al de PM?
12. Es verdad que una frmula del lenguaje PM admite una nica
traduccin en el lenguaje de Nicod?
1. ~ ( ~ ( A a B ) a ~ ( D a E ) )
2. ( ~ A a ~ B ) v ( ~ B a C )
3. ~ ( A v B ) v ~ ( C v D )
4. ~ ( ~ ( ~ ( C a D ) a ~ E ) a ~ ( ~ A a B ) )
5. ( A a B ) v ( C a D )
6. ~ ( ( ~ A v ~ B ) a ( ~ C v ~ D ) )
7. ~ ( ( A - > B ) a ( B - > A ) )
8. ~ (( A v B) a ( A B ))
9 . ~ ( ~ ( A B ) a ( C v D))
10. (( A B ) a A ) B
11. ( A v B ) -> ( B v A)
12. A -> ( B v A )
168
LECCIN 10
Simplificacin del lenguaje proposicional PM
p q f f f f f5 f f f f f1 f 2 f3 f4 f5 f6
V V V V V V V V V V F F F F F F F F
V F V V V V F F F F V V V V F F F F
F V V V F F V V F F V V F F V V F F
F F V F V F V F V F V F V F V F V F
[169]
mente tiles, lo que de hecho ocurre con f9 y f l5 que se conocen
como operadores de Sheffer. El primero se denomina operador
de incompatibilidad y el segundo de negacin conjunta. Aunque
ambos se traducen de manera poco comn al lenguaje ordinario,
son especialmente productivos en los usos tericos y tecnolgicos
de la lgica proposicional. En esta seccin dedicaremos especial
atencin al operador de incompatibilidad, el mismo que sirvi a
Nicod para crear un sistema lgico particularmente interesante
por sus aplicaciones a la tecnologa.
Para representar la funcin f9 como conectiva usaremos el
signo"/', conocido tambin como barra de Nicod. Su tabla de ver
dad es:
p q p/q
v v V
V V V
F V V
F F F
170
cipia Mathematica (PM), al lenguaje de Nicod se facilita mucho
cuando se utiliza como intermediario al lenguaje de Post, el mis
mo que se limita a usar exclusivamente los operadores de ' a ' y de
ms los usuales signos de agrupacin.
Las traducciones ordinarias del lenguaje de PM al lenguaje
de Post son las que a continuacin escribimos:
D I. (pvq) = Df~(~pA~q)
D2. (p q ) = Df ~ ( p a ~ q )
D3. ( p< - q) = D f ~ ( p A ~ q ) A ~ ( ~ p A q )
D4. (p*q) = Df~(pAq)A~(~pA~q)
171
caso concreto el valor especfico de n depender del nmero de
variables distintas que necesitamos.
Asimismo, tomando como referencia la tabla de verdad de
una frmula de PM cualquiera, estableceremos que con la expre
sin Ai podemos referirnos a cualquiera de los 2n arreglos de
valores verdadero-falso que existen en el margen de la Tabla y
con la expresin Fi a cualquiera de los valores falsos que apare
cen en la matriz final de dicha tabla. Consecuentemente, diremos
que un valor falso Fi corresponde al arreglo Ai. En el caso de una
tabla de verdad para una frmula que tiene slo las variables
proposicionales P l, P2, P3, es claro que el valor de n es igual a 3 y
el nmero de arreglos verdadero-falso es 8. Si la matriz de dicha
frmula fuera falsa en el primer y en el ltimo arreglo, entonces
Fi se transformara en F l en el primer caso y en F8 en el segundo
caso. A F l le correspondera el arreglo V W y a F8 le correspon
dera el arreglo FFF.
Asumiendo las convenciones anteriores, las reglas del algo
ritmo de Post, para traducir una frmula W, dada en el lenguaje
de PM, a otra WO en el lenguaje de Post, debe procederse de la
siguiente manera:
RP1. Se identifica las n letras variables proposicionales que
aparecen en W y se procede a construir su tabla de verdad para
sus 2n arreglos de valores verdadero-falso. Existen slo dos posi
bilidades relevantes para W segn las caractersticas de su matriz
final. O la frmula es una tautologa porque posee slo valores
verdaderos para sus 2n arreglos, o no es una tautologa y tiene un
nmero n de valores falsos tal que n es siempre mayor que cero.
^RP2. Si W no es una tautologa, se procede a construir un
nmero n de espacios entre parntesis; se antepone a cada uno de
dichos espacios el signo de negacin y entre cada par de espacios
entre parntesis se escribe el signo de conjuncin. De esta mane
ra, cada uno de los espacios entre parntesis corresponde a cada
uno de los valores Fi y a cada uno de los arreglos Ai en los que W
resulta falsa en la tabla de verdad. Por ejemplo, si una frmula
tiene en su matriz principal 3 valores falsos ( n = 3) se escribirn
tres espacios entre parntesis as
172
RP3. Escribir dentro de cada espacio entre parntesis corres
pondiente a cada Fl las variables proposicionales P l, P2,..., Pn de
tal manera que si en el respectivo arreglo Ai una letra Pi (1 < Pi< n ),
tiene asignado el valor verdadero, entonces se la escribe afirmada
y si tiene asignado el valor falso, se la escribe negada. Entre cada
par de letras cualquiera, escrbase el signo de conjuncin.
RP4. Si W es tautologa, entonces escrbase slo un espacio
entre parntesis, antepngasele el signo de negacin, escrbase
dentro de l las P l, P2,...,Pn letras variables proposicionales y
adase a ellas ~Pn. Entre cualquier par de letras escrbase el
operador de conjuncin.
Las reglas anteriores dan lugar a que toda frmula de la
lgica proposicional en el lenguaje de Post tenga la forma de ~
( . . . a . . . a . . . a ...) o de conjunciones cuyos componentes re
producen el esquema anterior. Cuando una frmula rene es
tos requisitos se afirma que constituye una Forma Normal de
Post y por ello a las cuatro reglas anteriores se les llama algo
ritmo de normalizacin de Post. Como ejercicio elemental de
aplicacin, el lector puede aplicar el algoritmo de Post a las
frmulas de las definiciones D I, D2, D3 y D4. Haciendo la ta
bla de verdad de cada D efiniendum , obtendr el D efiniens,
mecnicamente, por el algoritmo de Post.
173
Es importante advertir que cuando hablamos de una fr
mula de la forma... es necesario tomar esta expresin con mucho
cuidado. Por ejemplo, una frmula de la forma ~ A puede ser ~q
o tambin una que anteponga la negacin a un parntesis, tal como
~ ( V A *7 ) Lo que define la forma en este caso es que la frmula
en cuestin tenga como operador de ms alta jerarqua al de ne
gacin. Anlogamente, una frmula de la forma A a B es cual
quier frmula que tiene el operador de conjuncin como el de
ms alta jerarqua. Esto significa que las formas especficas del
componente p y del componente q quedan sin determinacin al
guna. Puede ocurrir que a su vez tanto p como q sean de la forma
del esquema ~ ( .... ), aunque esto ltimo no tiene que ser necesa
riamente as.
En el caso de frmulas en el lenguaje de Post, que tienen ms
de dos variables proposicionales, es suficiente dar una regla adi
cional que se aplica igualmente a las expresiones que estn den
tro de los parntesis como a la jerarquizacin de las conjunciones
externas a los parntesis.
r4. Si se tiene una conjuncin de la forma P1 a P2 a ... Pn debern
usarse parntesis, tantos como sean necesarios para que la frmu
la adquiera la forma A a B. Realizado este proceso se aplica r3.
Consecuentemente, mediante la aplicacin mecnica y mo
ntona de las reglas RP1, RP2, RP3, RP4 y r l, r2, r3, r4 podemos
transformar toda frmula de la lgica proposicional del lenguaje
PM, lenguaje standard, en una frmula en el lenguaje de Nicod.
A continuacin desarrollaremos un ejemplo completo.
Sea W una frmula dada en el lenguaje de PM, tal que W es:
174
pqr ((p->q)A(q->r))->(r->p)
l.V VV V V V V V
2.V VF V F F V V
3.V FV F F V V V
4.V F F F F V V V
5.F VV V V V F F
6.F VF V F F V V
7.F FV V V V F F
8.F F F V V V V V
(1) (3) (2) (5) (4)
W: ~ ( ~ p a q A r) a ~ ( ~ p A ~ q A r)
~ ( ( ~ p a q) a r)
aplicando r l tendremos:
(~PAq)/r
175
lo que aplicando r2 resulta en (( p / p ) a q ) / r, donde el compo
nente '({p / p ) A q ) ' es de la forma A a B. Debido a ello aplican
do r3 obtenemos:
'(((p/p)/q)/((p/p)/q))/r',
' ( ( ( p / p ) / ( q / q ) ) / ( ( p / p ) / ( q / q ) ))/*',
W "(D/E)/(D/E)
(((p/p)/q)/((p/p)/q))/r./.(((p/p)/(q/q))/((p/p)/
(q / q ) ) )/*:/: ( ( ( p /p ) /q ) /( ( p /p ) /q ) ) /r ./.( ( ( p /p )
/ ( q / q ))/
(fp/p)/(q/q)))/r
176
flancos el mayor nmero de puntos. En nuestro ejemplo, la barra
punteada :/: es el operador de mayor jerarqua y divide la expre
sin en dos compo-nentes iguales. A su vez cada componente est
subdividido de manera semejante en dos segmentos por la barra
punteada /. que obviamente tiene mayor jerarqua que una barra
sin puntos. Como se comprender, el esquema ( D / E ) / ( D / E )
tiene en esta exposicin una funcin pedaggica y no lgica. Su
escritura es omitible si se tiene prctica en el manejo de frmulas
de longitud mayor que la de una lnea.
'((p/(q/q))/((p/p)/q))/((p/(q/q))/((p/p)/q))'
177
es ms simple que otro cuando usa un nmero menor de opera
dores. En este sentido el lenguaje de Post es ms simple que el de
PM, pues las presentaciones ordinarias de PM contienen 6 opera
dores, mientras que el de Post, como hemos visto, slo 2. El len
guaje de Nicod va an ms lejos porque utiliza un solo operador
para expresar cualquier frmula de la lgica proposicional. Este
operador fue tambin conocido por Sheffer pero fue Nicod el que
construy una axiomatizacin completa de la lgica proposicional
que podemos considerar la ms simple posible porque utiliza un
solo operador. Sin embargo no es la ms breve u operativa para
los seres humanos porque las frmulas resultan bastante largas.
Existe otro lenguaje igualmente simple que el de Nicod construi
do mediante la daga de Sheffer, la misma que se escribe as: '4/.
Empero, las frmulas obtenidas por este medio no han sido igual
mente interesantes para las aplicaciones de la lgica, especialmente
al diseo de circuito para computadoras.
178
( P/ ( Q/ R)) / ( ( T/ ( T/T )) / ( ( S / Q) / ( ( P/S ) / ( P/S ) ) ) )
La regla de deduccin es:
Desde P y P / ( R / Q ) se deduce Q
179
10.7. Traduccin del sistema Hilbert-Ackerman
e l. ~ ( P v P ) v P
e2. P v ~ ( P v Q )
e3.-(PvQ)v(QvP)
e4. ~ ( ~ P v Q ) v ( ~ ( R v P ) v ( R v Q ) )
( e l* ) ( ( ( ( P / P ) ) / ( ( P / P ) / ( P / P ) ) ) / ( ( ( P / P ) / ( P / P ) ) / ( (
p/p ) / ( p/p ))))/( p/p )
180
requieran diecisis largos teoremas previos, pues procesados a la
velocidad, de un computador los mes de pasos previos se cum
plen en lapsos brevsimos.
NAND
D NAND
FLIP-FLOP
Las frmulas que gobiernan este flip-flop son:
181
informacin sobre el estado anterior. A simple vista se advierte
que este flip-flop permite el almacenamiento de la salida A /B en
la segunda compuerta y el retorno de la informacin que trans
porta la salida C /D a la primera compuerta, lo cual puede permi
tir recuperar informacin o corregir. En este simple ejemplo esta
mos operando con nmeros binarios que no exceden los tres
dgitos, pero en la medida que podemos prolongar el flip-flop a
voluntad, aadiendo nuevas compuertas NAND, entonces pode
mos operar con cifras de magnitud considerable.
De este modo hemos podido tener una visin suficiente de la
importancia terica y tecnolgica del lenguaje de Nicod. Si no se
le visualiza desde esta perspectiva, parecera el fruto de una pa
sin intil por la simplicidad. Ello, afortunadamente, no es as,
pues SN posee potencia deductiva y productividad tecnolgica,
a pesar de que la idea tiene algo ms de setenta aos. Ciertamente
es muy anterior a la construccin del primer computador electr
nico con circuitos lgicos, tarea que cumpli Shannon. Sin embar
go, Shannon utiliz los clsicos circuitos en lnea-paralelo que
constituyen una etapa previa al uso de las computadoras. Cuan
do esto ocurri, el montono y redundante lenguaje de Nicod re
sult el ms adecuado a las caractersticas rutinarias del compu
tador, para el cual la longitud de los algoritmos carece de rele
vancia. El problema de fondo se presenta cuando estamos ante
un problema lgico, matemtico o real, el cual no es reducible a
una rutina conocida. En ese caso el computador tiene poco que
hacer. Pero la situacin es ms radical cuando estamos ante con
juntos de frmulas que se demuestra que no es posible someter
las a rutina alguna. Esto es, que no admiten solucin en trminos
dereiteradas operaciones montonas. En este caso se dice que tal
conjunto de frmulas no admiten solucin algortmica y, conse
cuentemente, el computador all no tiene lugar alguno. Un ejem
plo de conjunto de frmulas de este tipo lo proporciona la aritm
tica de Peano formalizada axiomticamente en el lenguaje de PM
y otro una teora lgica de primer orden con predicados n-arios.
182
XI
BASES LGICAS
DE LA INTELIGENCIA ARTIFICIAL
Objetivos:
Instrucciones
[185]
15. Se ha elaborado la teora de autmata examinando computa
dores reales o fsicos?
16. Cuntos dgitos binarios se necesitan para escribir 64 y 127?
186
LECCIN 11
Bases lgicas de la inteligencia artificial
[187]
En otros casos no se trata de simular conductas sino, por
ejemplo, el funcionamiento del cerebro. Estas investigaciones
comenzaron con los esfuerzos de McCullochy Pitts que justamente
utlizaron el lenguaje proposicional de PM para construir un mo
delo que simule el funcionamiento de las neuronas. Con objetivos
semejantes F. Rosenblatt cre una mquina llamada Perceptron
que se propona la simulacin de la funcin retiniana en el acto
de la visin. Esta lnea de investigacin no se propone solamente
crear programas sino robots con una estructura fsica que les per
mita ejecutar tareas especficas.
188
dar los conocimientos ms elementales que permitan entender la
manera como el lenguaje PM, aqu desarrollado, puede aplicarse
al diseo lgico de circuitos, el mismo que es un tema de hardware.
189
halting resuelto. Asimismo, todo computador material o real slo
puede hacer los cmputos previstos en alguna Tm.
Los resultados reseados antes fueron establecidos, por el l
gico y matemtico ingls Alan Turing, en un famoso articulo publi
cado en 1936, con el ttulo On computable numbers, with an applicatio7i
to the Entscheidungsprblem ( Sobre nmeros computables, una apli
cacin al problema de la decisin), el mismo que fue presentado a
la Sociedad Matemtica de Londres al menos cinco aos antes de
que exista computador electrnico alguno. Este trabajo tiene la enor
me virtud de sealar los alcances y lmites de una Tm y, por tanto,
de cualquier computador real o posible. En el se establece clara
mente que una Tm es un artificio que slo puede hacer cmputos
que requieran un nmero finito de pasos o estados de la mquina.
S i , por ejemplo, se le ordena a una Tm, por poderosa y moderna
que sea fsicamente, que imprima todos los nmeros reales que
existen entre 1 y 0, no podr ejecutar esta orden porque en ese in
tervalo hay un conjunto infinito de nmeros reales que, adems,
no pueden ser contados o enumerados. Y no slo no existe sino que
, lgicamente, no puede existir una Tm capaz de hacer de manera
efectiva un nmero infinito no enumerable de cmputos. De esta
suerte queda claro que la teora lgica permite demostrar no slo lo
que un computador fsico, en el mejor de los casos, puede hacer,
sino tambin lo que sera absurdo esperar de l.
190
est en la posicin de abierta. Nosotros podemos denominar a la
llave o conmutador con la variable proposicional p. Cuando el
conmutador p est en la posicin de cerrado, diremos que p toma
el valor de V; y cuando el conmutador p est en la posicin de
abierto, diremos que toma el valor de F. Asimismo, con la II llave
p podemos construir un circuito, como el de la figura 1 que tiene
un pedazo de cable de entrada y otro de salida. Se aprecia clara
mente que slo hay una corriente de salida si la llave p est cerra
da, pues en otro caso la corriente elctrica no pasa.
De la misma manera, cuando hay impulso elctrico de salida
y se enciende un foco, diremos que la salida es igual a V; cuando
por ausencia de impulso elctrico el foco no se enciende diremos
que la salida es igual a F.
Foco encendido = V
Foco apagado = F
____ E
Entrada Salida
Figura 1
191
Ahora procedemos a construir un circuito en paralelo como
se muestra en la figura 4. Este circuito tiene a los conmutadores p
y q ubicados uno frente al otro. Como la observacin claramente
lo revela, es suficiente que uno de los conmutadores est en la
posicin de cerrado para que haya impulso elctrico de salida y
se encienda el foquito. Asimismo, para que no haya corriente de
salida es absolutamente necesario que los dos conmutadores es
tn en la posicin de abierto, pues solamente en este caso la co
rriente no pasa al sector del circuito denominado de salida. Con
secuentemente, el circuito en paralelo se comporta como una
disyuncin inclusiva debido a que la salida es igual a V cuando
p es V o cuando q e s V, y la salida es F solamente cuando ambos
conmutadores toman el valor F, lo cual coincide exactamente con
la definicin dada para construir la tabla de verdad de la disyun
cin inclusiva.
192
______ 5 ^ _________
Figura 5. Conmutador inversor que representa p
--------- ir
b o------ ------------cr o-----------
o------------------o
Entrada Salida
Figura 6
193
Figura 7
P
':V
&I
*3?
Entrada Salida
a. ( p A ( f q A r ) v s ) ) v ( ~ p a ( ( ~ q ~ r ) v s ))
a
b. (~pAq)v((pv(~pAq))Ar)v(pA(qvrvs))
194
Salida
195
A
196
la linea que representa al alambre de salida. A esta compuerta se
tiende a llamarla de suma porque la disyuncin es la suma lgi
ca y, abreviadamente, se la denomina compuerta O. La represen
tacin de las entradas y de la salida es la misma que en el caso de
la compuerta Y.
NO
197
R13. Una compuerta inversora o compuerta No (se le llama
abreviadamente inversor) emite un impulso de salida alto si la
entrada admite un impulso bajo y emite un impulso de salida
bajo si la entrada admite un impulso alto. Al impulso de salida se
le llama A que significa lo mismo que ~A. El cambio de notacin
se debe a que en el diseo de circuitos se usa un simbolismo
algebraico en lugar del de la lgica proposicional. Sin embargo,
como hemos visto, las equivalencias son muy sencillas.
Generalmente, se prefiere no usar los valores verdadero-fal-
so; En este texto por razones de comodidad a los impulsos altos
se los representa por el cero y a los impulsos bajos por el uno.
Asimismo, si cambiamos en el margen el orden en que escribimos
los arreglos y comenzamos con el arreglo 0,0 las tablas de verdad
de la conjuncin, disyuncin y negacin se transforman de la si
guiente manera:
A B A .B A B A +B A A
0 0 0 0 0 0 0 1
0 1 0 0 1 1 1 0
1 0 0 1 0 1
1 1 1 1 1 1
198
frmula la disyuncin o suma es de mayor jerarqua que la con
juncin o producto; por consiguiente en el diagrama de circuito,
la compuerta o debe ser de mayor jerarqua que la compuerta Y,
lo que significa que la salida de la compuerta Y debe ser entrada
de la compuerta o.
ABR A.B) + R
1. arreglo 0 0 0 0 0
2. arreglo 0 0 1 0 L
3. arreglo 0 1 0 0 0
4. arreglo 0 1 1 0 1 MATRIZ PRINCIPAL
5. arreglo 1 0 0 0 0
6. arreglo 1 0 1 0 1
7. arreglo 1 1 0 1 1
8. arreglo 1 1 1 1
199
otros arreglos puede dejarse como ejercicio. Tngase presente
siempre que la frmula en trminos aritmticos establece la suma
de un producto ms un dgito.
El caso discrepante, el octavo arreglo, se corrige con un circui
to adicional que nos permite representar el nmero dos en dgitos
binarios, artificio sencillo pero que por ahora debe esperar.
A A+B
B
El ejemplo ii afirma que los dos siguientes circuitos tambin
son equivalentes.
Asimismo, valindonos de lo aprendido hasta ahora pode
mos construir el circuito de la frmula ( A .B ) + (C + D ) d e l a
siguiente manera.
201
para cualquier frmula de PM aunque contenga operadores dis
tintos a la negacin, disyuncin y conjuncin. Un recurso es ob
tener para la frmula dada su Forma normal de Post siguiendo
el algoritmo que desarrollamos en la leccin anterior. El otro es
aplicar las equivalencias que sean adecuadas, tomando como re
ferencia las que dimos como Reglas de deduccin natural.
Por ejemplo, dada la frmula ~ ( A <-> B ) su circuito usando
compuertas NAND es el siguiente:
202
ca. La idea central se funda en el hecho de que si en lugar de F
escribimos 0 y en lugar de V escribimos 1, entonces si comenza
mos primero con los valores falsos y pensamos en una tabla para
una frmula con tres letras variables p, q, rf el primer arreglo se
escribir 000, lo que corresponder al primer nmero entero 0,
pues los ceros a la izquierda no aaden valor a la cifra. El segun
do arreglo se escribir 001, que corresponde al nmero entero po
sitivo 1, pues, reiteramos, los ceros a la izquierda no aaden va
lor a la cifra. El tercer arreglo se escribir 010, que corresponde
al nmero dos del sistema decimal. Y como este tercer caso no es
de comprensin obvia como los anteriores, describiremos breve
mente el principio que regula la construccin de sistemas num
ricos con cifras de valor posicional.
En principio todo sistema de numeracin usa un determina
do nmero de signos. El decimal, que es cotidiano, usa diez: 0,1,
2 ,3 ,4 , 5, 6, 7, 8, 9. Y el binario, que es el que resulta de las tablas
de verdad, usa slo dos signos 0, 1. La base de un sistema de
numeracin est dada por el nmero de signos que usa. En este
caso la base de nuestro sistema es 2. Una caracterstica inherente
a los sistemas de numeracin posicional es que el valor de la base
no se puede escribir, dentro del sistema, usando un slo signo.
Una muestra de ello es que diez es el primer nmero que se escri
be con dos signos dentro del sistema decimal. Anlogamente, dos
no se puede escribir con un slo signo dentro del lenguaje binario.
En efecto se necesita dos signos para escribir dicho valor: 10. En el
prrafo anterior aparece con un 0 adelante, pero prescindimos de
l porque est a la izquierda.
En lo que sigue hablaremos genricamente de cifra binaria y
diremos que cualquier cifra binaria es una n-ada de dgitos 0,1
cuyo valor es igual a la suma del valor posicional de sus compo
nentes. El valor posicional de cada componente se determina
multiplicndolo por la potencia correspondiente de una n-ada de
potencias en base 2 crecientes hacia la izquierda. Esta n-ada de
potencias tiene la forma: 2n, 2 n -l,..., 2o. Por razones pedaggicas
hemos confeccionado una tabla de doble entrada cuyas columnas
precisan el valor posicional de cada digito binario.
203
23 23 23 23 V alor d ecim al
1 0 1 1 11
1 1 0 0 12
0 0 1 0 02
204
XII
LGICA CLSICA
Objetivos.-
Instrucciones
[207]
13. Por qu una descripcin individual no corresponde a ningu
no de los esquemas del cuadro de Boecio?
14. Cmo se define una constante individual y cmo se represen
ta en caso de que necesitemos millones de ellas?
15. Porqu la expresin' proposicin particular' es desorientadora?
208
LECCIN 12
Lgica clsica
[209]
el mismo que no queda excluido de la lgica sino convertido, des
pus de haberlo sido todo por ms de 2000 aos, en una pequea
subestructura del nuevo edificio de la lgica-matemtica. Sin
embargo, esta diferencia tan notoria entre lo nuevo y lo antiguo
no exclua el hecho de que tanto el silogismo como el sistema PM
compartan los mismos principios lgicos y, por tanto, las mis
mas estrategias deductivas. Por ejemplo, tanto Aristteles cono
Russell y Whitehead admitan la estrategia de demostracin o
deduccin por reduccin al absurdo, que hemos examinado cuan
do estudiamos las reglas RDN de Gentzen.
Sin embargo, los lgicos y matemticos intuicionistas de la
primera mitad de nuestro siglo, como Brouwer y Heyting, objeta
ron duramente la validez del mtodo de demostracin de reduc
cin al absurdo, porque presupona la plena vigencia del princi
pio lgico clsico del tercio excluido, que ellos consideraban que
deba ser omitido para rigorizar la matemtica a travs de mto
dos constructivos. En ese sentido, los intuicionistas consideraban
que en lo fundamental el sistema de PM era tan clsico como el de
Aristteles y que ellos eran los primeros en crear sistemas no
aristotlicos.
Francisco Mir Quesada, investigador peruano, a partir de
este hecho ha propuesto un criterio para calificar a un sistema
lgico de clsico o no. Un sistema lgico S es clsico si admite
como vlidos los tres principios lgicos de identidad, no-contra
diccin y del tercio excluido. Y un sistema S no es clsico, en ma
yor o menor medida, si desconoce la validez plena de uno, dos o
todos los principios clsicos. En este sentido, que recoge un punto
de vista extendido en la comunidad acadmica internacional, el
sistema de PM es clsico pero no antiguo y los sistemas de Heyting
y Broouwer son no-clsicos. Existen otros sistemas que debilitan
el uso del principio de no-contradiccin, a los que el mismo Mir
Quesada ha denominado paraconsistentes. Entre ellos se cuentan
los de Vassiliev, Jaskowski, da Costa y Routley. Consecuentemen
te, hablar de lgica clsica no es necesariamente hacer referencia
a la lgica aristotlica, pues tanto PM como todos los sistemas
que se deriven de PM, que son los ms usados por la ciencia con
tempornea, son sistemas clsicos en el sentido aqu definido. Por
otra parte, hablar de lgica no-clsica es hacer referencia a un con-
210
junto de sistemas lgicos dismiles entre s. Por ejemplo, los cl
culos Cn de da Costa admiten la demostracin por reduccin al
absurdo que excluyen los sistemas intuicionistas.
En esta seccin desarrollaremos algunos elementos de lgica
clsica, en el sentido de lgica aristotlica o de la antigua Grecia.
Este aporte ha estado vigente por ms de dos mil aos a tal extre
mo que filsofos notables como Kant consideraron que a lo hecho
por Aristteles no era pertinente quitarle o aadirle algo. El siste
ma del silogismo era toda la lgica y pareca cosa acabada en su
perfeccin. Respecto a los sistemas no-clsicos, hay que decir que
conservan vitalidad; pero en este texto slo podemos mencionar
los con motivo de este necesario esclarecimiento terminolgico.
211
deras y que la conclusin tambin lo es. Sin embargo, si forma
lizramos el argumento precedente usando el lenguaje de la lgi
ca proposicional, encontraramos que resultara lgicamente in
vlido porque si representamos las premisas con las variables
p y q, y la conclusin con r, ocurre que el condicional:
(P a q) -> r
(E l) Ningn M es P
Algunos S son M
Luego, algunos S no son P
212
Representando los trminos 'peruano7, 'chileno7 y 'futbolis
ta7 por las letras maysculas, M, P y S, respectivamente, obten
dremos el esquema E l. De otra parte, tambin es posible cons
truir argumentos similares como el que a continuacin sigue, in
troduciendo algunas variantes.
213
referencia a propiedades y no a un individuo en concreto, como la
hacen los nombres propios. As, en nuestros ejemplos, las propie
dades de las que se habla son la de "ser mamfero, la 7ser insecto", la
de 'ser animar, la de 'ser peruano', etc. Consecuentemente, aun
que trminos como los anteriores pueden desempear la funcin
de sujetos en las proposiciones, ellos no son nombres en este con
texto sino predicados lgicos porque denotan propiedades. Por esta
razn, a la parte de la lgica que se ocupa del estudio de tales
trminos se le llama lgica de los predicados.
En lo que sigue, en base a la observacin de los ejemplos que
hemos dado, definiremos el silogismo y proporcionaremos algu
nos detalles adicionales.
214
El mismo Aristteles tambin llam al silogismo inferencia
mediata, porque tiene ms de dos proposiciones. Asimismo, al si
logismo cuyo estudio hemos iniciado se le dice categrico para di
ferenciarlo del hipottico, que es una forma de argumento que per
tenece a la lgica proposicional y que no es de origen aristotlico.
215
Asimismo, hay proposiciones que son generales pero que no
contienen explcitamente una palabra que denote cantidad, como
'Los hombres son mortales', cuya expresin ms precisa es 'Todos los
hombres son mortales'. El esquema A corresponde a las proposicio
nes universales afirmativas. El esquema E corresponde a las pro
posiciones universales negativas y en l la palabra 'ninguno' debe
entenderse en el sentido de 'Ni siquiera uno' o de 'No existe aunque
sea uno'. Por tanto, afirmar 'Ningn felino es cetceo' equivale a decir
'Ni siquiera un felino es cetceo' o 'No existe aunque sea un felino que
sea cetceo'.
El esquema I corresponde a las proposiciones particulares
afirmativas y el esquema O a las particulares negativas. En am
bos esquemas aparece la palabra 'algunos' y su sentido es el de 'al
menos uno'. Esto significa que cuando en general uno o varios ob
jetos, pero no todos, tienen una propiedad se puede decir que
algunos la tienen. Por ejemplo, sabemos que muchos futbolistas
son veloces, pero no todos lo son. Luego podemos decir 'Algunos
futbolistas son veloces'. Asimismo, slo podemos decir 'Algunas es
trellas son conocidas' porque no tenemos la seguridad de conocer
todas, aunque tenemos informacin sobre millones de ellas.
Otra variante para 'algunos', muy usada por los lgicos, es
'hay al menos uno'. Si recurrimos a ella nuestros ejemplos anterio
res son traducidos a 'Hay al menos un futbolista veloz' y 'Hay al
menos una estrella conocida'.
Es importante puntualizar que las llamadas inferencias in
mediata clsicas tambin se construyen con proposiciones que
corresponden a uno de los cuatro esquemas expuestos. Nosotros
noclas abordamos en detalle pero el mtodo que emplearemos
para determinar la validez de los silogismos se usa tambin para
decidir la validez de tales inferencias que constituyen argumen
tos ms sencillos.
216
Las proposiciones de las formas A, O son recprocamente con
tradictorias. Asimismo, lo son las formas E, I. Esto significa que A es
equivalente a la negacin de O y, recprocamente, O es equivalente a
la negacin de A. Tambin que E es equivalente a la negacin de I, e
I es equivalente a la negacin de E. La relacin anterior entre las
proposiciones puede verse con ms claridad a travs de ejemplos.
La proposicin 'Algunos hombres no son altos' es de la forma
O. Su negacin 'No es el caso que algunos hombres no sean altos'
equivale exactamente a 'Todos los hombres son altos' que es de la
forma A. Ahora, la negacin de esta ltima proposicin es 'No es
el caso que todos los hombres sean altos', que equivale a algunos hom
bres no son altos. Consecuentemente, ~ O <- A y ~ A <- O.
La proposicin 'Algunos gatos son blancos7 es de forma I. Su
negacin es 'No es el caso que al menos un gato sea blanco' que equi
vale a 'Ningn gato es blanco' que es una E. Asimismo, la negacin
de esta ltima proposicin es 'No es caso que ningn gato sea blanco'
que equivale a 'Al menos un gato es blanco' que es de la forma I.
Consecuentemente, ~ I <-> E ~ E <-> I.
Nosotros por ahora no podemos dar una prueba formal de la
validez de los bicondicionales o equivalencias, anteriores. Los
ejemplos son un recurso intuitivo pero no de plena validez lgi
ca. Sin embargo, ms adelante brindaremos una mejor aproxima
cin a la validez de dichos bicondicionales mediante grficos.
A las proposiciones del par A, E se les llama recprocamente
contrarias. A las del par I, O se les denomina recprocamente
subcontrarias. Y a los pares A, I y E, O, exactamente en este or
den, se les llama subalternas.
Boecio, segn narra la tradicin, representada la anterior cla
sificando mediante el siguiente grfico conocido como cuadro de
oposicin o, simplemente, Cuadro de Boecio.
Ningn S es P (E)
Las flechas dobles sealan los casos en que las relaciones son recprocas; y las
simples, los casos en que la relacin se cumple en un solo sentido.
217
12.5 Modos y Figuras silogistas
MP PM MP PM
SM SM MS MS
SP SP SP SP
(1 .a) (2 .a) (3.*) (4.*)
Figuras silogsticas
Teniendo en cuenta que cada modo puede ser presentado en
cada una de las cuatro figuras, ocurre que el nmero total de
silogismos posibles es igual a 64 x 4, esto es, hay 256 silogismos
posibles. De ellos solamente 15 son vlidos de acuerdo con las
exigencias establecidas por los diagramas de Venn y otros mto
dos modernos. Las reglas de Aristteles permiten establecer 19
218
silogismos vlidos, pero con instrumentos ms potentes, como
los aqu usados, cuatro de ellos son defectuosos y necesitan ser
subsanados.
A continuacin indicaremos los 15 silogismos lgicamente
vlidos.
12.6 T ip o s de generalid ad
219
problema, porque se puede afirmar que hay al menos un hombre
que es mortal sin que ste tenga que ser necesariamente Scrates.
Podra ser Alejandro Magno o Pericles, por citar dos ejemplos entre
millones.
Es claro que si no se conoca a que esquemas pertenecan la
segunda premisa y la conclusin, entonces el modo de esta infe
rencia quedaba indeterminado. La discusin ha tomado siglos y
condujo a detectar que la expresin 'proposicin particular' es
imprecisa y desorientadora. En principio pareca significar lo
opuesto a proposicin general. Sin embargo, si se admite que el
significado de 'algunos' se expresa con claridad a travs de 'exis
te al menos un objeto x' o 'hay al menos un x', entonces lo ms
adecuado era denominar a las proposiciones que comienzan con
'algunos' proposiciones existenciales, pues su sentido es afirmar
la existencia de al menos un objeto, lo que equivale a sentenciar
que el conjunto de objetos al que hacen referencia no es vaco. De
esta suerte, actualmente se prefiere calificar a las proposiciones I,
O de existenciales.
Sin embargo, el hecho de que una proposicin sea existencial
no es incompatible con que sea, tambin, general. As la afirma
cin 'Algunos gatos son negros' adecuadamente formulada se tra
duce por Existe al menos un objeto x que es gato y que es negro, la que
es de carcter general porque no se refiere especficamente a gato
alguno sino que habla de cualquier gato de un conjunto que pue
de ser infinito. Consecuentemente, las proposiciones que comien
zan con 'algunos' se denominan propiamente proposiciones ge
nerales existenciales para diferenciarlas de A,E que son genera
les universales. Lo que ambos tipos de proposiciones tienen en
comn es que se refieren a un conjunto de objetos y no a un objeto
220
12.7 Los nombres propios
221
modo alguno que tenga dos sujetos sino que el mismo nombre
tiene dos apariciones (ocurrencias) en la proposicin conjuntiva.
Al mismo tiempo, podemos tener la situacin inversa. La propo
sicin 7a ama a b' tiene don nombres pero es atmica porque no
contiene conectiva alguna. A las proposiciones anteriores las
denominaremos descripciones individuales.
Lo anterior significa que 'Scrates es hombre' es tina descrip
cin individual y como tal no tiene lugar en los esquemas del cua
dro de Boecio que son para proposiciones generales. Este resulta
do conduce a establecer que la deduccin de la seccin anterior
no es propiamente un silogismo sino otro tipo de inferencia que
examinaremos cuando estudiemos el uso de un lenguaje predica
tivo con cuantificadores. En esa leccin abordaremos el tratamien
to que se da a las descripciones individuales en la deduccin me
diante las reglas de ejemplificacin universal y ejemplificacin
existencial.
222
XIII
DIAGRAM AS DE VENN
Objetivos:
Conocer el lenguaje del lgebra de Boole.
Decidir la validez lgica de expresiones del lgebra de Boole
mediante los diagramas de Venn.
Aplicar los diagramas de Venn para determinar la validez de
inferencias de la lgica clsica aristotlica.
CUESTIONARIO 13
Los diagramas de Venn
Instrucciones
I. A continuacin se presenta un conjunto de afirmaciones en
forma esquemtica. El ejercicio consiste en traducirlas al len
guaje de Boole y construir en cada caso el correspondiente
diagrama de Venn.
1. Todo S es P
2. Ningn S es P
3. Algunos S son P
4. Algunos S no son P
[225]
5. Todo S es no P
6. Todo no S es P
7. Todo no S es no P
8. Ningn S es no P
9. Ningn no S es no P
1Q. Algn S no es no P
11.Algn no S es P
226
12. Algn no S no es no P
13. Algn n o S es no P
14. Algn n o S no es P
227
2. Nadie puede recordar la batalla de las
Carinas a menos que sea muy viejo.
a) Todo el que es muy viejo puede
recordar la batalla de las Cannas.
b) Todo el que puede recordar la batalla
de las Cannas es muy viejo.
c) Ningn joven estuvo en la batalla de
las Cannas.
A = personas muy viejas
B = personas que recuerdan
la batalla de las Cannas.
228
5. Slo los becarios comern en la mesa
grande.
a) Todos los que comern en la mesa
grande son becarios.
b)Todos los becarios comern en la
mesa grande.
c) Algunos becarios comern en la
mesa grande.
A = personas qite comern en la mesa
grande;
B = becarios.
229
9. Cada caballo no tiene un jinete.
a) Algunos caballos no tienen jinete.
b) Algunos caballos tienen jinete.
c) Ningn caballo tiene jinete.
A = caballos
B ~ jinetes.
230
III. A continuacin presentamos un conjunto de silogismos cuya
validez debe ser decidida mediante los diagramas de Venn. El
ejercicio debe cumplirse a travs de los siguientes pasos: a) es
cribir en los lugares blanco respectivos las frmulas algebraicas
de las premisas y la de la conclusin; b) construir en el recuadro
el diagrama de Venn de las premisas; c) responder si el silogis
mo es vlido o invlido; d) indicar el modo y la figura del silo
gismo.
Premisas Conclusin
Premisas Conclusin
231
3. Ningn ladrn es honesto y algunos honestos son gente lista.
Luego algunos ladrones son gente lista.
Premisas Conclusin
Premisas Conclusin
Premisas Conclusin
232
6. Los diccionarios son valiosos y todos los libros valiosos son de
mucha ayuda. Por tanto, los diccionarios son de mucha ayuda.
Premisas Conclusin
Premisas Conclusin
Premisas Conclusin
233
9. Algunos epicreos son no generosos y todos mis tos son gene
rosos. Por tanto, mis tos son no epicreos.
Premisas Conclusin
Premisas Conclusin
234
LECCIN 13
Los diagramas de Venn
[235]
Esto se representa grficam ente as:
D iagram a 2
236
OO
les fueron sealadas particularmente por el lgico y filsofo
Bertrand Russell.
s p
Diagram a 3
Sin embargo, representar un conjunto con un crculo sin som
bras y sin ninguna otra seal, como en los diagramas 1 y 3, re
quiere de mayor precisin. Pues, por ejemplo, si el conjunto es
determinado por la propiedad de 'ser el hijo del Quijote', enton
ces hay que rayarlo porque es vaco, pero si es determinado por la
propiedad de 'ser peruano', entonces hay que escribir en su inte
rior una equis, como lo hacemos en el diagrama 4, para significar
con ello que sabemos que el conjunto no es vaco y tiene al menos
un miembro. Consecuentemente, cuando un conjunto es grafcado
slo por un crculo en blanco, diremos que no tenemos informa
cin sobre si es o no vaco tal conjunto.
S ^ <j>
(S diferente de <j>)
O
Diagram a 4
237
los objetos que no pertenecen al primero. As, dado el conjunto A,
su complemento se escribe as: A y se lee no A. Esto se repre
senta grficamente en al diagrama 5. Asimismo, para todo objeto
x del que hablemos, este tendr exactamente dos posibilidades
con respecto a cualquier conjunto A. O el objeto x es miembro de
A o no lo es, pero no serlo equivale a que x es miembro de A.
Diagrama 5
Asimismo, podemos diagramar la operacin de interseccin
de conjuntos mediante dos crculos que se cortan o intersecan. El
conjunto interseccin estar constituido por la zona comn a
ambos crculos. De manera abreviada, dados dos conjuntos A y
B, su interseccin la denotaremos, usando el lenguaje algebraico,
mediante A n B que significa: el conjunto A se interseca con el
conjunto B. Tambin podemos decir que A n B es el conjunto de
interseccin de A y B. Lo anterior se grafica en el diagrama 6.
A
\ B
' 7 S '
( )
Diagrama 6
Si queremos representar grficamente que la interseccin de
A y B es vaca, entonces rayaremos la zona comn a ambos crcu
los. Si, en cambio, deseamos repre-sentar grficamente que la in
terseccin de A y B es diferente del conjunto vaco, en-tonces es
cribimos una x en la zona comn a ambos crculos para expresar
que en ella hay al menos un objeto x. Estas dos situaciones pue
den verse en los diagramas 7 y 8.
238
A n B = (j)
Diagram a 8 A n B*<j>
Todos los S
son P (A)
S n P = <j>
Algunos S no
sonP (0)
S n P ^<j)
Algunos S
nosonP(I)
S n P
239
El diagrama 9 tiene rayada la zona del crculo S que est fuera
de P. Ello significa que no hay ni siquiera un miembro de S fuera
de P, lo que equivale a afirmar que todos los miembros de S estn
dentro de P, que es lo que dice la proposicin 'Todos los S son P\
Consecuentemente, la proposicin A equivale, en los diagramas
de Venn a la afirmacin de que la interseccin entre S y P es vaca.
Por eso hemos rayado la zona comn al conjunto S y al conjunto P.
Esto lo denotamos algebraicamente mediante S n P = <j).
El diagrama 10 expresa que no existe ningn elemento en
comn entre los conjuntos S y P. Por esta razn hemos sombrea
do la zona comn a ambos crculos. Esto equivale claramente a la
proposicin 'Ningn S es Y , que en lenguaje algebraico de Venn
se escribe S n P = <j).
El diagrama 11 afirma que existe al menos un objeto x co
mn al conjunto S y al conjunto P, lo que significa que su intersec
cin es diferente al vaco. Ahora, como decir 'Al menos un S est
fuera de P' es lo mismo que afirmar la proposicin de forma O7.
'A l menos un S no es P7, entonces consideramos que la expresin
algebraica S n P * f es la traduccin de cualquier proposicin
predicativo-categrica que corresponde al esquema O.
El diagrama 12 afirma que hay un objeto x comn a los con
juntos S y P, razn por la que hemos escrito una equis en la zona
comn a ambos crculos. El sentido claramente corresponde al
del esquema I que afirma Algunos S son P' y que se expresa
algebraicamente mediante S n P ^ f
Es importante remarcar que los diagramas slo afirman
aquello que est claramente precisado mediante la presencia
de ifcyas o de una letra equis. Sobre las zonas del diagrama que
no contienen ni una equis ni rayas, no se puede afirmar nada
desde el punto de vista lgico y, como dijimos antes, ellas dela
tan ausencia de informacin.
Los diagramas nos dan una prueba visual muy sencilla de
que, en efecto, la negacin de una proposicin de forma A es una
proposicin de forma O y viceversa. Observando los diagramas
9 y 11 se encuentra que el primero est rayado en la zona en
donde el otro tiene una equis. Mientras que el primer diagrama
afirma que tal zona es igual al vaco, el segundo afirma que dicha
zona es diferente del vaco. Esto se traduce en sus expresiones
240
algebraicas que slo difieren en que donde una exhibe el signo
igual'= ' la otra exhibe el signo V .
Del mismo modo, los diagramas 10 y 12 prueban que la ne
gacin de una propo-sicin de forma E es otra de forma I y vice
versa. En efecto, respecto de la misma zona, el primero afirma
que es igual al conjunto vaco y el segundo afirma que es di
ferente del vaco. Esto tambin se refleja en sus expresiones alge
braicas que son una negacin muy clara de la otra. As, S n P =
es negada por S n P ^ ( | y viceversa.
241
regla tiene limitaciones, como todo mtodo grfico, que no afec
tan a los ejercicios propuestos en este texto).
R19.B El silogismo es lgicamente vlido si y solamente si al
ser graficadas las premisas queda automticamente graficada, de
manera inequvoca, la conclusin. Si no queda graficada la con
clusin, entonces el silogismo es lgicamente invlido.
Veamos ahora la aplicacin de estas reglas a un ejemplo.
Tengamos el siguiente silogismo del modo OAO de la terce
ra figura:
(O) M nP*<>
(A) M n S = ()
(O) SnP*<j>
242
Por la aplicacin de la regla R16 se obtiene el siguiente
diagrama:
243
M n S = (f>
El diagrama anterior ya est completo. Nosotros lo hemos
dibujado en tres pasos por razones pedaggicas, pero el lector se
habr dado cuenta que esto puede hacerse fcilmente en solamente
un paso. Corresponde aplicar ahora la regla R19. Esto se hace
observando atentamente si la conclusin ha quedado graficada
automticamente al graficarse las premisas. En efecto, ha ocurri
do as pues el diagrama nos dice con toda claridad que existe al
menos un objeto x fuera del crculo P y dentro del crculo S, lo
que significa que la interseccin entre S y P es diferente del con
junto vaco, que es lo que afirma la traduccin algebraica de la O.
Consecuentemente, el silogismo anterior es lgicamente vlido y
podemos decir que todo silogismo del modo OAO de la tercera
figura (OAO-3) es lgicamente vlido. Los medievales, para acor
darse del silogismo OAO-3 lo llamaban BOCARDO, que es una
ayuda nemotcnica cuyas vocales corresponden al modo del silo
gismo analizado.
En lo que sigue daremos dos ejemplos adicionales para ga
nar famiaridad con los mtodos de Venn:
244
(III) Todos los hombres hablan
Todos los loros hablan
Luego, todos los loros son hombres.
P n M = (j)
M n S = <|>
S n P * (j>
M n P _ = <j>
S n M = <j>
S n P =<|>
245
Como se observa, la conclusin que es una proposicin de
forma A, ha quedado automticamente graficada al completarse
el diagrama de las premisas. Consecuentemente, un silogismo del
modo AAA de la primera figura (AAA-1) es lgicamente vlido.
Los medievales lo llamaban silogismo BARBARA.
El esquema algebraico del tercer ejemplo es como sigue:
P n M = <j>
S n M = <i>
S n P =4>
246
Como se puede constatar, la conclusin no ha quedado
automticamente grafcada porque no aparece equis alguna en la
zona S n P , lo que significa que el silogismo examinado no es
vlido.
Aadiremos un ejemplo en el que se usa un predicado nega
tivo, lo que a menudo fuerza el uso del lenguaje natural pero pone
a prueba el uso de los diagramas de Venn para representar la
interseccin entre dos o ms conjuntos. El predicado que usare
mos es 'no-fumador':
(A ) M n P = <j)
(E ) S n M = <|>
(A ) S n P = *
247
13.3 Silogismo en los que se establecen condiciones
necesarias
248
das por Todos los que prescriben medicamentos son mdicos. Este expe
diente permite su representacin mediante los diagramas de Venn.
Un ejemplo ayudar a operativizar nuestra explicacin.
Este silogismo lo podemos traducir aplicando los criterios
expuestos de la siguiente manera:
249
lo establecido por la regla R19 para el caso de los silogismos.
Consecuentemente, una inferencia inmediata es lgicamente
vlida si slo si al graficarse su premisa queda automticamente
graficada su conclusin.
En lo que sigue nosotros decidiremos la validez slo del ter
cer ejemplo; los otros dos, que son muy sencillos, lo dejamos al
lector como parte de su prctica.
250
debe tener slo tres. Por ello a esta falacia, que generalmente se
comete en el uso del trmino medio, se le llama falacia de cuarto
trmino, en latn, Quatemio terminorum.
Hay otro tipo de falacias ajenas al campo de la lgica y se
denominan retricas. Se incluyen en algunos manuales porque
tienen frecuentemente semejanza con el uso de silogismos. Sin
embargo, la aplicacin de un mtodo como el de Venn, o cual
quier otro adecuado, permite mostrar la diferencia entre una de
ficiencia estructural o sintctica y una de carcter semntico. Las
falacias retricas se basan en la significacin difusa de los trmi
nos y en el impacto emocional que tienen en el auditorio. Los as
pectos sintcticos carecen, en este caso, de importancia. Un estu
dio detallado de este tema escapa a los objetivos de este texto.
Como orientacin general sealaremos que los argumentos
retricos se proponen exclusivamente convencer a un pblico o
auditorio. Ellos no pretenden probar la verdad como ocurre en la
lgica. Un ejemplo de falacia rtorica es la expresin Vox populi,
Vox dei, que significa literalmente que la voz del pueblo es la voz
de Dios. En breve, se asume que las mayoras siempre dicen la
verdad o tienen la razn. Esta falacia se denomina Argumento ad
populum. Su falsedad es clara, durante siglos el pueblo dijo que la
Tierra no se mova y se encarcel a Galileo y se persigui a
Coprnico por decir lo contrario. Este ejemplo histrico, y mu
chos como l, prueban concluyentemente que lo que dice el pue
blo no es necesariamente verdadero.
Existen muchos falacias retricas semejantes a la anterior.
Mencionaremos slo algunas de las ms conocidas. El recurso al
Argumentum ad Verecundiam consiste en apelar a una autoridad
muy prominente para apoyar la afirmacin que se sostiene. Por
ejemplo, en la Edad Media se deca "la Tierra no se mueve" es
indudable porque Aristteles as lo escribi. Y en efecto, Aristteles
fue un pensador, an hoy, de notable solvencia intelectual, pero
ninguna persona, por sabia que sea, es fuente de verdad. Desde
hace mucho tiempo todos conocemos que respecto de la posicin
y movimiento de la tierra Aristteles se equivoc. El Argumentum
ad hominem consiste en refutar una tesis descalificando a la perso
na que la sostiene. Un ejemplo de esta falacia sera afirmar que lo
que deca Winston Churchill era falso porque padeca de alcoho
251
lismo. El Argumenhim ad misericordiam consiste en apelar a los sen
timientos piadosos o humanitarios del auditorio para que se acepte
una conclusin. Por ejemplo, que un acusado no es culpable por
que su infancia fue muy dura y miserable. La falacia ignoratio
elenchi (ignorancia del asunto) consiste en pretender probar una
afirmacin con argumentos que carecen de pertinencia o antingen-
cia. Por ejemplo, pretender probar la verdad de un enunciado
sobre un experimento recurriendo al trabajo denodado de los
investigadores cientficos. La falacia de la Falsa generalizacin
es uno de los casos especiales porque es de carcter lgico y ret
rico. Consiste en atribuir una propiedad a todo un conjunto
cuando se ha constatado que la poseen slo algunos elementos de
ste. Su invalidez lgica se prueba demostrando que las frmulas
(3x) Px (Vx) Px y Fa (Vx) Fx son lgicamente invlidas. Ello
ocurre cuando se afirma que Todos los brasileos son buenos
futbolistas porque se conoce que algunos efectivamente lo son.
La comprensin del funcionamiento de las dos frmulas anterio
res requiere del estudio de la leccin 14. En fin, hay otras muchas
falacias retricas menos frecuentes. Lo comn a todas es que pre
tenden persuadir a un auditorio para obtener su apoyo sin que
interese la verdad. Los sofistas griegos fueron los que usaron con
especial maestra las falacias retricas cuando intervenin en el
gora de Atenas, por encargo de quienes tenan poder pero no el
don de la palabra, para influir en las decisiones de la ciudad to
madas mediante votacin. Como se conoce, el gora de Atenas
es uno de los lejanos antecedentes de los parlamentos modernos.
252
XIV
EL LENGUAJE PREDICATIVO
Objetivos:
Instrucciones
[255]
3. Ningn electrn es un protn.
4. Cada alumno tiene nota aprobatoria.
5. Solamente los aprobados recibirn diploma.
6. Si todos son enemigos de todos, entonces cada uno es su propio
enemigo.
7. Hay una persona que ama a todas las personas.
8. Hay un nmero natural que es menor que todos los nmeros
naturales.
9. Hay al menos un alumno que se matricula en todos los cursos
10. Todas las cabezas de caballo son cabezas de animales.
l-(3y)(P(y)-*(Vx)P(x))*>((Vy)P(y)-(Vx)P(x))
2 . ( Vx ) ( P ( x ) a Q ( x ) ) o ( ( V x ) P ( x ) ) a ( V x ) Q ( x ) )
3.(Vx)(P(x)v(Vy)Q(y))H((Vx)P(x)v(Vy)Q(y))
4 . ( 3 x ) ( P ( x ) v Q ( x ) ) ( ( 3 x ) P ( x ) v ( 3 x ) Q ( x ))
VI. Construir una deduccin que pruebe que las premisas impli
can a la conclusin.
256
LECCIN 14
Un lenguaje predicativo PMP
[257]
predicados son '...hermano de '...cuada de../, '...cabeza de...'.
Como para comprender el sentido de estos predicados no es ne
cesario determinar nombre alguno, en lugar de ello podemos usar
letras tales como x, y, z, etc. cuyo sentido es representar cualquier
nombre sin necesidad de especificarlo. Debido a lo dicho, tales
letras se conocen como variables de nombre o variables indivi
duales. De manera anloga, en lugar de 'hermano de', 'cuado
de' y 'cabeza de' podemos usar letras maysculas R, S, T, VV, etc.
De tal suerte que los ejemplos anteriores pueden quedar repre
sentados por las frmulas R( x , y ), S( x , y ), T( x , y ). A las
letras maysculas anteriores se les denomina variables predica
tivas o, simplemente, letras predicativas. Su funcin es represen
tar cualquier predicado de dos posiciones lo que no quiere decir
que sen las nicas variables predicativas que usemos. Podemos
usar cualquier otra letra mayscula, y, lo que define su sentido
en el lenguaje PMP, es el nmero de variable de individuo que
se escribe a su derecha.
Los predicados que se aplican a una sola variable de nombre
tambin se representan mediante variables predicativas. Por ejem
plo, el predicado 'nmero par' se escribe en PMP as: P ( x ).
Anlogamente, 'gato' se puede representar por G ( y).
En el lenguaje natural la frmula P ( x ) se lee x es P o x tiene
la propiedad P. Particularizando la expresin a la interpretacin
que hemos dado en estas exposicin, tendramos como lectura: x
es una nmero par. Y para G ( y ) la lectura sera y es un gato. En
circunstancias en las que el contexto est claro y se requiere ser
muy rpido y operativo las frmulas como P(x) se leen en trmi
nos eje P de x.
las frmulas de la forma R ( x , y ) se las lee: el par x, y
satisface la relacin R, o el par x , y cumple la relacin R. En algu
nos textos se propone la siguiente lectura: entre el par x, y existe
la relacin R. Esta propuesta es intituitiva pero es inexacta por
que equivale a cuantificar existencialmente a la variable predi
cativa R, lo que rebaza a un lenguaje de primer orden como PMP.
Sin embargo, el lector principiante slo podr comprender este
argumento, con exactitud, en un texto ms avanzado que este.
A las frmulas P ( x ) , G ( y ) etc. Se les denomina funciones
proposicionales mondicas o de grado 1 porque su variable
258
predicativas se aplican a una sola variable de nombre. A las fr
mulas R ( x , y ) , S ( w , z ) , etc. Se les llama fu nciones
proposicionales didicas porque sus variables predicativas se
aplican a un par de variables de nombre. Hay funciones
proposicionales tridicas porque sus variables predicativas se
aplican a tres variables. Y, en general, hay funciones proposi
cionales de grado n cuando sus variables predicativas se apli
can a n variables de nombre y n es un nmero tan grande como
se desee. La forma general de una funcin predicativa de grado
n es P ( x , xy ..., x ) en la que el exponente n slo indica el
grado de la variable"predicativa P y, por tanto, de la frmula en
su conjunto. Siempre que n 3 2, la variable predicativa es una
relacin.
259
la variable x ha sido reemplazada por el nombre de un individuo
que tiene la propiedad de ser peruano. Si b es una manera abre
viada de escribir 'Leonardo de Vinci' entonces P ( b ) ser, evi
dentemente, una proposicin falsa.
Es importante sealar que, en el lenguaje PMP, los nmeros
naturales, enteros, racionales, reales y complejos son considera
dos nombres propios o constantes indi-viduales. De tal suerte,
que si Q es el predicado 'impar7, entonces Q ( y ) es una funcin
proposicional y Q ( 6 ) es una proposicin falsa. En general, a
frmulas como P ( b ), Q (6) etc. las llamaremos ejemplificadones,
las mismas que permiten deducir que para dotar de significado a
una funcin proposicional o interpretarla es necesario recurrir a
un conjunto, no vaco, de objetos o individuos nombrables al que
denominaremos dominio de interpretacin. Este puede ser un
conjunto muy pequeo o bastante grande; pero siempre limitado
a slo los objetos de los que pretendemos hablar: personas, n
meros, figuras geomtricas, etc. Los conjuntos que pretenden in
cluir todo tipo de objetos estn excluidos como dominios de in
terpretacin. Asimismo la nica manera de hablar de los objetos
de un conjunto es asignndoles nombres al7 a3, ...etc.
260
dicativa del tipo P, Q, etc. No es una frmula de PMP y tampoco
lo es un trmino aislado. Pero una letra predicativa de grado n
seguida de n trminos si es una frmula. Es el caso de P( x ), P
( a ), R ( x, y ), R ( a , y ), R ( x , b ), R ( a, b ), que s son frmulas
de PMP bajo la suposicin de que P es un predicado de grado 1
y de que R es un predicado de grado 2. Las frmulas anteriores
son, excepto la segunda y la ltima, funciones proposicionales
porque en ellas hay al menos una variable que no ha sido susti
tuida por un nombre, la misma que se llama variable libre. Asi
mismo, las frmulas predicativas que tienen al menos una varia
ble de nombre libre se denominan frmulas abiertas. Todas las
frmulas anteriores son atmicas y la conjuncin, disyuncin in
clusiva, disyuncin exclusiva, el condicional, la equivalencia y la
incompatibilidad que las tienen como componentes son frmu
las predicativas moleculares de PMP. Ejemplo : P ( x ) v R ( x , b ) .
14.4 Cuantificadores
261
Matemtica' donde a es el nombre de la asignatura de Matemti
ca y sealamos como dominio de interpretacin al conjunto de
los alumnos de un saln de clase D. Es posible que afirmemos la
proposicin 'Hay al menos un alumno que aprende Matemtica',
la misma que puede ser formalizada en el lenguaje PMP como
( 3 x ) L ( x , a ) . Igualmente, la proposicin Todos los alumnos de
la clase aprenden Matemtica' puede ser formalizada como (V x )
L ( x, a ). La primera frmula la leeremos Existe al menos un indivi
duo x tal que x aprende Matemtica y la segunda Para todo individuo
x, x aprende Matemtica.
De lo anterior se infiere que cuando anteponemos un cuanti-
ficador existencial a una funcin proposicional lo que hacemos es
afirmar que el conjunto de individuos que satisface un determi
nado predicado no es vaco.En cambio, cuando anteponemos un
cuantificador universal a una funcin proposicional afirmamos
que todos los miembros de un conjunto satisfacen un predicado.
Como sabemos, en ambos casos, ese conjunto se denomina domi
nio de interpretacin.
262
asignatura alguna. De lo dicho se deduce que una frmula ce
rrada s es una proposicin en el sentido de que es verdadera o
falsa respecto de un dominio de interpretacin.
i) ( V x ) ( P ( x ) v Q ( x ) )
ii) ( V x ) L ( x , y) v ( 3 y ) R ( x , y )
m) (3 x ) L ( x,a) v Q ( x ) )
263
En el ejemplo m) las dos ocurrencias de la nica variable es
tn ligadas y a la letra a no se le puede aplicar un cuantificador
porque no es una variable sino una constante individual con sig
nificado especfico. Tanto el primer ejemplo como el tercero son
frmulas cerradas interpretables como proposiciones generales,
universal y existencial, respectivamente. El segundo ejemplo es
una funcin proposicional de forma disyuntiva a causa de que
tiene a y como variable libre, en su primera ocurrencia, y a x en la
misma situacin, en su segunda ocurrencia. Por tanto, este ejem
plo no es una proposicin en el lenguaje PMP.
(Vx)(Vy)L(x,y)
( Vy)( Vx)L(x,y)
(3x)(3y)L(x,y)
(3y)(3x)L(x,y)
(Vx)(3y)L(x,y)
(3y)(Vx)L(x,y)
(Vy)(3x)L(x,y)
(3x)(Vy)L(x,y)
264
2
tuidos por el producto cartesiano de H x H ( H ). En la medida
que todas las frmulas anteriores son cerradas, entonces cada una
2
de ellas ser verdadera o falsa respecto de H .
La interpretacin de las dos primeras frmulas afirma que
todo ser humano ama a todo ser humano lo que equivale a soste
ner que todos los pares ordenados que formemos con el conjunto
H satisfacen la funcin proposicional x ama a y. De ser asi, las dos
primeras frmulas son lgicamente equivalentes.
Las frmulas tercera y cuarta tambin son lgicamente equi
valentes. La interpretacin de ambas afirma hay al menos una
persona que ama a al menos una persona. Las cuatro primeras
frmulas establecen que el orden es irrelevante cuando los cuanti-
ficadores que estn antepuestos a una frmula, denominados en
conjunto prefijo, son todos universales o todos existenciales.
La quinta frmula se interpreta en funcin de que toda perso
na ama a al menos tina persona. Esta proposicin excluye la posibili
dad de que haya una persona que no ame a persona alguna.
La sexta frmula establece que hay al menos una persona
que es amada por todos, cuyo sentidos es distinto del de la ante
rior a causa slo del diferente orden en el que aparecen los cuanti-
ficadores. La sptima frmula afirma la totadad de las personas
es amada por al menos una persona. Y la ltima afirma que hay al
menos una persona que ama a todas las personas.
El sentido distinto, en cada caso, que muestran las interpre
taciones de las cuatro ltimas frmulas prueban que cuando los
cuantificadores que forman el prefijo son universales y existen
ciales el orden es relevante y si es alterado se altera tambin las
condiciones de verdad de las frmulas correspondientes.
Se dice que cuando una frmula exhibe todos los cuanti
ficadores adelante, independientemente del orden en que se en
cuentren, entonces est en forma normal prenex. Asimismo, si
ocurre que en el prefijo todos los cuantificadores existenciales
preceden a los cuantificadores universales, entonces est en for
ma normal de Skolem.
Los ocho ejemplos anteriores estn en forma normal prenex.
Los ejemplos sexto y octavo son ejemplos de la forma normal de
Skolem. Las frmulas tercera y cuarta ilustran, adems, el caso en
el que el nmero de cuantificadores universales es igual a cero.
265
14.8 Formalizacin del cuadro de Boecio en el lenguaje
PMP
(A ) (Vx)(P(x)-Q(x)
(E ) ( V x ) ( P ( x ) ~ Q ( x ) )
266
tiempo la propiedad de ser sometido a la accin del calor y de dilatarse.
La respectiva frmula es la siguiente:
(O ) ( 3 x ) ( P ( x ) a ~ Q ( x ))
(V X ) (V y ) (V z ) ( ( R ( x , y ) a ( R ( y, z ) ) > R ( x , z ))
267
Hay otras afirmaciones, comunes en aritmtica, que tampo
co pueden ser expresadas en el lenguaje de Aristteles y Boecio.
Por ejemplo la proposicin T ara todo tipo de nmero natural
existe siempre otro mayor que l" la misma que equivale a la pro
posicin negativa 'No existe el mayor nmero natural'. Si forma
lizamos el predicado relacional x es mayor que y mediante la fun
cin proposicional M ( x, y ), la formalizacin correspondiente es:
( Vy ) ( 3 x ) M ( x, y )
~(Vx)P(x)o(3x)~P(x)
~ ( 3,x ) P ( x ) < - ( V x ) ~ P ( x )
~(3x)~P(x)-o-(Vx)P(x)
~{ V x ) ~ P ( x ) o ( B x ) P ( x )
268
~ ( V x ) P ( x ) ^ ~ ( P ( a i ) A P ( a 2) A ........A P ( a J )
- ( 3 x ) P ( x ) <-> - ( P ( a 1) v P ( a 2) v / . . . / v P ( a n) )
269
escribiremos las constantes individuales sin parntesis). Supon
gamos que D = { 2, 4, 6..., 2n \y que la funcin proposicional P ( x )
es interpretada como x es par, luego la frmula cerrada ( Vx ) P ( x )
es verdadera en D debido a que cada una de las afirmaciones
P (2), P (4), etc. es verdadera. Como cada una de estas afirmacio
nes es un ejemplo o un caso particular respecto de ( Vx ) P ( x ),
podemos decidir que esta frmula es verdadera en D porque to
dos sus ejemplos son verdaderos. Lo anterior pone en claro que
la definicin de la verdad de una proposicin cuantificada debe
realizarse necesariamente respecto de un dominio, pues una mis
ma proposicin puede ser verdadera respecto de un dominio y
falsa respecto de otro. Por ejemplo, si tomamos como dominio de
interpretacin el conjunto de los nmeros naturales N = { 1, 2, 3,
..., n, n+1, ... \,debe resultar claro que la proposicin ( Vx ) P ( x )
no es verdadera respecto de N porque tendra infinitos ejemplos
falsos, tales como P ( 1 ) , P ( 3 ), etc. Lo dicho nos permite dedu
cir que si ( V x ) P ( x ) es verdadera, entonces cualquier ejemplo
de ella es verdadero o tambin un ejemplo concreto. La idea de
cualquier ejemplo la expresaremos a travs de P ( y ) pues la va
riable y no identifica individuo alguno. La idea de un ejemplo con
creto la expresaremos usando nombres propios en frmulas ta
les como Pa. El esquema de esta reglas es:
( Vx ) P ( x ) ( Vx ) P ( x )
----------
---------- --------------------- (EU) RDNP22
P(y) Pb
270
viduo arbitrariamente tomado de un dominio, es verdadera de
todo el dominio. Vale decir, si en una lnea de deduccin tene
mos el ejemplo arbitrario P ( y ) y sabemos que la variable y no
est libre en nin-guna de las premisas que estamos utilizando, en
tonces podemos deducir ( V x ) P( x ). El esquema es el siguiente:
P(y)
-------------------------( G U ) RDNP 23
( Vx ) P ( x ) siempre que y no aparezca al menos una vez
libre en alguna lnea anterior que es premisa.
(3x)P(x)
( E E . ) RDP 24
Pa siempre que a no aparezca antes en la deduccin
271
14.11.4 Generalizacin existencial
P(y) P(a)
--------------------- --------------------- ( G E .) RDNP 25
(Bx)P(x) (3x)P(x)
1. ( V x ) ( M ( x ) P ( x ) )
2. ( V x ) ( S ( x ) M ( x ) ) / ( V x ) ( S ( x ) -> P ( x ) )
3. M ( y ) -> P ( y ) EU. en ( 1 )
272
4. S (y )->M (y ) EU. en(2)
5. S ( y ) -> P ( y ) SH. en 3,4
6. ( Vx ) ( S ( x ) -> P ( x ) ) GU. en 5
(1)(Vx)(H(x)->M(x))
(2) Ha /M a /.\ M a
3. Ha -> Ma Eu. en 1
4. Ma MP. en (2), 3
273
Si representamos x perdona a y por F ( x, y ) y x es un santo por
S ( x ), entonces el razonamiento anterior da lugar a la siguiente
deduccin.
(1) ( V x ) ( Vy ) ( F ( x , y ) S ( x ) )
(2) ~ ( 3x) S ( x ) / :. ( V x ) ( V y ) ~ F ( x , y )
(3)(Vy)(F(w,y)->S(w)) EU. en (1)
(4) F ( w , z ) -> EU.
S (wen) 3.
(5) ( V x ) ~ S ( x ) Equiv. de cuant.
en 2.
(6) ~ S ( x ) EU. en 5.
(7) ~ F ( w , z ) MT. en 4,6
(8) ( V y ) ~ F ( w , y ) GU. en 7.
(9) ( V x ) ( V y ) ~ F ( x, y ) GU. en 8.
274
14.14 Mecanismo de refutacin de hiptesis
(1) Pa a ~ Qa //.~(Vx)(P(x)->Q(x))
2. ( 3 x ) P ( x ) a ~ Q ( x ) GE en (1)
3.(3x)~(~P(x)vQ(x)) DM. En 2
4. (3x)~(P(x)-Q(x)) RDNP 1 6 e n 3
5. ~ ( V x ) ( P ( x ) - Q ( x ) ) Equiv. 14.10en4.
275
XV
LA INDUCCIN CLSICA
Objetivos:
Instrucciones
[279]
16. Cmo se definen los fenmenos diacrnicos?
17. Cul es la ley de los fenmenos diacrnicos?
18. Es lo mismo una relacin causal que una relacin de
invarianza?
19.. Sostiene S. Mili que la casualidad es siempre aditiva?
20. Por qu el mtodo de la concordancia no proporciona induc
cin completa?
21. Cul es el mtodo que S. Mili privilegia por su grado de fiabi
lidad ?
22. Se asocia la tesis de Laplace sobre probabilidad con los mto
dos deS. M ili?
23. Juega la enumeracin de casos un rol importante en los mto
dos de S. Mili?
24. Cul fue la propuesta de S. Mili sobre la oposicin tradicional
entre induccin y deduccin?
280
LECCIN 15
La induccin clsica
[281]
La presente exposicin la hemos dividido en dos partes: la
primera referente a la ubicacin y fundamentacin de la induc
cin dentro de lo que podramos considerar una teora general de
la inferencia; y la segunda versa sobre la induccin entendida
bsicamente como un procedimento de investigacin de los casos
de causacin. Asimismo, hacemos notar que la segunda parte es
la que usualmente se resume en algunos manuales de lgica y
metedologa bajo la denominacin de los mtodos de Mili.
En lo que sigue procedemos a desarrollar el plan antes descrito.
282
tan una modificacin en los medios expresivos; pero no en el es
tado del conocimiento que de esta manera no sufre incremento
alguno.
El hecho de que Stuart Mili descalifique como inferencias a
operaciones lgicas clsicas, por ser equivalencias, se compren
de, si se considera que sus planeamientos de manera clara exigen
que para que algo pueda ser denominado inferencia posea una
conclusin cuya verdad sea nueva con respecto a lo dicho en las
premisas. Vale decir, toda inferencia genuina debe producir un
proceso de real incremento del conocimiento y en ese sentido debe
ser amplificadora. Consecuentemente, de acuerdo con esta con
cepcin, las operaciones realizadas por la lgica no son meros
medios de explicitacin de lo ya dicho en las premisas sino genui-
nos instrumentos de descubrimiento de verdades que antes no se
conocan.
283
validez del silogismo, pues Mili rechaza el criterio que dice que
lo que legitima a una inferencia es la imposibilidad de que las
premisas sean verdaderas y la conclusin falsa. El fundamento
del silogismo, es en ltima instancia, la intencin inductiva de la
premisa mayor. En concordancia con este punto de vista, rechaza
la posibilidad de reducir la teora del silogismo a un formalismo
algebraico, lo que en su tiempo, sin embargo, ya haba sido logra
do por los trabajos de Boole y de Venn.
Con relacin a la induccin, Struat Mili es explcito en su
definicin como vemos en la siguiente cita: La induccin por
consiguiente, es la operacin del espritu por la cual inferimos
que lo que sabemos ser verdadero en uno o varios casos particu
lares ser verdadero en todos los casos que se parezcan a los pri
meros bajo ciertas relaciones asignables. En otros trminos, la in
duccin es el procedimiento por el cual concluimos que lo que es
verdadero de ciertos individuos de una clase es verdadero de toda
la clase, o que lo que es verdadero algunas veces, lo ser siempre
en circunstancias semejantes, (p. 292).
En esta definicin se aprecia claramente el carcter ampli-
ficatorio asignado a la induccin, pues la verdad de la conclusin
afecta a ms casos que los incluidos en las premisas. Pero esto no
debe llevamos a pensar en que el sentido de esta inferencia es
establecer una relacin que va del presente al futuro (predictiva),
en la medida que muchos de los casos referidos por la conclusin
puedan coexistir con los descritos por las premisas con la diferen
cia de que en un determinado momento todava no son conoci
dos. Consecuentemente, lo fundamental en todo proceso induc
tivo, como en cualquier inferencia, es proceder de lo conocido a
lo desconocido.
284
premisas se agotan los casos del universo del discurso o lo que
hemos denominado antes dominio de interpretacin y, por con
siguiente, la conclusin no puede agregar ninguno ms, convir
tindose as en una escritura abreviada de las premisas. Evi
dentemente, los procedimientos de este tipo no satisfacen la de
finicin de inferencia adoptada por Mili, pues la conclusin no
excede lo dicho en las premisas.
(ii)El segundo tipo de seudoinducciones lo constituyen las demos
traciones por induccin matemtica. Es oportuno anotar que en
este caso S. Mili da muestras de no conocer las diferentes for
mas que puede adoptar la induccin matemtica, a pesar de
que se trata de un mtodo conocido desde los trabajos de Pascal.
La base de su error consiste en que confunde las leyes de la
matemtica con las leyes de la naturaleza; as por ejemplo, iden
tifica las leyes de la geometra con las leyes del espacio real,
desconociendo que ya en su tiempo estaban desarrolladas las
geometra no-euclidianas de Lobachevski y Riemann, cuya co
rrespondencia con el espacio real no tena ningn significado
matemtico.
(m)El tercer tipo de seudoinduccin est constituido por las llama
das coligaciones que, segn S. Mili, no son propiamente infe
rencias sino solamente descripciones que se reducen a los casos
observados y que, consecuentemente, no dicen nada acerca de
los casos no observados. La coligaciones se limitan a ser des
cripciones de concordancia que se observan en la naturaleza,
como sera el caso de las llamadas leyes de Kepler sobre las
rbitas de los planetas. De acuerdo a Mili, estas leyes enuncian
relaciones constantes o uniformidades observadas; pero no per
miten un conocimiento mayor debido a que no establecen las
causas. En cambio, las inducciones hacen referencia a regulari
dades observadas, pero, tambin, hacen afirmaciones acerca de
hechos nuevos que exceden en contenido a las coligaciones.
285
que stas han sido creadas, sin embargo son de poca ayuda para
crear las inducciones que necesitamos. Esta tesis, con ligeras va
riantes, ha sido defendida en nuestro siglo por el positivismo l
gico y tambin por Popper, entre otros.
286
una regularidad y unifor-midad universal inherente al compor
tamiento de la naturaleza como un todo. El proceso del razona
miento ha sido inductivo, sostiene S. Mili, en tanto se ha inferido
que en todos los nuevos fenmenos que se conozcan, la naturale
za observar un comportamiento uniforme, consistente en que
condiciones semejantes sern seguidas por efectos semejantes.
287
mayor al principio de uniformidad de la naturaleza. Sin embargo
pero no todo silogismo tiene que ser necesariamente inductivo en
el sentido de que puede tener una premisa mayor distinta.
288
como opuesto al inductivo. Sin embargo, en S. Mili encuentra una
especie de conciliacin con los planteamientos inductivistas, pues
aunque el desarrollo del sistema es deductivo y consiste en silo
gizar, la naturaleza de los axiomas es la de inducciones bsicas e
irreductibles que constituyen las uniformidades primarias de la
naturaleza. En el logro de esta comprensin no-baconiana del
proceso de desarrollo y organizacin de la ciencia, indudablemente
influy la posibilidad que tuvo S. Mili de conocer la versin
axiomtica de la mecnica debida a Newton. Esta presuncin re
sulta completamente plausible cuando se constata que a lo largo
de la obra estudiada abundan los ejemplos tomados de los Prin
cipios de matemtica aplicados a la filosofa natural.
Asimismo, aunque podra ofrecerse abundantes argumento
para apoyar la interpretacin de que Mili consider al modelo
hipottico-deductivo como el paradigma hacia el cual debera ten
der la organizacin de la ciencia, consideramos que ser suficien
te aportar la siguiente cita, cuya claridad y comprensin nos exi
me de hacer mayores comentarios: As no hay que desesperar
de elevar la Qumica y la Fisiologa al rango de las ciencias deduc
tivas, pues aunque sea imposible deducir todas las verdades qu
micas y fisiolgicas de las leyes o principios de las sustancias
simples o agentes elementarlos, podran ser deducidas de las le
yes que aparecen cuando estos elementos se renen en un peque
o nmero de combinaciones no muy complejas.
289
de en los diacrnicos, mientras que las de la geometra, que es
tn referidas a las propiedades del espacio, se limitaran a los fe
nmenos sincrnicos. Pero como la verdad de las leyes de lo sin
crnico puede ser establecida sin necesidad de presuponer el
transcurso de un intervalo de tiempo, las leyes de ambas ciencias
pueden ser entendidas como intemporales y como establecidas
universalmente de una sola vez para siempre.
De manera anloga, los fenmenos diacrnicos tienen a su
vez una ley fundamental que es privativa de ellos porque su ver
dad presupone necesariamente la nocin de sucesin temporal.
Esta ley, que es una de las pocas que gozan del mismo grado de
universalidad que las verdades matemticas, es la de causalidad.
S. Mili expresa esta idea de la manera siguiente: Esta ley, sin
embargo, es universal tambin en otro sentido; es coextensiva con
el campo entero de los fenmenos, pues todos los hechos de suce
sin son ejemplos de ella. Esta ley es la ley de causalidad. Es ver
dad de que todo lo que comienza a ser tiene una causa que es
coextensiva a toda la experiencia humana.
La cita anterior, adems de revelarnos la universalidad que
nuestro autor atribuy a la causalidad, nos proporciona una enun
ciacin muy general de dicho principio, al cual dedicaremos al
gunas lneas ms. Este proceder se justifica porque, segn el pen
samiento examinado, la nocin de causa es la raz de toda la
teora de la induccin (p.325). En consecuencia, una compren
sin correcta de la lgica inductiva clsica requiere que precise
mos cuatro aspectos de la nocin de casualidad a los que S. Mili
otorga especial atencin.
290
vantes y muchas pueden ser omitidas en la formulacin sin
mayor dificultad.
Simultneamente, con la conjuncin de condiciones que son se
guidas de un cierto efecto, pueden darse algunas condiciones
contrarias. Para incluir este caso, la causa en sentido general es
la suma algebraica de las condiciones positivas y negativas el
total de las contingencias de toda naturaleza, que siendo rea
lizadas, hacen que siga el consiguiente de toda necesidad
(p. 332).
(m) Aunque una relacin de causalidad establece una relacin de
invarianza o uniformidad, la causalidad es mucho ms que esta
ltima, es adems una relacin incondicionada. Un ejemplo de
relacin invariante es la sucesin del da y la noche que se pro
duce uniformemente en el tiempo, sin embargo, no es una rela
cin de causalidad, porque todos sabemos que el da no es la
causa de la noche ni viceversa. Ms bien ambos fenmenos tie
nen una causa comn en el movimiento de la tierra alrededor
del sol. La relacin de causalidad segn S. Mili, es incondi
cionada en el sentido de que la relacin entre la causa y el efecto
es necesaria en todas las circunstancias imaginables y, por tan
to, para explicar el efecto siempre ser suficiente recurrir a su
antecedente y no a otro elemento ajeno a la sucesin, lo que es
necesario en el caso de la secuencia establecida por el da y la
noche. Consecuentemente, mientras toda relacin de causalidad
es una relacin de uniformidad no toda relacin de uniformi
dad o de invarianza es una relacin de causalidad, con lo que se
estatuye que la relacin de causalidad es un caso particular muy
importante, dentro del conjunto de las relaciones de invarianza.
A partir de la distincin anterior, S. Mili deduce los casos en los
que un mtodo establece una induccin completa y los casos en
los que esto no es posible. Un mtodo conduce al logro de una
induccin completa cuando permite la determinacin de una
relacin incondicionada. Si slo permite la determinacin de
una relacin de invarianza o concordancia, entonces no aporta
una induccin completa en la medida que no nos permite aso
ciar inequivocadamente una causa con su efecto y viceversa.
(iv) Segn S. Mili la relacin de causalidad es, en general, aditiva
en el sentido de que el efecto total de un conjunto de causas es
291
igual a la suma de los efectos que produciran stas por separa
do. Esta relacin es anloga a la de composicin de fuerzas en
la mecnica, en la cual la resultante de la aplicacin de un con
junto de fuerzas es igual a la suma de los efectos que stas pro
duciran por separado (la suma es aqu obviamente entendida
en sentido algebraico puestos que unas causas pueden actuar
en sentido distinto o contrario a las otras, tal como ocurre con
las fuerzas). Excepcionalmente, segn S. Mili la causalidad no
es aditiva, en el sentido de que el efecto total de un conjunto de
causas no es igual a la suma de los efectos que estas produci
ran por separado. En este caso, el todo es algo ms que la suma
de las partes y tiene leyes que difieren de las que gobiernan las
partes tomadas aisladamente. Es el caso de la Qumica y de la
Fisiologa que por esta razn estn constituidas por leyes que S.
Mili llama heteropticas. En la imposibilidad de reducir las le
yes de la qumica a las de sus componentes ms simples, radi
cara el origen de la dificultad para lograr una presentacin
axiomtica de esta disciplina.
292
15.9.1 El mtodo de la concordancia
A, B , C , -------------------------------------------------- ^ a , b, c.
A, D, E , ---------------------------------------------------" ^ a , d, e.
Luego A ^ a
293
Sin embargo, es importante sealar que nuestro autor consi
dera que en ciertas condiciones que exigen reiteradas variaciones
de las circunstancias y el uso de mtodos adicionales, la concor
dancia puede permitirnos establecer relaciones de causalidad.
Aqu la cuestin radica en el nmero de variaciones de las cir
cunstancias necesitado y el nmero de concordancia que es signi
ficativo para pensar que un antecedente es adems una causa.
Esta problemtica puede ser respondida por el clculo de las pro
babilidades a travs de la nocin de frecuencia relativa. Para S.
Mili el gran auxilio en este caso es el desarrollo realizado por
Laplace en su Ensayo filosfico sobre la probabilidad, regla sexta, que
aparece ampliamente comentada en el Cap. XVIII, numeral 5, del
libro III de Sistema de lgica. Lo que aqu ha expuesto S. Mili no
es otra cosa que los fundamentos del conocido teorema de Bayes
para averiguar la probabilidad de una causa. El razonamiento que
justifica este recurso segn nuestro autor es que es mejor recurrir
a la probabilidad para determinar una causa que pensar que cier
tos acontecimientos se producen por una especie de coincidencia
maravillosa que supera en mucho las leyes del azar. Consecuen
temente, cuando se usa el mtodo de la concordancia variando
muchas veces las circunstancias y se encuentra una uniformidad
que excede mucho las reglas del azar, tal como fueron definidas
por Laplace, entonces hay que pensar que esta uniformidad o
invarianza es adems una relacin de causalidad.
A, B , C,
A, C,
Luego "K
causalmente a)
294
Esta inferencia segn Mili nos proporciona induccin com
pleta porque el hecho de que en dos circunstancias semejantes la
presencia de A da lugar al efecto a y la ausencia de A conlleve la
desaparicin del mencionado efecto, nos autoriza a concluir que
la causa del efecto a es la circunstancia A. Este resultado, asimis
mo, nos pone en condiciones de producir y suprimir el efecto a en
la medida que 01 icemos su causa, la razn por la que el mtodo
de la diferencia es considerado como el adecuado a la investiga
cin experimental mientras que el de la concordancia es restringi
do a los casos en lo que es factible slo la observacin.
S. Mili considera que este mtodo es conclusivo porque es
posible decidir con seguridad cuando dos situaciones se diferen
cian solamente en una condicin sin importar que tengan ms
puntos de coincidencia de los que ya tenemos enumerados. Des
de su punto de vista es ms fcil controlar las diferencias que las
semejanzas, pues nosotros podemos introducirlas experimental
mente en forma tal que, por ejemplo, el estado de un perro en el
momento M es el mismo que en el momento M' con la diferencia
nica de que en M' hemos puesto un trozo de carne ante su vista.
De esta manera, si se produce salivacin ella debe ser causada
por el factor introducido y esto se ratifica cuando comprobamos
que despus que retiramos la carne la salivacin cesa.
Actualmente se sabe que es ms fcil controlar las diferen
cias manteniendo constantes ciertas condiciones, sin embargo,
tampoco hay ninguna regla que nos asegure completamente que
la nica diferencia entre dos estados es la que nosotros hemos
introducido, pues bien podra haberse producido una sin que nos
percatemos de ella. Consecuentemente, aqu la inferencia tam
bin es de probabilidad, aunque nuestro autor no haya recomen
dado el clculo de las probabilidades en este caso. Sin embargo,
es evidente que este tipo de inferencia, cuando es posible, es el
ms compatible con los diseos experimentales que buscan un
control ptimo de las variables consideradas en una investiga
cin. Los metodlogos contemporneos han prestado especial
atencin a esta regla y a la circunstancia diferencial A la denomi
nan variable experimental.
295
15.9.3 Mtodo indirecto de la diferencia
A, B , C , D,
A ,F ,G ,H ,
no - A , B , C , D
n o -A ,F ,G ,H
A a
296
Esta regla nos conduce a una inferencia de la forma:
A, B, C, ----------------------------^ a, b, c,
Por inducciones anteriores se sabe que:
A ------------------------^ a
B ---------------------^ b
Luego, C --------------------------- c
297
versalmente, aunque su induccin no se funde ms que en un
solo hecho (p.313).
A ,B 9C ---------------------------^ a , b, c
v ( A ), B, C ----------------------- ^ v ( a ) , b , c
Luego~A V a ( De A se sigue
^ causalmente a ).
298
mayores valores de A corresponden mayores valores de a y a
menores valores de A corresponden menores valores de a. Ser
inversa si a mayores valores de A corresponden menores valores
de a y a menos valores de A corresponden mayores valores de a.
En la investigacin en ciencias humanas de nuestros das se usa
frecuentemente un esquema parecido a ste que es expresado a
travs del mtodo estadstico de la correlacin, solamente que a
esta no se la considera siempre reveladora de causalidad, salvo
cuando relacin entre A y a es claramente asimtrica y tiene sen
tido, adems, afirmar que A produce o genera a.
15.10 La deduccin
Stuart Mili declara que los cuatro mtodos anteriores son los ni
cos mtodos inductivos que l conoce y puede imaginar. Cierta
mente no est contando al tercero que es una combinacin de los
dos primeros. Todo lo que queda fuera de ellos es la deduccin
de la cual ya dimos una idea en la parte introductoria. Sin em
bargo, puede encontrarse otra caracterizacin de la deduccin, un
tanto ms general, que la define como un mtodo que est cons
tituido por tres partes: la induccin, el razonamiento y la verifi
cacin. A la deduccin as definida se le asigna un rol preponde
rante en la ciencia. En sus palabras: Al mtodo deductivo as de
finido en sus tres partes constituyentes: la induccin, el razona
miento y la verificacin debe el espritu humano sus ms brillan
tes triunfos en la investigacin de la Naturaleza. Le debemos to
das las teoras que renen fenmenos numerosos y complicados
bajo algunas leyes simples, que, consideradas como leyes de es
tos fenmenos, no habran podido nunca ser descubiertas por el
estudio directo (p. 439).
Hemos credo pertinente citar el texto anterior, para indicar
cmo para S. Mili, con toda claridad, la induccin slo tena sen
tido dentro del marco de la deduccin, aunque los axiomas de los
sistemas deductivos sean obtenidos inductivamente, razn por la
que la induccin es la primera fase de la deduccin. De esta ma
nera, la lgica es entendida como una teora de la prueba a travs
de inferencias deductivas, las mismas, que cuando tienen como
299
premisa mayor una proposicin sobre uniformidades de la natu
raleza, se llaman inducciones.
Lo anterior corrobora fuertemente la afirmacin que hicimos
anteriormente en el sentido de que S. Mili constituye un antece
dente muy claro de la tesis contempornea que concibe a las teo
ras cientficas como sistemas hipotticos-deductivos de enun
ciados contrastables. En efecto, inscribir la induccin dentro de
un proceso deductivo ms complejo, como un momento de l, no
es otra cosa que asignarle en la prctica cientfica la fase constitui
da por la postulacin de hiptesis o conjeturas de las que hay que
obtener consecuencias observables (proceso de razonamiento)
para luego someterlas a contrastacin (verificacin).
Es ciertamente un mrito de S. Mili el haber establecido las
bases del llamado modelo hipottico-deductivo, el mismo que es
uno de los ejes sobre los que ha girado la discusin epistemolgica
en los ltimos sesenta aos. Evidentemente, el modelo hipottico
deductivo como mtodo de trabajo cientfico existe desde la po
ca de los Elementos de Euclides, en la forma de mtodo axiomti
co, pero su conceptualizacin filosfica y su uso como criterio de
cientificidad son logros recientes.
Es la conjuncin, del aporte de S. Mili y del desarrollo fron
doso de la lgica matemtica en nuestro siglo, lo que ha posibili
tado que la tradicional oposicin entre induccin y deduccin sea
resuelta en trminos de la teora de la probabilidad, recibiendo a
su vez un tratamiento hipottico deductivo que circunscribe la
discusin a la naturaleza de las probabilidades bsicas.
300
sin la pretensin parece ser que las reglas de deduccin en un
sistema lgico dado slo deban permitir el paso lgicamente
necesario desde un conjunto de frmulas P (consideradas como
premisas o axiomas) a un conjunto de frmulas C (consecuen
cias); pero no el proceso recproco. Sin embargo, esta propie
dad no parece autorizar de manera precisa ninguna estimacin
fundada sobre la cantidad de informacin de los referidos con
juntos de frmulas. Lo que s queda a salvo es la idea del desa
rrollo deductivo y, por tanto, de la superacin al menos de la
circularidad formal.
2. La tesis de nuestro autor, que afirma que una induccin slo es
fundada y vlida cuando puede ser formulada como un silogis
mo en el que la premisa mayor es el principio de uniformidad
de la naturaleza, privilegia definitivamente al silogismo como
modelo de inferencia vlida y es claramente incorrecta, Esto ex
cluira del tratamiento lgico de la ciencia a todas las propieda
des expresables como predicados de grado 2 o mayores que 2.
Afortunadamente, en este aspecto y en otros conexos, la evolu
cin de los hechos ha sido muy distinta a la que S. Mili previo.
Asimismo, esta tesis presupone que existen premisas mayores
o inducciones bsicas que propiamente no perteneceran al sis
tema de proposiciones inductivamente probadas sino que lo
hacen posible. La justificacin de stas, tambin llamadas uni
formidades bsicas, sigue siendo problemtica.
3. El planteamiento directo de la lgica inductiva como un conjun
to de mtodos para investigar los casos de causacin es proba
blemente uno de los aspectos ms rescatables del pensamiento
de Mili y que de hecho ha tenido una acusada influencia entre
los metodlogos de nuestro siglo. Sin embargo, dentro de la filo
sofa epistemolgica contempornea este aporte incidira direc
tamente en lo que se ha denominado contexto del descubrimien
to y gravitara menos sobre el llamado contexto de la justifica
cin. Asimismo, como en gran medida la discusin filosfica hasta
aproximadamente 1960 ha sido sobre el contexto de la justifica
cin, la atencin que en los crculos epistemolgicos han mereci
do los mtodos de S. Mili no ha sido de mayor significacin.
4. La relacin de causalidad es para S. Mili en general aditiva, pero
las excepciones que el seala para la Qumica, la Fisiologa as
301
como las ciencias humanas, que estaran constituidas por leyes
heteropticas, esto es, no aditivas, tienen especial significacin
porque tal anlisis es una interesante aproximacin a las difi
cultades, actuales para usar el modelo hipottico deductivo,
particularmente, en ciencias humanas, pues, en otras reas, como
la Qumica, la dificultad ha sido superada.
5. A pesar de que S. Mili estuvo dedicado al cultivo de la lgica, se
aprecia en su pensamiento grandes dificultades para reconocer
la peculiar naturaleza de la lgica y de la matemtica respecto de
las ciencias naturales. Asimismo parece que desconoci o no con
cedi la debida importancia a aportes de su poca como los de
Boole, Venn y las geometras no-euclidianas. Posiblemente ese
desconocimiento lo llevo a privilegiar al silogismo otorgndole
posibilidades que no tena o negndole otras que s tena, como
su expresin algebraica. Lo que s es rescatable, en este aspecto,
es su concepcin de la lgica como una disciplina dedicada al
estudio de la prueba de la verdad de las proposiciones.
6. Tal vez el aporte mayor de Sistema de Lgica es que echa las bases
para la construccin del modelo hipottico-deductivo como ca
tegora central para el anlisis de la ciencia. Esto permiti su
perar el tradicional antagonismo entre induccin y deduccin
dentro de un marco ms general e integrador que el de la teora
de la probabilidad. Tambin ha permitido resolver las insuficien
cias de la induccin enumerativa, en cualquiera de sus formas,
introduciendo el criterio de relevancia en la investigacin de los
casos de causacin. Podra afirmarse que el aporte del sector
neopositivista de la filosofa epistemolgica contempornea, con
algunas excepciones importantes, ha consistido bsicamente en
na profundizacin de la ptica hipottico-deductiva de S. Mili
a travs del uso de aparatos formales lgico matemticos y de
categoras e instrumentos de carcter semntico.
302
XVI
RESEA HISTRICA DE LA LGICA
Objetivos:
Comprender la evolucin histrica de los conceptos lgicos.
Adquirir informacin bsica sobre las etapas histricas princi
pales del desarrollo de la lgica.
Identificar a los principales investigadores en lgica a travs de
la historia.
303
CUESTIONARIO 16
Resea histrica de la lgica
[305]
17. Qu estudios han contribuido al surgimiento de la disciplina
de la Epistemologa?
18. Conoces los nombres de dos lgicos soviticos?
19. Conoces los nombres de dos lgicos latinoamericanos?
20. ; Qu diferencias existen entre la Lgica-Matemtica y las otras
"lgicas"?
306
LECCIN 16
Resea histrica de la lgica
[307]
independencia de su significado o contenido. De esta manera un
razonamiento como: Si todos los peruanos son americanos y to
dos los americanos son occidentales, entonces todos los perua
nos son occidentales es, desde el punto de vista lgico, igual al
anterior porque tienen exactamente la misma estructura o forma.
Desde el punto de vista de su significado, el primero habla de
figuras geomtricas y el segundo de seres humanos pero si se exa
mina las relaciones que existen entre sus trminos, se encontrar
que en ambos casos son las mismas. Los dos ejemplos correspon
den al esquema Si todo A es B y todo B es C, luego todo A es C.
Lo dicho anteriormente nos sirve para hacer comprensible
que la notable contribucin aristotlica fue desarrollar una teora
sobre la validez de los razonamientos o deducciones que no ten
gan en cuenta el contenido de los mismos, sino su forma o estruc
tura. Esta es la razn por la qu la lgica desde su creacin es una
ciencia formal o estructural y este carcter lo mantiene hasta nues
tros das despus de veinticuatro siglos. Asimismo, el tratamien
to estructural que hizo el estagirita (as se le llama a Aristteles
por haber nacido en Estagira) de la deduccin, le posibilit otro
aporte sustancial al desarrollo de la lgica y de la matemtica: el
mtodo axiomtico. Debido a que todos los razonamientos po
dan ser considerados como estructuras, Aristteles axomatiz
su teora del silogismo, seleccionado como puntos de partida cua
tro estructuras bsicas, a las que llam axiomas, y luego constru
y todas las dems como derivaciones de las bsicas. De esta
manera la teora del silogismo constituye el primer sistema axio-
mtico-de la historia de la ciencia.
Casi contemporneos con Aristteles fueron los lgicos es
toicos, quienes tuvieron el mrito de profundizar en algunos cam
pos a los que el autor del Organon no les haba concedido sufi
ciente atencin. Estos filsofos son los precursores ms lejanos de
la actual lgica proposicional y de las teoras que incluyen predi
cados relacinales que son indispensables para dotar a la mate
mtica de una lgica adecuada que el silogismo no proporciona.
Tambin los lgicos conocidos como megricos hicieron en po
cas, cercanas a Aristteles, aportes ingeniosos a la llamada lgica
modal. El ms importante de ellos Diodoro Cronos, se dedic a la
lgica de las modalidades temporales esclareciendo relaciones
308
importantes entre verdad y tiempo. Sin embargo, el influjo de
Aristteles fue avasallador y los estoicos y megricos fueron des
conocidos en la Edad Media durante la cual las investigaciones
lgicas se centraron en el silogismo y sus aplicaciones. Esta tem
tica acapar las preocupaciones de Boecio, Toms de Aquino,
Pedro Hispano y Juan Buridano. Escaparon a ella Abelardo, Lulio
y Occam que visualizaron otros horizontes, especialmente este
ltimo que trabaj apreciablemente la lgica proposicional y co
noci sus principales reglas de inferencia, a pesar de no manejar
un lenguaje simblico adecuado, lo que hizo muy difcil su tarea.
Por aadidura, su conocida concepcin nominalista de los uni
versales, que interpreta a los conceptos como nombres genricos,
es muy prxima a la nocin contempornea de predicado lgico.
309
ble y de la construccin de un lenguaje simblico que supere
significativamente la vieja silogstica aristotlica. Fue la inexis
tencia de un lenguaje lgico-matemtico adecuado hasta media
dos del siglo XIX lo que llev al filsofo Kant (1724-1804), a pesar
de su genialidad, a afirmar errneamente que la lgica creada
por Aristteles era un conocimiento acabado, cerrado y comple
to, puesto que la investigacin post-aristtelica no haba ni refu
tado ni aportado nada nuevo en relacin con las enseanzas del
Organon. Este famoso error del filsofo de Knisberg se debi fun
damentalmente a que no conoci o no valor suficientemente los
avances de los estoicos, de los megricos y de Guillermo de Occam.
El creador indiscutible de la Lgica-matemtica fue el ingls
George Boole (1815-1864) a travs de sus obras Anlisis matemti
co de la lgica e Investigaciones de las leyes del pensamiento. Boole
utiliz el lenguaje del lgebra para atacar los problemas lgicos
tradicionales planteados por el silogismo aristotlico, los cuales
resolvi a travs de procedimientos mecnicos de clculo. Sin
embargo, este nuevo lenguaje, conocido como Algebra de Boole,
manifest su potencia resolviendo problemas que excedan los
alcances de la lgica aristotlica y poniendo por primera vez en
evidencia los errores del estagirita. El Algebra de Boole tambin
se conoce como lgebra de clases o lgebra de conjuntos que con
tinu investigando Augusto de Morgan (1806-1878). Posterior
mente el ingls Jevons, el alemn Schroeder y el sovitico Poretskiy
convirtieron el lgebra de clases en un lgebra de proposiciones;
y Gottlob Frege en su trabajo titulado Begriffsschrft (en espaol,
Ideografa), propuso un mtodo de clculo de matrices para la l
gica proposicional muy semejante al que se usa actualmente. Asi
mismo, Frege desarroll de manera importante la lgica predica
tiva con el fin de aplicar el mtodo axiomtico a la naciente teora
de conjuntos de G. Cantor.
310
tomos. El propsito de esta obra fue poner toda la matemtica co
nocida hasta entonces en estricto orden lgico, utilizando lo que
ahora se conoce como un lenguaje lgico de primer orden. Para
ello Russell y Whitehead aprovecharon los hallazgos del matem
tico italiano Peano expuestos en su libro Los principios de la arit
mtica presentados por un nuevo mtodo, en el que se aplica por pri
mera vez el mtodo axiomtico a la aritmtica. Debido a este he
cho, el simbolismo lgico ms usado actualmente (es el que se usa
en este manual) recibe el nombre de notacin Peano-Russell.
La aparicin de las geometras no euclidianas por creacin de
Lobachevski (1793-1856), Bolyai (1802-1860) y Riemann (1826-1866)
introdujo en la matemtica espacios hiperblicos y esfricos que
alteraban el espacio rectilneo trabajado por Euclides. Alteraciones
semejantes en el lgebra tradicional haban sido introducidas por
la creacin del lgebra abstracta por Evaristo Galois en 1832. Estos
hechos crearon la necesidad de estudiar a las teoras matemticas
mismas a fin de determinar sus propiedades. David Hilbert, en esta
lnea de trabajo, invent la Metamatemtica cuyo objetivo es el es
tudio de las teoras matemticas aplicando los lenguajes lgicos
que haban sido creados por Frege y Russell. Notables investigado
res han dedicado sus mejores esfuerzos a la Metamatemtica y a la
solucin de sus grandes problemas que fueron planteados por
Hilbert en un Congreso de Matemtica realizado en 1900. El ms
conspicuo de todos ha sido Kurt Godel, quien demostr alrededor
de 1930 el ms importante teorema de Lgica-Matemtica de este
siglo, conocido como Teorema de las proposiciones indecidibles.
En 1938, Claudio Shannon aplic el lgebra de las proposiciones al
diseo de circuitos elctricos a conmutadores y relays lo que cons
tituye el aporte ms importante a la construccin de las modernas
computadoras electrnicas digitales. De esta manera, la Lgica-
matemtica dej de ser un instrumento puramente terico para
convertirse en un instrumento que sirve de soporte a la tecnologa
ms sofisticada de nuestro siglo.
La diversificacin de las investigaciones en Lgca-Matemt-
ca, durante los ltimos sesenta aos, ha conducido al surgimiento
de ramas altamente especializadas. El polaco Lukasiewicz desa
rroll las lgicas polivalentes y Tarski, del mismo origen, cre la
semntica lgica con sus investigaciones sobre el concepto de ver-
311
dad en los lenguajes formalizados y demostr la necesidad inelu
dible de usar metalenguajes, reafirmando as los resultados de
Russell y Hilbert. A partir de estos resultados se'ha formulado la
moderna teora de modelos que tiene entre sus representantes a
Tarsky, Keisler, Kreisel, Morley y Robinson. De otra parte Hans
Reichenbah, Keynes, Carnap y Popper han desarrollado las lgi
cas probabilitarias y las han aplicado al anlisis de teoras fsicas y
del mtodo de investigacin cientfica. Estos estudios y sus resul
tados han contribuido al nacimiento y afianzamiento de una nue
va disciplina llamada Epistemologa, cuyo sentido es el anlisis
de la ciencia utilizando instrumentos proporcionados por la Lgi
ca-Matemtica a travs de sus diferentes ramas. Han destacado
como epistemlogos el mismo Popper, Hempel, Nagel, S. Barker,
Stegmller, Moulines y el argentino Mario Bunge, entre otros. En
Estados Unidos han descollado alrededor de la dcada del cin
cuenta los trabajos de Kleene y los de Church sobre funciones
recursivas, cuyos resultados han permitido esclarecer a nivel te
rico y prctico las limitaciones y los alcances de una computadora
electrnica cualquiera. Tambin son notables en este pas los tra
bajos del profesor W. O. Quine quien ha inventado lenguajes muy
complejos y potentes. Sin embargo, el mayor aporte de la lgica
norteamericana est dado por la demostracin que hizo Paul Cohn,
en la dcada del sesenta, de la independencia de la de la hiptesis
del continuo en la teora de conjuntos de Cantor. Este teorema que
al igual que el de Gdel constituye una respuesta a uno de los veinte
problemas de Hilbert, puede ser considerado el segundo en im
portancia en la Lgica-matemtica de nuestro siglo.
E la Unin Sovitica tambin ha habido aportes sustancia
les a travs de Malser, Kolmogorov, P.S. Novikov, A. Markov y
Shanin, entre otros. En la China se han destacado Wang Hsien
Chun, Hao Wang y Shih Hua. El segundo ha trabajado en Esta
dos unidos y ha aportado al mtodo de procesamiento de teore
mas lgicos a travs de computadoras.
312
veinte aos. Tal vez el ncleo ms activo sea el ubicado en Brasil
en las universidades de Sao Paulo y Campias. Su representante
ms distinguido es Newton da Costa, quien es creador de lengua
jes lgicos especiales conocidos como paraconsistentes debido a
que hacen un uso muy especial del principio de no-contradiccin.
Otro sector importante de investigadores se agrupa alrededor de
la universidad de Baha Blanca en Argentina y entre ellos mere
ce especial mencin L. Monteiro, que con un grupo de profeso
res colaboradores ha hecho importantes publicaciones en lgica
algebraica. En Chile destac un residente alemn, Gerold Stahl,
quien hizo investigaciones metamatemticas. En las universida
des catlicas de Santiago y Valparaso existe un grupo de profe
sores que trabajan en lgica algebraica y lgica probabilitaria.
En el Per, la actividad en Lgica-Matemtica la inici el po
laco Rosenblat y la continu Francisco Mir Quesada C. Los tra
bajos estn orientados en su mayor parte a la divulgacin, espe
cialmente en niveles introductorios. Sin embargo, la actividad es
creciente y su ncleo ms activo se encuentra en la Universidad
de San Marcos y en la Universidad Catlica de Lima.
313
ten leyes y reglas que las gobiernan, las cuales en un sentido es
pecial constituyen su lgica interna. Pero eso es hablar de lgica
en un sentido, muy lejano al de la Lgica-Matemtica.
Es difcil definir breve y elementalmente a la Lgica-mate-
mtica. Empero, para los fines que nos proponemos es suficiente
decir que es una ciencia formal dedicada a la construccin de
lenguajes especiales, llamados lenguajes formales, que sirven
para expresar o mostrar la estructura de la teoras cientficas y
para dar las reglas que permiten transformar una estructura dada
en otra. Como puede comprenderse a partir del estudio de su
historia y de sus problemas, esta disciplina se encuentra indisolu
blemente unida a la matemtica y sus principales esfuerzos y lo
gros han estado orientados hacia el esclarecimiento de los funda
mentos de la aritmtica, de la teora de conjuntos, de la geometra
y del lgebra abstracta. Es a partir de sus aportes en estos campos
que la Lgica-Matemtica ha aportado decisivamente a la cons
truccin de computadoras y ha hecho posible la elaboracin de
lenguajes para la comunicacin entre el hombre y la mquina.
Como se comprende, no existe dificultad en que alguien
hable de otras lgicas siempre y cuando no pierda de vista
la diametral diferencia que existe entre ellas y la Lgica-mate
mtica. En el caso de un manual introductorio, como ste, hacer
una distincin clara y fundada es tarea ineludible que esperamos
haber cumplido.
314
BIBLIOGRAFIA BSICA
AGAZZI, Evandro
1986 La lgica simblica. Barcelona; Ed. Herder.
BLANCH, Robert
1963 Introduccin a la lgica contempornea. Buenos Aires; Ed. Carlos Lohl.
COHEN, M. y NAGEL E.
1971 Introduccin a la lgica y al mtodo cientfico. Buenos Aires: Amorrortu
Ed. Tomo 1.
COPI, Irving y COHEN
1997 Introduccin a la lgica. Buenos Aires: Eudeba.
DA COSTA, Newton
1997 Logiques classiques et non classiques. Pars: Masn.
DEAO, Alfredo
1974 Introduccin a la lgica formal. Madrid: Alianza Editorial.
FERRATER, J. y LEBLANC, H.
1962 Lgica matemtica. Mxico: Fondo de Cultura Econmica.
FUCHS, Walter R.
1974 Los padres descubren la nueva lgica. Barcelona: Ediciones Omega
S.A.
GRANELL, M.
1949 Lgica. Madrid: Ed. Revista de Occidente.
HOPCROFT, John y Jeffrey ULLMAN
1969 Formal language and their relation to Autmata. Addison: Wesley Pu-
blishing Company.
MATES, Benson
1971 Lgica matemtica elemental. Madrid: Ed. Tecnos.
[315]
MENDELSON, E.
1964 Introduction to Mathematicl logic. Van Nostrand.
MIR QUESADA, Francisco
1964 Lgica. Lima: IPEM.
NEBENDAHL, Dieter (ed.)
1988 Sistemas expertos. Berln: Siemens Aktiengesellschaft.
QUINE, W.O.
1971 El sentido de la nueva lgica. Buenos Aires: Ed. Nueva Visin.
REINHART, Jacques
1961 Las etapas de la lgica. Buenos Aires: Ed. Marisol.
SACRISTN, Manuel
1964 Introduccin a la lgica y al anlisis fomial.Barcelona: Ed. Ariel.
STHAL, Gerald
1962 Introduccin a la lgica simblica. Santiago: Ed. De la Universidad
de Chile.
SUPPES, Patrick
1957 Introduction to logic. Van Nostrand.
SUPPES, P. y HILL, S.
1996 Introduccin a la lgica matemtica. Barcelona: Ed. Reverte.
TARSKI, Alfredo
1951 Introduccin a la lgica y a las metodologas de las ciencias deductivas.
Buenos Aires: Ed. Espasa Calpe.
VAN HEIJENOORT, J. (ed.)
1967 From Frege to Gdel Harvard: Harvard University Press.
316
Glosario
[317]
blemas. A los algoritmos tambin se les llama -procedimientos de deci
sin, y los mtodos para sumar, restar o sacar raz cuadrada son ejem
plos de algoritmos conocidos. Las tablas de verdad tambin son algort
micas pero no las reglas conocidas como de deduccin natural. Asimis
mo, cualquier conjunto de rdenes adecuadas para un computadores un
algoritmo.
CAUSALIDAD: Aristteles, en su obra M etafsica distingui cua
tros causas: 1) la causa m aterial, que es aquello de lo que est hecho
algo o aquello que lo constituye; 2) la causa form al, que es aquello que
define especficamente a una cosa o que es su esencia; 3) la causa efi
ciente, que es la fuerza que produce una cosa, la mueve o la modifica;
4) la causa fin a l, que es el fin hacia el cual tiende algo. Ellas responden
a las preguntas De qu...?, Qu...?, Por qu...? y Hacia qu...?
respectivamente. El principio de causalidad de la ciencia moderna, fun
dada por Galileo, asume slo la causa eficiente de Aristteles al afirmar
que todo hecho o acontecimiento que ocurre es efecto de otros que son
su causa y, a su vez, l mismo es causa de otros efectos . De esta mane
ra, se concibe a la naturaleza como una multiplicidad de hechos que
constituyen elementos de cadena causales, las cuales pueden ser enten
didas sin necesidad de recurrir a entidad sobrenatural alguna. Por con
siguiente, la explicacin de un hecho se convierte en la identificacin del
hecho o hechos que la causan. Con el surgimiento de la mecnica de
Newton se comienza a hablar de leyes causales que rigen la naturaleza
y, particularinente, el movimiento, dichas leyes eran ecuaciones que fue
ron perfeccionadas por Laplace. De este modo, si se conoca los valores
numricos del m om ento y de la p osicin de un mvil, por ejemplo la
Luna, aplicando las ecuaciones diferenciales de Laplace, se poda deter
minar ios valores de sus momentos y posiciones posteriores. Esto con
dujo a Laplace al m ecanicism o, que fue una corriente filosfica que con
cibi al universo como una gran mquina cuyo funcionamiento est
regido por las leyes causales de Newton. El mecanicismo tambin es co
nocido como determinismo y fue superado, en nuestro siglo, por la me
cnica cuntica de Max Planck y Wemer Heisenberg.
CIENCIA: La palabra 'ciencia' tiene como origen etimolgico la pala
bra griega episteme que fue usada por Aristteles para referirse al co
nocimiento de las causas que producen el movimiento de las cosas par
ticulares y el cambio de las mismas. Actualmente, se usa 'ciencia' para
hacer referencia al conocimiento que est constituido o conformado por
318
teoras cientficas que se caracterizan por ser conjuntos de proposicio
nes que muestran las relaciones ms generales que existen entre los ob
jetos y procesos que constituyen, un sector de la realidad. Las proposi
ciones que constituyen las teoras son usualmente llamadas leyes cien
tficas, de manera preferente en lo campos de la fsica, qumica, biologa
y, por extensin, en los de las ciencia sociales como la economa y la so
ciologa, o en el campo de las ciencias de la conducta, como es el caso de
la psicologa. Las leyes cientficas, en las reas ms desarrolladas del co
nocimiento, se expresan en lenguaje matemtico y cumplen la funcin
de explicar con precisin las causas de los hechos o procesos, del mbito
que les es propio, y de predecir con rigor matemtico el curso futuro ms
probable de los mismos.
CIENCIAS EMPRICAS: Son todas aquellas ciencias constituidas por
proposiciones cuya verdad se establece contrastndolas con los hechos
de la realidad natural o social, que pueden ser percibidos por un obser
vador. Consecuentemente, en estas ciencias es la experiencia la que nos
permite decidir la verdad o falsedad de una proposicin. A estas disci
plinas tambin se les denominan ciencias fcticas.
CIENCIAS FORMALES O ESTRUCTURALES: Son aquellas cien
cias constituidas por proposiciones, cuya verdad se establece mediante
la construccin de demostraciones que se ajustan a reglas lgicas de de
duccin o inferencia. En estas ciencias carece de sentido intentar esta
blecer la verdad de una proposicin por medio de la contrastacin con
los hechos, pues en ellas slo se admite una proposicin como verdadera
si es que existe una demostracin o prueba lgica para ella. Las ciencias
formales, son la Matemtica y la Lgica-Matemtica. Asimismo, la apli-
cabilidad de la matemtica a la realidad natural y social no es una prueba
de su verdad sino consecuencia de ella. Para distinguir las diferentes
maneras de establecer la verdad en ciencias empricas y en ciencias for
males .se dice que las primeras poseen proposiciones empricamente ver
daderas o a p osteriori y las segundas proposiciones lgicamente ver
daderas o vlidas a priori.
CLASE: En los niveles elementales se usa indistintamente los concep
tos de clase y conjunto, lo que da lugar a imprecisiones de magnitud
creciente. Desde Von Neumann, uno de los matemticos ms notables
de este siglo, se ha establecido que el concepto de clase es de mayor ex
tensin que el de conjunto. De este modo, intuitivamente, se admite que
una clase es cualquier coleccin de elementos. Un conjunto es una clase
319
que puede ser elemento de otras clases y una clase ltim a es una clase
que no puede ser elemento de clase alguna. As los objetos concretos son
elementos de los conjuntos. Y los conjuntos, que son un tipo especfico
de clase, son elementos de las clases ltimas. A grosso m odo se dice
que un conjunto es una clase que no es demasiado grande y esta distin
cin se ha hecho con el propsito de evitar paradojas que son contradic
ciones especiales. Una consecuencia de ello, es que se puede definir la
clase de todos los conjuntos que satisfacen la condicin P(x) . Pero no
la clase de todas las clases que satisfacen la condicin P(x) . La la
clase de todas las clases es simplemente una contradiccin en los tr
minos. (Los crculos de Venn usados en este texto representan conjun
tos; y el rectngulo, una clase ltima.)
CONCEPTO: Es un trmino que denota una propiedad que la posee o
satisface un conjunto de objetos o elementos. Un concepto, se refiere a
una pluralidad de individuos que constituyen el conjunto extensin del
concepto. Un nombre propio es desde el punto de insta lgico, lo opuesto
a un concepto en la medida que se refiere a un tnico elemento para iden
tificarlo. Los conceptos pueden tener diversos grados de abstraccin. Los
menos abstractos son aquellos cuyo conjunto extensin tiene como ele
mentos objetos macrofsicos como, por ejemplo, el concepto felin o. Los
ms abstractos tienen un conjunto extensin cuyos elementos o no son
directamente observables como el concepto microfsico de quark, o sim
plemente se trata de objetos slo entendibles como el de nmero com
p lejo. Lgicamente, los conceptos son predicados de la forma P(x).
CONJUNTO: (Ver CLASE)
CONTRASTACIN: Es el acto por el cual se coteja lo que dice una
proposicin con lo que constatamos que ocurre en la realidad natural o
social As se decide si la proposicin es empricamente verdadera o em
pricamente falsa. La contrastacin puede hacerse directamente, esto es,
estableciendo la correspondencia entre lo que dice la proposicin y la rea
lidad o indirectamente, esto es, cotejando con la realidad no la proposi
cin misma en cuestin sino las proposiciones que se deducen lgica
mente de ella. El concepto de contrastacin, en la bibliografa actual, ha
reemplazado prcticamente al de verificacin debido a la influencia del
filsofo Karl Popper.
CUANTIFICADOR: En lgica se denomina cuantificador, en gene
ral, a un operdador que nos permite referimos a todos los objetos de una
clase, que se escribe ( V x ) , y a otro que nos permita afirmar que una
320
clase o universo dado tiene al menos un objeto, pudiendo tener muchos
ms. Este segundo se escribe as: (3x). Al primero se le denomina cuan-
tificador universal y al segundo cuantificador existencia!. El cuantifica
dor (\fx) se lee: para todo objeto x , es el caso que y el cuantificador
(3x) se lee: existe al menos un objeto x tal que. De este modo, la fr
mula Ox) P(x) se lee: Existe al menos un objeto x tal que este x tiene
la propiedad P y la frmula (Vx)(P(x)>Q(x)) se lee: Para todo obje
to x, si x tiene la propiedad P, entonces x, tiene la propiedad Q. Usan
do el operador de negacin los cuantificadores son interdefinibles y sus-
titibles entre s. As, la frmula (\fx)P(x) es definible y sustitidble por
~ (3x) ~ P(x) y, de la misma manera, (3x) P(x) es reemplazada por
~ (Vx) ~ P(x). Esto significa que nn sistema lgico puede prescindir de
tino de ellos . Para algunos casos especiales se usa al denominado cuan
tificador iota, introducido por B. Russell que se escribe (3xi) y se lee:
Existe un nico objeto x tal que. Este cuantificador es existencial y
su uso es muy limitado porque se puede prescindir de l mediante el
uso adecuado de los otros dos . Los cuantificadores tambin se utilizan
con predicados relacinales (ver PREDICADO). Por ejemplo la frmula
( V x ) ( 3 y ) R ( x , y ) s e lee: Para todo objeto x existe al menos un
objeto tal que es el caso que x est en la relacin R con y. El cuantifi
cador de mayor jerarqua es el que aparece al comienzo de la frmula y
as en orden de jerarqua decreciente.
DEDUCCION: Es una operacin lgica que consiste en obtener, me
diante la aplicacin de reglas lgicas, llamadas de deduccin, a partir
de un conjunto de proposiciones, conocidas como premisas, una nueva
proposicin conocida como conclusin .
Lo que garantizan, en lo fundamental, las reglas lgicas de deduccin
es que la conclusin se deriva de las premisas sin contradiccin. Asi
mismo, una demostracin en matemtica es estrictamente un ejemplo
de deduccin.
DEFINICIN; Es una operacin metodolgica que sirve para explicar
de manera precisa el significado de un trmino. Consta de un Definien-
dum y de un Definiens. El Definiendum, es el trmino cuyo signifi
cado se pretende explicar o determinar y el D efiniens, es el conjunto de
palabras de uso conocido que nos permite explicar el significado del De
finiendum. Una definicin se escribe a manera de una igualdad cuyo
primer miembro es el Definiendum y cuyo segundo miembro es el De
finiens. El requisito fundamental que debe cumplir toda buena defini-
321
cin es que el Definiendum no sea elemento del Definiens. Si esto ocu
rre, la definicin es defectuosa y se le llama circular. Existen muchos
tipos de definiciones, tales como lexicogrficas, estipulativas, operado-
nales, etc.
DEMOSTRACIN POR REDUCCIN AL ABSURDO (RAA):
Una proposicin P se demuestra lgicamente por Reduccin al absurdo
cuando el primer paso deductivo consiste en suponer que P es falsa (lo
cual se formaliza mediante no-P), y a partir de esta suposicin se de
duce una contradiccin de la forma A y no-A. A si se dice, como la ne
gacin de P conduce a contradiccin, entonces P es una proposicin ne
cesariamente verdadera. A esta demostracin se les llama indirectas o
apaggicas.
HIPTESIS: Es una conjetura que pretende dar respuesta a una inte
rrogacin que expresa un problema cientfico. Tambin puede definirse
como una solucin tentativa a un problema cientfico. Una caractersti
ca fundamental de las hiptesis es que deben ser decidibles como verda
deras o como falsas, razn por la que son expresadas a travs de propo
siciones o enunciados.
INDUCCIN: Tradicionalmente se considera la induccin como la in
ferencia que, a partir de premisas que describen hechos singulares o par-
ticidares, derivan una conclusin de carcter universal o general. Sin
embargo, como las premisas slo se fundan en constataciones hechas en
algunos de los objetos del universo estudiado, esto es, en lo que se lla
ma una muestra, y la conclusin es tina proposicin general que hace
una afirmacin sobre la totalidad de los objetos del universo, entonces
no se le considera verdadera sino probable. En breve, los clsicos como
Aristteles y Francisco Bacon concibieron a la induccin como una in
ferencia, opuesta a la deduccin, que opera de lo particular a lo general
En et siglo pasado John Stuart Mili precis que la induccin no es una
inferencia que estrictamente obtenga una conclusin general a partir de
premisas particulares, debido a que contiene siempre como premisa im
plcita una proposicin general, denominado por l principio de uni
fo rm id a d de la naturaleza. De este modo, para Stuart Mili la induc
cin era una deduccin que se distingua de las dems por tener como
premisa mayor al principio de uniformidad de la naturaleza. Actualmen
te, la induccin se define como una inferencia no conclusiva que esta
blece el grado de confirmacin de una proposicin general a partir de la
verdad de las proposiciones de observacin que de ella se deducen. Por
322
inferencia no conclusiva se entiende que la conclusin no se sigue nece
sariamente de las premisas y el concepto de grado de confirmacin es
traducible por un valor detenninable dentro del clculo de probabilida
des, el mismo que fue utilizado por R. Carnap y C. Hempel para definir
matemticamente dicho concepto. Asimismo, la tendencia actual enca
bezada por el filsofo Karl Popper sostiene que la induccin carece de
fundamento y no forma parte del razonamiento cientfico.
INDUCCIN MATEMTICA: El matemtico italiano Guiseppe
Peono fiie el primero en presentar la aritmtica como una teora riguro
sa, esto es, como un sistema hipottico-deductivo de enunciados. Esta
tarea la cumpli en su obra P rincipios de aritm tica publicada en
1889. El quinto axioma de su teora es conocido como principio de de
duccin matemtica o principio de induccin completa, que es un enun
ciado implicativo de naturaleza muy distinta a lo que se denomina in
duccin en la filosofa tradicional (Ver IN D U C C I N ). Dicho princi
pio afirma que si una propiedad cualquiera se cumple para el cero,
y se cum ple adem s para un nm ero natural cualquiera bajo la
presuposicin de que se cum ple para su antecesor, entonces to
dos los nm eros naturales tienen la propiedad en cuestin . Usan
do la simbologa introducida en este glosario (Ver P R E D IC A D O y
C U ANTIFIC AD O R), una formulacin aceptable del quinto postidado
de Peano es la siguiente:
(P(0)&( Vn)(P(n)->P(n+l)))->("x)P(x)
(Vx)[(Vz)(z<x^P(z))^P(x) ( Vx )P ( x )
323
LENGUAJES NATURALES U ORDINARIOS: Son aquellos len
guajes que se usan en la vida cotidiana, como el espaol, el ingls, el
alemn, etc. Esta denominacin se usa para distinguirlos de los lengua-
jes formales como los de la lgica y de la matemtica.
LEY CIENTFICA: Es una hiptesis cuya verdad ha sido establecida
a travs de la observacin de hechos o acontecimientos que pertenecen
al sector de la realidad al cual se hace referencia. En la prctica cientfi
ca se acepta como una limitacin a esta definicin el hecho de que exis
ten proposiciones cientficas que tienen la condicin de leyes pero que
no son verdaderas en el sentido que lo son las leyes macrofsicas, como
las de la mecnica de Newton. Ello se debe a que estas proposiciones ex
presan relaciones estadsticas lo que las ubica dentro del mbito de la
probabilidad ms que de la verdad. Las leyes de la termodinmica y de
la microfsica en general son probabilsticas y tambin las de la econo
ma o las de la psicologa, entre otras ciencias.
METALENGUAJE: Se dice que tm lenguaje L es un metalenguaje
cuando se lo usa para describir a otro lenguaje L que se denomina len
guaje objeto. Esto significa que, por ejemplo, el lenguaje L no tiene nom
bres que denoten cosas u objetos del mundo real sino que los nombres
de L denotan o hacen referencia a los signos de L, tambin a sus propo
siciones y a sus nombres. En breve, L no habla de cosas o hechos sino de
objetos lingsticos. As, si en L existe la palabra gato como nombre de
un animal domstico, en L existir la expresin 'gato' que no es el nom
bre de un animal sino la palabra gato. Puede resultar raro que una pa
labra tenga nombre; pero desde el punto de vista lgico, cada palabra de
L tiene un nombre en L que se construye ponindole comillas simples a
las palabras de L. Tarski demostr que si con el lenguaje L construi
mos ua teora cientfica cualquiera, entonces la palabra 'verdadero'no
puedf ser parte de L sino L, que es el metalenguaje de L.
METATEORA: Es la disciplina que estudia las propiedades de las teo
ras cientficas que son tomadas como lenguajes-objetos. La metateo-
ra hace uso de metalenguajes y algunos la llaman m etaciencia.
MODELO DE CAJA NEGRA: Es un diagrama explicativo y de si
mulacin que consiste en un rectngulo con una lnea de entrada y otra
de salida (en ingls: input y ontput). Pretende representar el compor
tamiento de un organismo o de un artefacto, de estructura indetermi
nada, en interaccin con su ambiente recibiendo estimulaciones a travs
de sus entradas y emitiendo respuestas mediante sus salidas. Tiene ade
324
ms un circuito d efeed back (retroalimentacin o autorregidacin) que
representa la forma como el organismo o el artefacto representado va
modificando su comportamiento en funcin del modo como el ambiente
acepta o no sus respuestas.
ORGANON: Las obras de Aristteles sobre lgica son conocidas bajo
el ttulo de Organon, palabra de origen griego que tambin es conocida
en su versin latina de Organum. Los discpulos de Aristteles, con la
palabra Organon quisieron enfatizar el sentido instrumental de las re
glas de la lgica aristotlica para probar la verdad. En la filosofa pos
terior Organon ha mantenido este sentido metedolgico enfatizando la
idea de conjunto sistemtico de reglas para pensar correctamente. Cier
tamente, la pretensin tambin ha sido que tal conjunto de reglas es com
pleto. Una ms sera superfina y una menos dara lugar a insuficiencia.
Francisco Bacon, duro crtico de Aristteles, escribi el Novum Org
anum propugnando que deba dejarse atrs definitivamente la lgica y
metodologa aristotlica expuesta en el Organon.
PARADOJA: Se conoce como paradoja a un tipo especial de contra
diccin constituida por una proposicin P cuya verdad implica su fal
sedad y cuya falsedad implica su verdad. Recurriendo a un ejemplo cl
sico supondremos que P es la proposicin Yo miento. Luego, si es
verdad que miento, entonces hago afirmaciones falsas y, como yo afir
mo P, entonces P es falsa. Recprocamente, si es falso que miento, en
tonces digo la verdad y, como yo digo P, entonces P es verdadera. Una
contradiccin normal del tipo L a rosa es roja y la rosa no es roja,
de la forma P y no-P, no tiene este comportamiento. Por ello es insufi
ciente decir, simplemente, que una paradoja es una contradiccin. Asi
mismo, las paradojas se clasifican en lgicas y semnticas. La que he
mos expuesto se conoce desde la antigedad como paradoja de Epimni-
des o del mentiroso.
PARALOGISMO: Es una falacia que generalmente consiste en alte
rar ilegtimamente la estructura del silogismo. Los diagramas de Venn
permiten descartar la falacias que los antiguos conocieron como paralo
gismos y otras que desconocieron por falta de instrumentos adecuados.
POSTULADO: En matemtica, un postulado es una proposicin cuya
verdad se acepta o se supone en la condicin de punto de partida para
la demostracin de la verdad de otras proposiciones, que son sus conse
cuencias lgicas. Para algunas corrientes lgicas y filosficas lo que con
vierte a una proposicin en postulado no es su verdad, que es irrelevan-
325
te, sino el hecho de que ofrezca caractersticas que la conviertan en un
punto de partida-productivo. Se considera que si las consecuencias de
un conjunto de postidados son verdaderas, entonces tales postulados son
verdaderos.
El gemetra griego Euclides (siglo III a. C.) distingui entre axioma y
postulado en su obra Elem entos. Para la matemtica contempornea
carece de importancia tal distincin y adolece de sustento el criterio de
evidencia que us Euclides para definir dichos conceptos.
PREDICADO: (En lgica) A las propiedades y cualidades de los obje
tos, individuos, o procesos se denota en lgica usando predicados a lo
que se representa mediante frmulas del tipo P ( x ) , Q ( x ) , S ( x ) ,
etc. las mismas que se leen en castellano como el objeto x tiene la pro
piedad P, El objeto x tiene la propiedad Q, y as sucesivamente. Las
letras maysculas P, Q, S... se denominan letras predicativas y deno
tan propiedades como las de 'ser azV, 'ser nmero par', 'ser hombre'
o 'ser un polinomio' por citar slo algunos ejemplos. La letra minscu
la x se denomina variable individual y denota de manera general a cual
quier objeto o individuo que tiene la propiedad que la letra predicativa
respectiva representa. En lgica no se acepta los nombres comunes de la
gramtica como tales sino como predicados. As, el nombre comn 'gato'
para efectos lgicos es el predicado 'x tiene la propiedad de ser un gato'
y se escribe G ( x ). Las frmulas P ( x ), Q ( x ), etc. se conocen como
funciones proposicionales o predicativas. Las que tienen una sola varia
ble individual se llaman mondicas, que es el caso de los ejemplos da
dos. Existen tambin las didicas de la forma R ( x , y ) , las tridicas de
la forma R (x, y, z), y as sucesivamente. Las funciones proposicionales
que tienen dos o ms variables individuales se conocen genricamente
como predicados relacinales o, simplemente, relaciones. Por ejemplo la
fnnulh W ( x, y, z ) se lee: Los objetos x, y, z se encuentran en la
relacin W. Se dice en general, que un predicado tiene grado n si po
see un nmero n de lugares para variables individuales. En el caso de
W ( x, y, z ) se trata evidentemente de un predicado de grado 3, y en el
de R ( x, z ) de un predicado de grado 2. Debido a lo anterior, la fonna
general de escribir un predicado en lgica es: P ( x , x^..., x j .
PROPOSICIN NECESARIAMENTE VERDADERA: Una pro
posicin P es necesariamente verdadera si desde su negacin no-P es
posible deducir una contradiccin lgica de la forma A y no-A. A estas
proposiciones tambin se les llama apodcticas.
326
RELACIN DE FUNCIONALIDAD: Se dice que existe una rela
cin de funcionalidad entre dos hechos o propiedades cuando sta puede
ser expresada mediante una proposicin matemtica de la forma y - f
(x). Sin embargo, esto no significa necesariamente que la propiedad o
hecho denotado por y es producido por el hecho denotado por x. Si esto
ltimo ocurre, entonces, la relacin de funcionalidad es adems una re
lacin de causalidad.
TRMINO OBSERVACIONAL: Es aquel que denota o hace referen
cia a objetos, propiedades o procesos directamente observables. Son tr
minos observacionales, por ejemplo, 'rojo', 'azul', 'estornudo', 'columna
de mercurio de 37 grados centgrados', etc. En particular se afirma que
hay observacin directa cuando el investigador tiene como dato inme
diato no un efecto del objeto estudiado sino al objeto mismo. La presen
cia o ausencia de instrumentos de observacin en este proceso es irrele
vante para su caracterizacin.
VERDAD: El concepto de verdad se usa en la ciencia y en la filosofa
como una propiedad que pueden tener slo las proposiciones. De acuer
do con esto no existen cosas verdaderas sino slo proposiciones verda
deras. A lo largo de la historia de la filosofa se ha dado al menos tres
tipos de definiciones para el concepto de verdad. La ontolgica, sostiene
que una proposicin es verdadera cuando lo que afirma corresponde a lo
que ocurre en realidad. La formal o de la coherencia sostiene que una
proposicin es verdadera cuando es demostrable o deducible sin contra-
diccin. La pragmtica sostiene que una proposicin es verdadera cuan
do lo que afirma es til o produce acciones exitosas. Resultados debidos
principalmente al polaco Alfredo Tarski han puesto en evidencia, en este
siglo, que una definicin adecuada del concepto de verdad requiere el uso
de un metalengnaje para evitar incurrir en paradojas (contradicciones)
como la del mentiroso.
327
SOLUCIONARIO
CUESTIONARIO 1
Proposiciones
CUESTIONARIO 2
329
CUESTIONARIO 3
I.
1. D isyuncin inclusiva (DI) 6. DF 11. DF
2. D isyuncin exclusiva (DF) 7. DI 12. DI
3 .D F 8. DI 13. DI
4. DI 9. DI 14. DI
5. DI 10. DF 15. DI
l.~(~p vq) 5. ~ ( P V ~ q )
2.~(~p vq) 6. ( p v q )
3~(~pAq) 7. ~ ( ~ p v - q )
4*~(pA~q) 8. ~ p v q
. l.F 2. V 3. V 4. F
CUESTIONARIO 4
II.
1. p q 5. q p
2. q -> p 6. p solam ente si q: p q
3. q p 7. Si p, entonces q: p -> q
4. q -> p 8. N o es posible p porque no q: ~ q
V.
l . p - > ~ ~p
2. ~ ~p p
3- (P-v ~ p) p
4. pT-> ~p
5. ~ ~ p -* p
CUESTIONARIO 5
I. -
1.p<H>q
2.~ p<H>~p
3.~p->~q
4. ~ q -> p
5. ~ p o- q
330
II.
1. p <-> q
2. p<H>p
3. p -> q
4. q - > p
5.p^q
III. Las proposiciones equivalentes son: 3 ,4 y 5
IV. Las afirm aciones falsas son : 2 y 3.
V I. p: Est lloviendo
q: Est nevando
r: Est corriendo viento
2. p: U sted se casar
q: U sted se convertir en actriz
r: U sted ser fam osa
3. p: La gente piensa en la crisis
q : A lguien distrae a la gente
CUESTIONARIO 6
1. (p -o -q ) a (p <->q)
2- (p<-> q ) - K q v ~ p )
3-(P *q ) v (rs)
331
4. ( p - > q )-> r
5 . ( p > q ) > ( ( r v p ) ( r v q ) )
6 - ( p > q ) > ( ( q - > r ) - > ( p - > r ) )
7. ( p - > ~ q ) o ( q - > ~ p )
S .((p -> q )A r) A ((p -> q )v (p -> r))
III.
1. p V q A r v p
2. p v q a rv ~ p
3. p ^ q a r a~ s
4. p > q . v . r s a svp
5. p - q v s . A . ~ r
V.
1 . ~ ( p >q )
2.~ (p* q)
3.~(p v~ q )
4. ~ ( p ~ q )
5. ~ ( ( P -> q ) -( q ->P ) )
6.~((p-> q )- ((p -> q )v r))
CUESTIONARIO 7
I.
1. Tautologa.
2 . Consistente.
3. Tautologa.
4. Tautologa.
5. Contradictoria.
6. Consistente
II.
1.p-(q vp)
2 . ( p ^ q ) v ( q ^ p )
3.p-(q-p)
332
4. (p->(qA~q))-~p
5- ( P -> ~ P ) -> ~ P
III.
1. A firm acin verdadera pero no tautolgica
2. Es tautolgica
3. Es tautolgica
4. Afirm acin verdadera pero no tautolgica
5. Es tautolgica
6. A firm acin verdadera pero no tautolgica
IV Solam ente los ejem plos 2,3 son proposiciones equivalentes
V.
1. V 3. F 5. F 7. V 9. V
2. V 4. F 6. V 8* V 10. F
C U E S T IO N A R IO 8
II.
1. Vlida
2. Invlida
3. Invlida: Justificacin:
H iptesis H: F(((p v q ) v r ) K P A S))
F(V ((p v q) v r) F (p a s))
F(V ((p v q) v V (r)) - > F(F(p) a F(s)))
H iptesis H aceptada. La formula es
necesariam ente F cuando r es V, p es F y S es F
sin que importe el valor de q.
4. Vlida
5. Invlida
III.
1. [ ( p -> ~ q ) a p J - ~ q
2. A
[ ( P ->q ) ( ~ q -> ~ r ) ] ^ ( p ^ ~ r )
3. [(pvq)A~p]->cI
4. A
l ( P ->q ) ~ q ] -> ~ P
5. [ ( p ~ q ) A ( q - > r ) ] - ( ~ P -* r)
6. {1 ( P -q ) A ( r '- q ) ] ( q v ~ q ) } >(
A
7. [ ~ ( P A q ) A p ] - > ~ q
333
8 - [ ( p > q ) / \ q ] > p
9. [ ( p - q ) A ( q - r ) ] - ( ~ r - ~ p )
10. { [ ( q ^ p ) A ( ~ r ^ s ) ] A ( - s v ~ p ) } ^ ( r v ^ q )
V.
1. V lido 2. Las premisas 3. falsas 4. Verdaderas - falsa.
C U ESTIO N A RIO 9
Deduccin natural
I. Justificacin de deducciones
(1)(0 -> ~ P )a (~Q ->R )
(2) ( S - T ) a ( ~ U - > ~ Z )
(3) ( ~ P S ) a ( R - > ~ U )
(4) ( T v - Z ) ( W a X )
(5) O v ~ Q / W a X
6.~PvR DC. (1), (5)
7. S v ~ U DC. (3), 6
8. T v - Z DC. (2), 7
9. W a X MP. (4), 8
2.
0) [ ( A v ~ B ) v C ] [ D - ( E F)]
(2) ( A v ~ B ) [ ( F < - > G ) > H ]
(3) A - [ ( E < -> F ) - > ( F G)]
(4) A / .. D - > H
5. A v~B Adic. 4
6. (Av~B)v C Adic. 5
7. D -> ( E F) MP. ( 1) , 6
8. (E ^ F) -> ( F o G ) MP. (3), (4)
9. D > ( F <h > G ) SH. 7,8
10. (F G ) > H MP. (2) 5
11. D -> H SH. 9,10
334
u> 0) A -> B
(2) C - D
(3) ~ B v ~D
(4) ~~A
(5) (Ea F) C/ ~(E a F)
6. (A B ) a ( C D ) Adj. (1), (2)
7. ~ Av ~ C DC. (3), 6
8. ~C SD. (4), 8
9. ~(E a F) MT. (5), 8
4.
O) (G - H ) - K I <->J)
(2) K v ~ ( L M )
(3) ( G H ) v ~ K
(4) N -> ( L -> M)
(5) ~(I .-. ~N
6. ~(G H) MT. (1), (5)
7. ~K SD. (3), 6
8. ~ ( L - M ) SD. (2), 7
9. ~N MT. (4)
5.
335
II. EJECUCIN DE DEDUCCIONES
(1) Fv(GvH)
(2) ( G I ) a ( H > J )
(3) ( Iv J ) - > ( F v H )
(4) ~F /:. H
5) G vH SD. (1), (4)
6) IvJ DC. (2), 5
7) FvH MP. (3), 6
8) H SD. (4), 7
2.
(O K L
(2) M >N
(3) ( 0 -> M )a(P->L)
(4) ( ~ N v ~ L ) a ( ~ M v ~ O ) /.: . ( - O v ~ P )
v ~ K)
5) ~ Nv ~ L Simp (4)
6) ~Ov~P DD. (3), 5
7) ( M N ) a ( KL ) Conj. (1),(2)
8) ~Mv~K DD 5,7
9) (~Ov ~ P )a (~ M v ~ K) Adj. 6,8
J.
1) Q ( R - > S )
.2) ( R S ) - T
3) (SaU )^-P
4) ~ P ( R ~ W)
5) ~ T v ~ ( R o ~ W ) /:.~ Q v ~(SAU)
6) Q -> T SH. (1), (2)
7) (S a U )->(R o ~W) SH. (3), (4)
8) ~(R<-~W)v~T CONM. (5)
9) ( R < - ~ W ) ~ T RDN. 16,
10) (S a U)-~T SH. 7,9
11) T - > ~ ( S a U) Transp. 10
12) Q->~(S a U) SH. 6,11
13) ~ Q v ~ ( S a U) RDN. 16,
336
4.
(1) ( 0 - ~ P ) a(P-Q)
(2) Q - N
(3) ~ R - P / . . R
4) ~R P.A.
5) o->~p Simp. (1)
6) P >Q Simp. (1)
7) P MP. (3), 4
8) Q MP. 6,7
9) ~o MT. 5,7
10) ~Q MT. (2),9
11) Q a ~ Q Conj. 8,10
12) ~ R - > ( Q a ~ Q ) PC. 4, 11
13) ~ ~ R RAA. 12
14) R DN. 13
(1) X ( Y Z )
(2) X > ( A > B )
(3) X a ( Y v A)
(4) ~Z /.. B
5) ~ B RA.
6) X Simp. (3)
7) Y Z MP. (1),6
8) A B MP. (2),6
9) Y v A Simp. (3)
10) ~ A MT. 5,8
11) Y SD. 9,10
12) ~Y MT. (4),7
13)
>
Conj. 11, i:
>*
<
l
1) C - ( D ~ C )
2) C <-> D /.*. ~ C a ~ D
337
3) ( C a D) v (' ~ C A ~ ) DEF. BC (2)
4) ~ C v (-- D v - - C) DEF. 16. (1)
5) (~D v ~-C) v-~ c C0M .4
6) ~D v (~-C v ~ C) AS.5
7) (~C v ~' C) v -~ D C0M.6
8) ~Cv~D IDEMP. 7
6) ~ ( C a D) DM. 8
7) ~ Ca ~ D SD. 3,6
7.
1) Jv(~KvJ)
2) K v ( ~ J v K ) /.*. ( J a K ) v ( ~ J a ~ K )
3) (J v ~ K) v J Asoc. (1)
4) (K v ~ J) v K Asoc. (2)
5) ~JvK Asoc. + IDEMP. 4
6) ~K vJ Asoc. + IDEMP. 3
7) J-> K DEF. Asoc. + RDN.
8) K-> J DEF.
Asoc.+RDN.l,
9) ( J > K ) a ( K > J ) Conj. 7,8
10 J <h>K DEF. BC. 9
11) ( J a K ) v ( - J a - K ) DEF. BC. 10
8.
1) : ( L v M ) v ( N a O )
2) (-L aO )a ~ (-L a M ) /. ~ L a N
3) ~ LaO Simp. (2)
4) Simp. 3
5) ~ (~ L a M ) Simp. (2)
6) Lv~M DM. 5
7) - M SD. 4,6
8) ~ L a ~M Conj. 4,7
9) - (LvM ) DM. 8
10) N a O SD. (1), 9
11) N Simp. 10
12) - L a N Conj. 4,11
338
III. PRUEBA CONDICIONAL
1.
(1) ( A v B ) ^ ( C a D)
(2) ( D v E ) - > F /.'. A - > F
3) A PA.
4) A vB Adic. 3
5) CaD MP. (1),4
6) D Simp. 5
7) D vE Adic. 6
8) F MP. (2),8
9) A - F PC. 3, 8
2.
(1) (EvF)->G
(2) ( J ~ G ) a ~ H
(3) JvK /.\ E - K
4) E PA.
5) EvF Adic. 4
6) G MP. (1),5
7) J > ~ G Simp. (2)
8) ~J MT. 6,7
9) K SD. (3),8
10) E->K PC. 4, 9
o
(1) Q > P
(2) T vS
(3) Qv~S ~(PvR)^T
4) ~ (Pv R) PA.
5) ~PA~R DM. 4
6) ~p Simp. 5
7) ~Q MT. (1),6
8) ~s SD. (3),7
9) T SD. (2), 8
10) ~ ( P v R ) - T PC. 4, 9
4.
(1) A->(B->C)
(2) B > ( C D ) A->(B->D)
339
3) A PA.
4) B PA.
5) B^C MP. (1),3
6) C^D MP. (2),4
7) C MP. 4, 5
8) D MP. 6, 7
9) B^D PC. 4, 8
10) A ^ ( B ^ D ) PC. 3, 9
a) Premisas.
1) pv~q
2) r ~p
C U ESTIO N A R IO 10
II.
1) (A/B)/(D/E)
2) ((A/B)/(B/B))/((B/B)/C)
3) ((N/N)(B/B))/((N/C)/(D/D))
4) ((C/D)/(E/E))/((A/A)/B)
5) (A/B)/(C/D)
6) (A/B)/(C/D)
7) [ A / ( B / B ) ] / [ B / ( A / A ) ]
8) [ ( A / A ) / ( B / B ) ] / [ A / ( B / B ) ]
9) { [ A / (B/B)]/[(A/A)/B]}/[(C/C)
/(D/D)]
10) { [ A / ( B / B ) ] / A . / . [ A / ( B / B ) ] / A } / ( B / B )
11) [ ( A / A ) / ( B / B ) ] / { [ ( B / B ) / ( A / A ) ] / [ ( B /
B)(A/A)]}
12) A / { [ ( B / B ) / ( A / A ) ] / [ ( B / B ) / ( A / A ) ] }
340
CUESTIONARIO 11
S / + ------- cr o------ 1
Vo_
_v<
V o --------&/V-
X / o ------i / *
4. ( p A q A r ) v ( p A q A ~ r ) v ( ~ p A ~ q )
p J a___s u / oo--------------
____io l J/ o--------
, 1
_____ i / ro / "
u /c ___ / o-
341
5. { ( p A q ) v [ p A ( ~ q v ~ r ) ] v ( r A s ) } A( q v r v s )
III.
l.(p A q ) v ( p v q )
( AB ) + ( A+B )
AB
B.
(AB)+(A+B)
A+B
B
2 . ( p v ( q A r ) ) v ( r v s ) = ( A + ( B C ) ) + (C + D )
A+(BC)
BC
(A+(BC)) + (C+D)
C+D
D
3 . ( p A q ' ) v ( ~ q A r ) v ( ~ p A ~ s ) = ( AB ) + ( BC ) + ( AD )
__A_ A.B
Bf
B.C (AB)(BC) (AD)
B k B
A. A.D
H ^D
342
4. ( p A q A r ) v ( p A q A ~ r _ ) v ( ~ p A ~ q ) s
( ABC ) + ( ABC ) ( A B )
5.((pAq)v(pA(~qv~r))v(rAs))A(qvrvs)
( ( AB ) + ( A ( B+C ) ) + ( CD ) ) . ( B+C+D )
A
AB
((AB)+(A(B+C))+(CD)).(B+C+D)
343
IV.
La frmula es:
( pa ~ q)v (~pAq)v(~pA~q)
CUESTIONARIO 12
Io Debe saber:
II.
6. EAE. Segunda figura
7. AII. Tercera figura
8. AAA. Tercera figura
10. AEE. Primera figura
CUESTIONARIO 13
I. 9. S h P = <)>
344
12. SnP*<j>
13. SnP*<|>
14. S n P ^ (| )
II.
1. c) B n A = <)> 8. a) A n B = <)>
2. b) B n A = <|> 9. a ) A n B i |i
3. a) A n B = <j> 1 0 . b ) A n B ^ <)>
4. b) A n B = <j> 11. a) A n B =<)>
5. a) A n B = <)> 12.a) A n B = <)>
6. a) A n B = cf) 13.a) A n B = <>
7. c)A n B =(()
III.
6. Premisas Conclusin
S n M = <|) M n P = <|) S n P = ^>
Vlido AAA-1
345
7. Premisas Conclusin
P n M = (j) S n M ^ SnP^cj)
Conclusin
PnM^I S n M -(| ) S n P = (|)
9. Premisas Conclusin
P n M ^ (| ) S n M = <) S n P -< | )
346
CUESTIONARIO 14
347
6. Si todos son enem igos de todos, entonces cada uno es su propio
enem igo.
(V x) (V y) E( x ,y )-> ((V x) (3y) E(x,y) .A .(x=y))
7. Hay una persona que ama a todas las personas.
(3x) (V y) A ( y ,x )
8. Hay un nmero natural que es menor que todos los nmeros
naturales.
(3y) (V x) M ( x,y)
9. Hay al m enos un alumno que se matricula en todos los cursos.
(3y) (V x) M ( x,y)
10. Todas las cabezas de caballo son cabezas de anim ales.
(V x) (Cx A x) (V y)[(3x)( Cx A H(y,x)) -+(3x) (A x A H(y,x))]
5.- Probar las siguientes equivalencias:
1. (3 y ) { Py (V x) P x ) ((V y) Py - (V x) Px).
1.1 (3y) ( Py -> (V x) P x ) - ((V y) Py - (V x) Px).
348
1 l.~ (3 y) (Py (V x)Px)(V y)Py a ~(V y) Py PC. 2,10
12. (3y)(P y -> (V x) Px) RAA, 11
349
1, (Vx) Px V (Vy) Qy) II:. (Vx) ( Px V (Vy) Qy )
2. ~(V x) ( Px V (V y) Qy ) RAA
3. (3 x ) ~ ( Px V (V y) Qy ) R. 14.10,2
4. (3x) (~P x A ~(V y) Qy ) DM .3
5. ~Pa A ~ (V y) Qy EE. 4
6. ~Pa Simp. 5
7. ~(V y) Qy Simp. 5
8. (V x) Px SD. (1,7)
9. Pa EU. 8
10. Pa A ~Pa Adj. 6,9
11. ~(V x) (Px V (V x)Q y) (Pa A ~Pa) PC 2,10
12. (V x) (Px V (V y) Qy ) R A A . 11
4. (3x) ( Px V Q x ) ^ (3x) Px V (3x) Qx.
1. (3 x ) ( Px V Q x ) //.-. (3x) Px V (3x) Qx.
2. ~ ((3 x ) Px V (3x) Qx) RAA.
3. ~ (3 x ) Px A ~ (3 x ) Qx DM.2
4. ( Vx) ~Px A (V x) ~Q x R. 14:10.3
5. (V x) ~P x Sim p. 4
6. (V x) ~Q x Simp. 4
7. Pa V Qa EE. 1
8. ~Pa EU. 5
9. Qa SD .7,8
10. ~Q a EU. 6
11. Q A~Q a Adj. 9,10
12. ~ ((3 x ) p x V (3x)Q x) -> (Q a A ~Q a) PC. 2,11
13. (3 x ) Px V (3x) Qx RAA.
1. ((3 x ) Px V (3x) Qx) //.-. (3x) ( Px V Q x )
2. ~ (3 x ) (Px V Qx) RAA.
3. (V x) ~ ( Px V Qx ) RR. 14.10
4. (V x) (~ Px A ~ Q x ) DM . 3
5. ~ Px A ~ Qx EU. 4
6. ~Px Simp. 5
7. (V x) ~P x GU. 6
8. ~ (3 x )P x R .14.10,7
9. (3x)Q x SD . 1,8
10. ~Q x Sim p. 5
350
11. (Vx)~Qx GU.10
12. Qa EE. 9
13. -Qa EU.ll
14. Qa A ~ Qa Adj. 14
15. ~(3x)(Px V Qx) -> (Qa A ~Qa) PC. 2,14
16. (3x)(Px V Qx) RAA. 15
351
4. Ca - > Ra EU. 1
5. ~Ra Simp. 3
6. ~Ca MT. (4,5)
7. Ta Simp. 3
8. Ta A ~Ca Conj. (6,7)
9. (3x) (Tx A ~Cx) GU. 8
352
1. (Vx) (Cx Px)
2. (Vx) (T x >~Px) (Vx) (Tx ->
3. Cy - Py EU. 1
4. Ty - ~Py EU. 2
5. ~Py ~Cy Transp. 3
6. Ty - > ~Cy SH. (4,5)
7. (Vx) (T x - > ~Cx) GU. 6
5.- Hay un cisne que no es negro.
Luego, no todos los cisnes son negros.
1. (3x) (Cx A~Nx) / / ~(Vx) (Cx ->
2. ~(V x)~ (Cx A ~Nx) R. 14. 10,1
3. ~(V x) (~Cx V Nx) DM. 2
4. ~(V x) (Cx - > Nx) Def. Cond. 3
ACTIVIDAD
MAPAS CONCEPTUALES
354
MAPA CONCEPTUAL N. 1: DISYUNCIN
355
MAPA CONCEPTUAL N. 2: BICONDICIONAL
El Bicondicional
es un
conectivo proposicional
que relaciona
Proposiciones
a travs de
expresiones
formalizando
de de
ejemplo [ e j e mp l o
Juan viaja a Jauja si, y slo Juan toma tren si, y slo si
' si si toma tren viaja a Jauja
I____________
se expresa como
/
poq
que es la forma de
una proposicion
bicondicional
356
MAPA CONCEPTUAL N. 3: DEDUCCIN NATURAL
357
MAPA CONCEPTUAL N. 4 SILOGISMO CLSICO
358
ltimas publicaciones
del Fondo Editorial de la UNMSM
Thomas Cummins
anterior es un error: En efecto, en sentido estricto no existe ,
Brindis con el Inca. La abstraccin andina y las
imgenes coloniales de los queros
dentro de la comunidad cientfica y filosfica, la Lgica
UNMSM-UMSA (Bolivia)-Embajada de los EE.UU.
como una unidad sino un conjunto diversificado de
Manuel Burga
Nacimiento de una utopa.
Muerte y resurreccin de los incas
sistemas lgicos o, en trminos ms descriptivos de ,
UNMSM-Universidad de Guadalajara lenguajes lgicos que no siempre son equivalentes entre s.
Cristbal Aljovn de Losada J Eduardo Cavieres (eds.)
Per-Chile/Chile-Per: 1820-1920
Convenio Andrs Bello-Universidad de Valparaso
Miguel ngel Zapata (editor)
Mario Vargas Llosa and the persistence of memory
UNMSM-Hofstra University
Liliana Regalado de Hurtado
Clo y Mnemsine. Estudios sobre historia, memoria y
pasado reciente
UNMSM-Fondo Editorial PUCP
Francisco Mir Quesada
Del gora ateniense al gora electrnica.
UNI-UNMSM
Jos Enrique Briceo Berr
En busca del hombre.
Consejo Hispanoamericano de Artes y Letras-UNMSM
Carlos Caldern Fajardo
La segunda visita ae William Burroughs
Miguel ngel Zapata (editor)
Asir la forma que se va. Nuevgos asedios a Carlos
Germn Bell i
Roco Quispe-Agnoli
La Fe andina en la escritura: Resistencia e identidad de
Guamn Poma de Ayala
Biaggio D'Angeh
Borges en el centro del infinito
UNMSM-Universidad Catlica Sedes Sapientae
Csar Ferreira (editor) UNIVERSIDAD NACIONAL
Edgardo Rivera Martnez: Nuevas lecturas
MAYOR DE SAN MARCOS
S erie C l s ic o s Sa n m a r q u in o s
La universidad es lo que publica
Jos Antonio Russo Delgado
La tica en Demcrito
ltimas publicaciones
del Fondo Editorial de la UNMSM
Thomas Cummins
anterior es un error: En efecto, en sentido estricto no existe ,
Brindis con el Inca. La abstraccin andina y las
imgenes coloniales de los queros
dentro de la comunidad cientfica y filosfica, la Lgica
UNMSM-UMSA (Bolivia)-Embajada de los EE.UU.
como una unidad sino un conjunto diversificado de
Manuel Burga
Nacimiento de una utopa.
Muerte y resurreccin de los incas
sistemas lgicos o, en trminos ms descriptivos de ,
UNMSM-Universidad de Guadalajara lenguajes lgicos que no siempre son equivalentes entre s.
Cristbal Aljovn de Losada J Eduardo Cavieres (eds.)
Per-Chile/Chile-Per: 1820-1920
Convenio Andrs Bello-Universidad de Valparaso
Miguel ngel Zapata (editor)
Mario Vargas Llosa and the persistence of memory
UNMSM-Hofstra University
Liliana Regalado de Hurtado
Clo y Mnemsine. Estudios sobre historia, memoria y
pasado reciente
UNMSM-Fondo Editorial PUCP
Francisco Mir Quesada
Del gora ateniense al gora electrnica.
UNI-UNMSM
Jos Enrique Briceo Berr
En busca del hombre.
Consejo Hispanoamericano de Artes y Letras-UNMSM
Carlos Caldern Fajardo
La segunda visita ae William Burroughs
Miguel ngel Zapata (editor)
Asir la forma que se va. Nuevgos asedios a Carlos
Germn Bell i
Roco Quispe-Agnoli
La Fe andina en la escritura: Resistencia e identidad de
Guamn Poma de Ayala
Biaggio D'Angeh
Borges en el centro del infinito
UNMSM-Universidad Catlica Sedes Sapientae
Csar Ferreira (editor) UNIVERSIDAD NACIONAL
Edgardo Rivera Martnez: Nuevas lecturas
MAYOR DE SAN MARCOS
S erie C l s ic o s Sa n m a r q u in o s
La universidad es lo que publica
Jos Antonio Russo Delgado
La tica en Demcrito