Академический Документы
Профессиональный Документы
Культура Документы
Introducción a la
LOGICA
-~
DIOGENES ROSALES PAPA
Profesor de Lógica de la Pontificia Universidad Católica del
Perú y de la Universidad Nacional Mayor de San Marcos
Introducción a la
LOGICA
Tercera Edici6n
AN\ARU
Editores
LIMA - PERU
Introducción a la lógica
Primera edición, Setiembre 1979.
Segunda edición, Junio 1988.
Primera Parle
Lógica Proposicional
2. SIMIIOLOS. FÓRMULAII y FUNCIONES VERrrATIVAS 33
2.1. El lenguaje de la lógica proposicional (LP) ~ 33
2.2. Fórmulas • 34
2.3. Esquemas de fórmulas • 34
2.4. El uso de los puntos auxiliares 35
2.5. Interpretación semántica' 37
2.6. Funciones veritativas 38
2.7. El conjunto de operadores proposicionales 45
2.8. Simbolización de proposiciones 47
3. LAS TABLAS DE VALORES 55
3.1. Las tablas de valores como procedimiento decisorio 55
3.2. El método de las tablas abreviadas 57
4. LAS INFERENCIAS 69
4.1. Introducción 69
4.2. La implicación 69
4.3. La equivalencia 72
4.4. Análisis de validez de inferencias 75
4.5. Relación semántica entre las premisas y la conclusión 80
5. FORMAS NORMALES: CONJUNTIVA y DISYUNTIVA 85
5.1. Introducción 85
5.2. Leyes lógicas 87
5.3. Equivalencias notables 88
5.4. Forma normal conjuntiva (FNC) 93
5.5. Forma normal disyuntiva (FND) 96
6. EL MtroOO DE LA DERIVACiÓN 103
6.1. Introducción 103
6.2. Implicaciones notables 103
6.3. La prueba directa 107
6.4. La prueba condicional 110
6.5. La prueba indirecta 113
Segunda Parle
Lógica de Predicados Monádic08
7. NOCIONES SOBRE LÓGICA DE CLASES 127
7.1. Introducción 127
7.2. Noción de clase 127
7.3. Noción de álgebra booleana y representación de las clases en los
diagramas 128
7 A. Operaciones con clases 130
7.5. Relaciones entre clases 134
7.6. Algunas leyes de la lógica de clases 136
8. LóGICA TRADICIONAL 139
8.1. Introducción 139
8.2. Las proposiciones categóricas 140
8.3. Las inferenciSB de la lógica tradicional 142
804. El cuadro de la oposición 142
8.5. La oonversión 146
8.6. La obversión 148
8.7. Las inferenciSB por contraposición 149
8.8. El silogismo categórico 151
9. EL MtroOO DI! LOS DIAGRAMAS DE VENN 165
9.1. Introducción 165
9.2. La clSBe vacía y la clase no-vacía 166
9.3. La intersección de dos clases 167
904. Los diagramas de Venn como procedimiento decisorio 176
9.5. Prueba de validez de los silogismos por los diagramSB de Venn ISO
10. CUANTIFICACiÓN 191
10.1. Introducción 191
10.2. Símbolos y fórmulSB cuantificacionales 191
10.3. Alcance de los cuantificadores 195
lOA. Algunas reglas en LC 197
10.5. Interpretación de fórmulas cuantificacionales en universos finitos 199
10.6. El método FH 202
11. SIMlIOlJZACIÓN DE PROPOSICIONES CATEGÓRICAS E INFERENCIAS TRADICIONALES 215
11.1. Introducción 215
11.2. Cuatro modelos de proposiciones categóricas 215
11.3. Las formas categóricas típicas 220
11.4. Simbolización de proposiciones categóricas típicSB y no típicas 224
11.5. Proposiciones singulares 227
11.6. El silogismo 228
11.7. Inferencias no silogísticas 230
12. EL MtroOO DE LA DERIVACiÓN DE LA LÓGICA CUANTIFlCACIONAL MONÁDICA DE PRI-
MER GRADO 235
12.1 Introducción 235
12.2. Reglas de inferencia para los cuantificadores 235
12.3. Restricciones para efectuar la derivación 236
12.4. La prueba directa 237
12.5. La prueba oondicional 242
12.6. La prueba indirecta 246
Apéndice 1. Nociones sobre predicados poliádicos 253
Apéndice n. Circuitos lógicos 263
Apéndice ill. Solución de algunos ejercicios 273
Bibliografta 28li
PROWGO
7
NOTA A LA SEGUNDA EDICION
8
PRESENTACION
9
dedicado a dominarlo. En este sentido hay que felicitarse por la
presentación del método Ferro-Herband en forma completa, y con
más cuidado en los aspectos didácticos que en la anterior edición.
Hay que notar al respecto que una introducción a la lógica
podr(a contentarse con "narrar" al lector algunos de los problemas
y técnicas que se emplean, mostrando a tal vez uno o dos a modo de
ejemplo, pero sin enseñarle cómo ejecutarlos. Tal vez una introduc-
ción de ese estilo permita cubrir más áreas, sobre todo tocar zonas
conflictivas y avanzadas de la lógica, hablando por ejemplo de va-
rias lógicas rivales. Tal aproximación serta sin lugar a dudas muy
informativa pero poco servirla para que el lector llegue a "hacer"
lógica y tenga un contacto directo y personal con la misma. En todo
caso se hace conveniente el acompañar una introducción con lectu-
ras de temas históricos. Como lo sugiere la bibliografía.
El resto de los comentarios que cabe hacer en esta presentación
es mejor dejarlo al lector para cuando termine la obra.
OSCAR TRELLES
Junio, 1988
10
NOTA A LA TERCERA EDICION
11
ejercicios propuestos, a Rocío Reátegui y Rosa Ana Rojas por la
presentación del solucionario de algunos ejercicios; a Carlos Matta
por sus sugerencias en la edición; y en general, estoy en deuda con
todos los jefes de práctica que laboran conmigo en el curso de Lógica
y que de una u otra manera me hicieron llegar sus observaciones y
sugerencias.
DlóGENES RosALES PAPA
Lima, Octubre de 1994
MILAGROS ORBEGOSO R.
12
PRESENTACION A LA TERCERA EDICION
13
1. NOCIONES BASICAS
1.1. Lógica
La lógica es un conocimiento que aparece por primera vez, de
manera orgánica y sistemática, en los escritos de Aristóteles(l) con un
objetivo definido como es el análisis formal de los razonamientos. En
su desarrollo a través de la historia, este concepto ha venido a cons-
tituirse en el tema central de la lógica.
El análisis formal de los razonamientos se propone deslindar la
validez o invalidez de las inferencias(2l. Este deslinde se efectúa
mediante el empleo de métodos o procedimientos que consisten en la
aplicación de definiciones y leyes o reglas lógicas. Vista de esta ma-
nera,la lógica es una ciencia que estudia los métodos o procedimien-
tos que aplican definiciones y leyes o reglas con el propósito de de-
terminar la validez o invalidez de las inferencias.
1.2. Inferencia
La inferencia es un proceso que consiste en obtener la conclu-
sión a partir de un conjunto de premisas.
Ejemplos:
(1) Todos los hombres son mortales. Sócrates es hombre. Lue-
go Sócrates es mortal.
(1) Los escritos lógicos de Aristóteles (384 . 322 a.C.) están reunidos en un libio llamado
Organon que contiene Las Categorías, Sobre la Interpretaci6n, Los Analíticos (Prime-
ros y SeguruWsJ, Los Tópicos y Las Refutaciones So{ísticas.
(2) Usaremos como sinónimos los términos inferencia, razonamiento y argumento.
15
Diógenes Rosales
16
Nociones B4sicas
(3) Dos cantidades iguales a una tercera son iguales entre sí.
(4) J. M. Arguedas escribió la novela El Sexto.
(5) La distancia más corta entre dos puntos es la línea recta.
Es importante notar que lo que interesa básicamente en una
expresión proposicional es su sentido de verdad o falsedad, porque
oraciones distintas pueden expresar una misma proposición. Por ejem-
plo, las tres oraciones siguientes expresan una sola proposición:
(6) Luis y María son compañeros de promoción.
(6) Luis es compañero de promoción de María.
(6) María es compañera de promoción de Luis.
De igual modo, las siguientes oraciones en diferentes idiomas
expresan la misma proposición:
(7) El cielo está nublado.
(7) The sky is cloudy.
(7) Le ciel est nuageux.
A diferencia de las proposiciones que no son propias de ningún
lenguaje, las oraciones forman parte de un lenguaje determinado.
Aunque la lógica actual no trata solamente de proposiciones, sin
embargo se ocupa, básicamente, de expresiones que tienen la propie-
dad de ser verdaderas o falsas, esto es, las inferencias o razonamien-
tos estarán compuestos por enunciados que son verdaderos o falsos.
Las -expresiones no proposicionales no cumplen con la propie-
dad esencial de la proposición, esto es, no son verdaderas ni falsas.
Por ejemplo, a diario usamos el lenguaje para hacer preguntas, para
dar órdenes, para comunicar sentimientos y actitudes, para expresar
deseos y emociones, etc., etc., en estos casos las oraciones no tienen
sentido de ser verdaderas o falsas.
Ejemplos:
(8) Nadie será sometido a torturas ni a penas o tratos crueles,
inhumanos o degradantes. (Art. 51!, Declaración Universal
de los Derechos Humanos).
(9) ¿Cuántos presidentes elegidos democráticamente han go-
bernado el Perú?
(lO) Guíame, oh Señor, por la senda de tu justicia: haz que sea
recto ante tus ojos mi camino por causa de mis enemigos.
(Salmos V, 9).
17
Dióge1U!8 Rosales
21
Di6geMs Rosales
22
Nocion.eBBásicas
23
Di6ge1ll!I Roaales
24
Nociones Bdsica8
25
DwgeneB ROBales
Ejercicio l· - - - - - - - - - - - - - - - - - - - - - -
1. A continuación se tiene un conjunto de pasajes. En cada caso
diga si expresa o no una inferencia. Si es una inferencia, distin-
ga el conjunto de premisas de la conclusión.
1.1. La policía y las brigadas de socorro rescatan niños, si y
sólo si resultan heridos en el accidente.
1.2. Si se produjeron cambios sociales en Rusia entonces
Rusia tiende al capitalismo. Se produjeron cambios so-
ciales en Rusia. Luego, Rusia tiende al capitalismo.
1.3. Si Pizarro conquistó el Perú entonces fundó la ciudad de
Lima. Lima fue la capital del virreinato, pero en la ciu.
dad de Lima no se libraron las batallas más importantes.
1.4. Si aumenta el precio de la gasolina entonces nuestra
moneda se devalúa. Pero, nuestra moneda no se devalúa.
En consecuencia, si aumenta el precio de la gasolina
entonces la inflación no se eleva.
1.5. La Tierra es un planeta y la Luna es un satélite. La
Luna gira alrededor de la Tierra y la Tierra gira alrede-
dor del Sol. Luego, la Luna gira alrededor del Sol.
2. Determine cuáles de las siguientes expresiones son proposicio-
nes y cuáles no. Justifique en cada caso.
2.1. Las mejores canciones del repertorio de Pavarotti.
2.2. Horas dramáticas de la humanidad.
26
Nocionu BÓBica8
29
Primera Parte
LOGICA PROPOSICIONAL
Operadores: - , A , V , _ , ++ (2)
(!) Para evitar la ambigüedad en el uso de las variables proposicionales, cada variable
representará simbólicamente una proposición simple. Además, según necesitemos,
podemos introducir otras letras como s, t, etc.
(2) El simbo lo "-" llamado "tilde" es el operador negativo, y opera sólo hacia la derecha,
por eso es un operador monádico. ",," es el operador corijuntivo, "v" es el disyuntivo,
"-" es el condicional, y el operador "_M es el bicondicional. Estos operadores, a excep-
ción del negativo, son operadores diádicos porque operan en doble sentido.
33
Diógenes Rosales
2.2. Fórmulas
En la lógica proposicional, una fórmula es un conjunto de sím-
bolos primitivos combinados según las reglas de formación. Ejem-
plos:
(1) P
(2) - p
(3) p " q
(4) p - (q v r)
(5) - (p - q)
(6) (- p v q) v (r - - q)
(7) [(p " - q) v - r] - (q - r)
A cada una de estas fórmulas se le denomina esquema molecular,
y el nombre de cada esquema molecular depende, en cada caso, de
su operador principal. Sólo la fórmula (1) no es un esquema molecular
o en todo caso es un esquema molecular por excepción, porque todo
esquema molecular supone la combinación de variables y operadores
proposicionales. Entonces, toda fórmula generada por la regla de
formación "i", como la fórmula (1), la denominaremos fórmula literal
o fórmula atómica. En las otras fórmulas, la jerarquía de los opera-
dores proposicionales está determinada generalmente por los signos
de agrupación, especialmente cuando la fórmula tiene más de un
operador diádico. Ahora podemos decir que (2) y (5) son fórmulas
negativas, (3) es conjuntiva, (4) es condicional, (6) es disyuntiva y (7)
es una fórmula bicondicional.
34
StmboloB, f6rmulas y fUTlCiones veritativas
(1) p .-. q V r
En este caso el operador condicional es el de mayor jerarquía
con respecto al disyuntivo, porque tiene un punto a cada lado. En lo
sucesivo vamos a contar los puntos sólo a uno de los lados, aunque
se les coloca a los dos lados del operador por razones simétricas. En
este caso el condicional tiene un solo punto.
(2) - (p v q)
En esta fórmula el operador principal es la negación. No se le
puede asignar puntos auxiliares porque éstos se asignan solamente
a los operadores diádicos.
(3) p .-. q v r :-: - (p v q)
Nótese que en esta fórmula hemos combinado (1) y (2); el con-
dicional con dos puntos es el de mayor jerarquía, le sigue el condi-
cional con un punto, luego los otros operadores.
(4) - P - q .t.. - r :v: q - r .-. p
El operador principal en esta fórmula es el disyuntivo con dos
puntos, le siguen en jerarquía, en el lado izquierdo el conjuntivo y en
el lado derecho el bicondicional, y luego los otros operadores. De este
modo, podríamos seguir construyenQ,o fórmulas donde el operador
diádico de mayor jerarquía puede tener tres, cuatro o cinco puntos
auxiliares, pero, para fines prácticos generalmente bastará usar un
solo punto auxiliar y/o los paréntesis para determinar con mayor
claridad la jerarquía de los operadores. Por ejemplo la fórmula (3)
puede quedar así:
(p .-. q v r) -- (p v q)
En este caso el condicional principal está libre de paréntesis. El
condicional con un punto tiene un alcance limitado por los parénte-
sis. La fórmula (3) también puede quedar así:
p - (q v r) .-. - (p v q)
Cualquiera de estas dos formas de jerarquizar los operadores de
la fórmula (3) es correcta. De igual modo, sólo podernos usar un
punto auxiliar y paréntesis en la fórmula (4). Así:
(- p - q .t.. - r) v (q - r .-. p)
El disyuntivo principal está libre de paréntesis, y los operado-
res que tienen un punto están limitados por los paréntesis. En la
36
Stmbolos, f6rmul08 y funciones lIeritatillos
-
Esquemáticamente se representa por la siguiente tabla de verdad:
tttV
F
p
F
V
Esto significa que si "p" es V, su negación es F, y si "p" es F, su
negación es V.
2.6.2. Conjunción
La conjunción es la unión de dos o más proposiciones mediante
la partícula ~y". Por ejemplo:
(1) La pizarra es negra y la tiza es blanca.
Si "la pizarra es negra = p" y "la tiza es blanca = q", simbólica-
mente se tiene:
p " q
donde ",," es el operador conjuntivo. La función veritativa de la con-
junción se rige por la siguiente regla:
Una proposición conjuntiva es verdadera cuando todas sus propo-
siciones componentes son verdaderas. Es falsa cuando por lo menos
uno de sus componentes es falso.
Esquemáticamente se tiene:
p, q p"q
V V V
V F F
F V F
F F F
Los valores que aparecen debajo de "p" y "q" son todas las posi-
bles combinaciones de interpretación semántica para estas variables
y se llaman columnas de referencia. Los valores que están debajo de
la conjunción son los resultados de aplicarse la regla. Por ejemplo, la
primera opción V de la conjunción resulta que es verdadera sólo cuan-
do "p" y "q" son verdaderos a la vez. Como puede observarse, en todas
las otras opciones es falsa.
39
DiógeTll!8 Rosales
(p - r)" es lo mlsmo
q)
que
A r"
Esquemáticamente se tiene:
p, q pvq
v V V
V F V
F V V
F F F
Como se puede apreciar, los valores que están debl:\io de la
disyunción son los resultados de aplicarse la regla con respecto a los
valores que están en las columnas de referencia.
En el lenguaje ordinario la partícula "0" es una disyunción fuer-
te o exclusiva cuando sólo se admite la verdad de uno de sus com-
ponentes pero no ambos a la vez. Expresando en disyunción exclu-
siva la proposición anterior sería: "o el actual canciller peruano habla
inglés o habla francés pero no ambos a la vez". Simbólicamente,
como sigue:
(p v q) A - (p A q)
Si inventamos un símbolo para la disyunción fuerte, por ejem-
plo el signo", ", entonces este operador por definición es como
sigue:
p, q = der. (pVq)A-(pAq)
y la regla que lo rige es:
Una proposición disyuntiva fuerte es verdadera sólo cuando sus
componentes tienen valores distintos. Es falsa cuando sus componen-
tes tienen valores iguales.
Luego, el esquema de la función veritativa de la disyunción
fuerte es como sigue:
p, q p, q
V V F
V F V
F V V
F F F
...
De igual modo la fórmula que define la disyunción fuerte tiene
la misma función veritativa, como se puede apreciar en el siguiente
esquema:
42
StmboUnJ, fórmulas y fUTlCÍ()TII!8 veritativas
p, q (p V q) A (p A q)
V V V F F V
V F V V V F
F V V V V F
!4' F F F V F
En vista de que la fórmula "(p v q) A - (p A q)" cumple con la
regla de la disyunción fuerte, usaremos esta fórmula en lo sucesivo
para interpretar toda conectiva "0" que tiene sentido de disyunción
fuerte en reemplazo cel signo "; ".
La diL"'JUnción, al igual que la conjunción, goza de las propieda-
des conmutativa, asociativa e idempotente. A continuación los es-
quemas respectivos:
(A v B) es lo mismo que (B v A)
Lv (B v C) es lo mismo que (A v B) v C
(A v A) es lo mismo qu~ A
2.6.4. Condicional
Una proposición condicional es la combinación de dos proposi-
ciones con "si ... entonces". La proposición que aparece entre "si" y
'·cntonc.:s" se llama antecedente, y la proposición que sigue a la palabra
"entonces" se llama consecuente. Por ejemplo:
(1) Si la te:nperatura está bajo cero, entonces el agua se con-
gela.
U5,,~1¿0 el operador condic:onal "_", simbólicamente se tiene:
p-q
dor:de, En t~mperatura está bajo cero = p" y "el agua se congela =q";
y la regla que rige es:
Una proposici6n condicional es·falsa sólo cuando el antecedente
es verdadero y el consecuente es falso. Es verdadera o cuando el
antecedente es falso o cuando el consecuente es verdadero.
La función vcritativa se expresa en el siguiente esquema:
p, q p-q
V V V
V F F
F V V
F F V
43
DiógeTll!8 Rosales
44
Simbolos, fórmulas y funciones veritativas
45
Dióge1ll!8 Rosales
de la negación alternativa, que se lee fIno ... o no", y cuya regla es:/
Una proposición de la negación alternativa es verdadera cuando
uno de sus componentes es falso. Es falsa sólo cuando los dos com-
ponentes son verdaderos.
Esquemáticamente, como sigue:
p, q plq
V V F
V F V
F V V
F F V
46
Simbolos, fórmulas y funcioTU!B ueriúUiuas
47
Diógenes Rosales
48
semb%s, fórmuÚJJJ y funcioTll!8 lIeritatillas
(p "q) v (r" s)
(4) No es el caso que Esperanza no sepa tocar la guitarra y no
componga una melodía, puesto que es egresada del conser-
vatorio de música,
Esperanza sabe tocar la guitarra =p
Esperanza compone una melodía = q
Esperanza es egresada del conservatorio de música = r
No es el caso que (no-- p --- y no ---q--), puesto que (___ r __ )
r -+ - (- p " - q)
Nótese en este ejemplo que el antecedente aparece después de
"puesto que", conectiva ya mencionada en la proposición condicional.
(5) Cuando el cielo está nublado hace frío.
El cielo está nublado = p
Hace frío = q
p -+ q
En este caso la forma lógica de la proposición es condicional,
porque el sentido de "cuando" es de "si '" entonces".
(6) Cuando llovía a cántaros murió Vallejo.
Llovía a cántaros = p
Murió Vallejo = q
p " q
En este caso la forma lógica de la proposición es conjuntiva,
porque el sentido de la proposición es "llovía a cántaros y a la vez
moría Vallejo".
(7) Tanto el Perú como Bolivia son productores de cobre.
El Perú es productor de cobre = p
Bolivia es productor de cobre = q
p"q
La forma lógica de esta proposición es conjuntiva, como se puede
apreciar en el sentido de la oración.
49
Diógenes Rosales
50
SCmbolos, f6rmula.s y funciones veritativas
Ejercicio 2 •
1. En el siguiente conjunto de fórmulas determine cuáles son ibfs
y cuáles no son fufs de LP. Indique luego la denominación de
cada fuf. Sobre las fórmulas que no están bien formadas diga
por qué no son fufs.
1.1. -p
1.2. p v q
1.3. - p q
1.4. (p - q) - p
1.5. p - q - r
1.6. p - (q A r) .-. - p
1.7. P v qv r
1.8. - P A (q - r) A (r v p)
1.9. (p - - q A - r) - - p
1.10. p - q - - (p A r)
1.11. A P .-. (q v - r v s) - - q
51
Diógen.es Rosales
2. Seleccione las fbfs que aparecen entre 1.1 y 1.15. Luego indique
a qué fórmulas representa cada esquema de fórmula que apa-
rece a continuación.
2.1. A
2.2. -A
2.3. AvB
2.4. -AvB
2.5. A-B
2.6. A-B
2.7. AvBvC
2.8. AIIBIIC
2.9. (A 11 B 11 C) -D
2.10. - CA V B v C)
2.11. CA - B) - C
2.12. A - (B - C)
2.13. - (A 11 B) v C
2.14. - A .-. (B v C v D) - - E
2.15. (A - B) v C .-. D
3. Construya fórmulas proposicionales para cada esquema de fór-
mula conforme se indica a continuación.
3.1. Dos fórmulas proposicionales que tengan dos variables (p, q)
para cada uno de los siguientes esquemas de fórmula:
3.1.1. A
3.1.2. - A - B
3.1.3. (A 11 B) - C
3.2. Tres fórmulas proposicionales que tengan tres variables
(p, q, r) para cada uno de los siguientes esquemas de
fórmula:
3.2.1. A - B
3.2.2. (A - - B) v - C
3.2.3. (A 11 B) - (C v B v D)
52
StmboloB, f6rmulas y funciones veritativas
4. Enuncie las reglas que rigen cada una de las funciones diádicas
que aparecen con los números 1, 3, 6, 7, 10, 15 Y 16· en el
conjunto de operadores diádicos.
5. Simbolice cada una de las siguientes proposiciones:
5.1. Si el aeroplano tiene suficiente gasolina entonces llega-
rá al mediodía. .
5.2. El primer productor de cobre en Sudamérica no limita
con el Ecuador.
5.3. Un número es positivo si y sólo si es mayor que cero.
5.4. No es el caso que Brasil o México pertenezcan al Pacto
Andino.
5.5. Ni Ecuador ni Bolivia son productores de algodón.
5.6. Se hubiera impedido el asalto al banco si la alarma hu-
biera sonado oportunamente.
5.7. 1veth conseguirá un ascenso como reportera a menos
que pierda la entrevista con el director de prensa.
5.8. Cuando el cielo no está nublado, silba el viento y los
pajarillos cantan.
5.9. Tendremos muchas flores en el jardín, si la estación es
propicia y las semillas no están malogradas.
5.10. Cuando la Luna brillaba una noche en primavera, Gus-
tavo escribió un poema, sin embargo el poema de Gus-
tavo no es romántico.
5.11. No es el caso que no haya control de precios o los com-
bustible se encarezcan.
5.12. La piscina está temperada porque hay calefacción, o la pis-
cina está temperada porque habrá concurso de natación.
5.13. La aguja de la brújula gira en vista de que la embarca-
ción ha cambiado de rumbo, y la embarcación ha cam-
biado de rumbo dad9 que hay tormenta en alta mar.
5.14. Subirá el precio de! pan porque subió el precio de la
gasolina, en vista de que si subió el precio de la gasoli-
na, el gobierno no puede controlar la inflación.
5.15. No es el caso que si ·Cristina no estudiaba abogacíal no
habría podido contraer matrimonio, dado que Cristina
no ha podido contrakr matrimonio porque preside la ad-
ministración de una empresa.
53
Diógenes Rosales
54
3. LAS TABLAS DE VALORES
que da como resultado 4. Esto significa que tanto "p" como "q" ten-
drán cuatro valores cada una, combinados en las columnas de refe-
rencia como aparece en el siguiente esquema:
p, q p 11 - q
VV
V F
F V
F F
Luego, aplicando las reglas pertinentes se tiene:
p, q p 11 - q
V V V F F
V F V V V
F V F F F
F F F F V
55
Diógerws Rosales
F
(- r ....... q) .-. r
F F V
-
F
- p
F
V V F V V V V V V F
V F V F F F V V F F
V F F F F V F V V F
FVV V F F F V V V
F V F V V V V V V V
F F V V V F V V V V
F F F V F V F V V V
Fórmula válida o fórmula condicional tautológica.
(5) p, q, r
VVV
p ....... (q
V
11
V
r) .11.
F
(q --
F F
r) ....... p
F
V V F F F F V V V
V F V F F F V F V
V F F F F F V V V
F V V F V F F F V
F V F V F F V V F
F F V V F F V F F
F F F V F F V V F
Como la tabla de valores de esta fórmula nos muestra que es
falsa en toda interpretación, la fórmula es contradictoria.
57
DiógeTU!s Rosales
58
Las tablas di! lJalOn!S
(p - - q) - (r - q) .v. - r - - p
V F F FVFFFV
Siguiendo el procedimiento, por "iii" reiteramos el valor de "p"
y el valor de "r" y, aplicando la regla de cada uno de los operadores
cor:espondientes, esto es, de "_", "_" y de "_", se tiene:
(p - - ~ - (r - ~ .v. - r - - p
V V V® F F F (y) F V F F F V
En esta línea "q" exhibe los valores Vy F a la vez, lo que, según
la regla "vi", determina que la hipótesis no sea cierta; por lo tanto,
si la línea de valores que exhibe la fórmula no existe, entonces po-
demos afirmar que la fórmula (2) es tautol6gica, luego, lógicamente
válida.
(3) (p /\ q) - r .-. - p v (q - r)
En esta fórmula el operador principal "-" es F en dos opciones,
entonces, según la regla "i", se tiene:
(p /\ q) - r .- - p v (q - r)
V F F
F F V
Cada línea de valores es independiente con respecto a la otra, lo
que permite desarrollar la primera línea siguiendo las reglas ya cono-
cidas aplicadas en las fórmulas (1) y (2); entonces, después de aplicar
las reglas de los operadores correspondientes según las reglas "i", "ü"
y "iii", Y deduciendo el valor de cada una de las variables, se tiene:
(p /\ q) - r .-. - p v (q - r)
VF®V F F FVF.@F F
F F V
En esta primera línea de valores la variable "q" exhibe V y F a
la vez, lo que significa que la hipótesis no es cierta. Así, en esta
primera línea no es posible que haya una F para "_", pero esto no
indica que la fórmula (3) sea una tautología puesto que aún no se ha
verificado si la hipótesis de la segunda línea es cierta o no. De igual
modo, aplicando las reglas de cada uno de los operadores según las
reglas "i", "ii" y "iü" y deduciendo el valor de cada una de las variables,
se tiene la segunda línea de valores como sigue:
60
Las tablas ck volores
(p 11 q) - r .-. - p V (q - r)
VF®VFFFVF@FF
VVVF®FFVVVV@
(p v q) - (q " p)
VVF F FFV
VV
Si el objetivo es averiguar únicamente si la fórmula (5) es vá-
lida o no, de acuerdo a la primera línea de valores obtenida podemos
responder que es inválida, porque cada variable cumple una sola
función, por lo tanto la hipótesis es cierta, esto es, de ser F. Pero, si
desearnos averiguar los valores de la línea siguiente, seguimos el
mismo procedimiento empleado en la primera línea de valores; en
este caso, reiterando el valor de "q", "p" tiene que ser necesariamente
F para preservar el valor F del operador ",.." y, a la vez, reiterando
el valor de "p" que aparece como miembro de "v", lo que nos permite
obtener la segunda línea de valores corno sigue:
62
Las tabla8 de vaJores
(pv q) - (q 11 p)
VVF F F F V
FVV F V F F
® V F F F VF V F @F F
V F VF F® F FV V V F V V V@
F F VFVV F VF V V F V F VV
En la primera línea de valores la contradicción se da en "r",
entonces esta línea no existe en la tabla de verdad; de igual manera,
63
Diógenes Rosales
64
Las tablas de UaJOf'f!8
65
Dwgenes Rosales
66
Las tabla8 (Ú I/alores
Ejercicio 3 e _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ __
68
4. LAS INFERENCIAS
4.1. Introducción
Como ya dijimos en el capítulo 1, el tema central de la lógica es
el estudio de las inferencias. Cada inferencia es una estructura de
proposiciones donde a partir de una o más proposiciones llamadas
premisas se deduce otra proposición llamada conclusión. Formal-
mente podemos definirla así:
Pi ' P 2 ' ••• , Po :. C
donde "P" y su respectivo subíndice representan a cada premisa, n:."
significa luego, por lo tanto, etc., y "C" representa a la conclusión.
Con palabras de Quine podemos afirmar que el objetivo más
importante de la lógica en su aplicación a la ciencia y al discurso
cotidiano es la justificación y crítica de la inferencia(l). Esto indica en
gran medida que la lógica debe determinar mediante técnicas o
métodos si una proposición sigue necesariamente o no a otra pro-
posición. Por \lUo, la relación más importante entre el conjunto de
premisas y la conclusión de una inferencia es el concepto de impli-
cación, porque si la conclusión sigue necesariamente al conjunto de
premisas entonces el conjunto de premisas implica a la conclusión.
4.2. La implicación
En primer lugar, es importante distinguir los conceptos condi-
cional e implicación, porque la no distinción de estos conceptos ha
generado, entre otros problemas, la "paradoja de la implicación
material", donde se considera el operador "-" como "implica" en vez
de leerlo como símbolo de "si ... entonces".
Se dice que "A implica a B" cuando unidos por el condicional,
"A" como antecedente y "B" como consecuente, la relación es válida
o lógicamente verdadera. Por ejemplo, dadas las fórmulas "A" y "B":
69
Diógenes Rosales
(1) A =p A q
B~pvq
Para saber si "A implica a B", debemos proceder relacionando
las fórmulas de acuerdo a la siguiente forma condicional:
A-B
Luego, sustituyendo "A" y "B" por sus respectivas fórmulas, y
aplicando las tablas de verdad, se tiene:
p, q (p A q) --110 (p v q)
v V V V V
V F F V V
F V F V V
F F F V F
Como el resultado es tautológico o lógicamente verdadero, en-
tonces "(p A q) implica a (p v q)". Este ejemplo nos muestra que no
es lo mismo el concepto condicional "si A entonces B" que el concepto
implicaci6n !lA implica a B". En el primer caso, se refiere a una
relación formal condicional, antecedente y consecuente, mientras que
en la implicación se refiere a una relación semántica o a una relación
entre los valores de verdad.
Si una proposici6n "A" implica a otra proposición nB", entonces es
imposible que "A" sea verdadera y "B" falsa, es decir, si "A" es
verdadera entonces "B" es necesariamente verdadera.
Esta definición de la implicación podemos expresarla como si-
gue:
A - B = der. - (A A - B)
En el ejemplo (1), si "(p A q)" es verdadera entonces "(p v q)"
es necesariamente verdadera. Esta interpretación aparece, como
se puede apreciar, en la primera opción de la tabla de verdad.
Luego, "(p v q)" se deduce válidamente a partir de "(p 11 q)". Esto
significa que la implicaci6n es un tipo de inferencia donde la con-
clusión se obtiene a partir de una sola premisa. A continuación
otro ejemplo:
(2) Dadas las siguientes proposiciones:
A = O una princesa se casa joven, o puede llegar a los 21
años y contraer nupcias con un noble caballero.
70
Las Inferencias
71
Diógen.es Rosales
A= (- q - p) - - r
B= - p - - r
(- q - p) - r .-. - p - - r
VF FFV FVFVFFFV
En este caso existe una interpretación falsa en el operador "-",
de modo que "B" no está implicada por "A".
4.2.1. Propiedades de la implicación
Las propiedades de la implicación aparecen expresadas en las
siguientes cuatro leyes generales:
1. Propiedad reflexiva: Cualquier fórmula (A) se implica a sí
misma.
A-A
2. Propiedad transitiva: Si "A" implica "B" y "B" implica a "C",
entonces "A" implica a "C".
(A - B) A (B - C) .-. A - C
3. Cualquier fórmula implica a una tautología (T).
A-T
4. Una contradicción (.1) implica a cualquier fórmula .
.l-A
El conocimiento de estas leyes generales nos facilitará la cons-
trucción de demostraciones como, por ejemplo, en el método de la
derivación.
4.3. La equivalencia
También es importante distinguir el concepto equivalencia del
concepto bicondicional. El concepto "bicondicional" se refiere a la
forma lógica de "A si y sólo si B", mientras que el concepto "equiva-
lencia" se refiere a una relación semántica entre los valores compo-
nentes de "A si y sólo si B".
Se dice que "A equivale a B" cuando unidas "A" y "B" por el
bicondicional y aplicada la regla correspondiente, se obtiene como
resultado una relación lógicamente verdadera o una tautología. Por
ejemplo, sean las fórmulas "A" y "B":
(1) A =p - q
B=qv-p
72
Las Inferencias
73
DiógeTll's Rosales
A-A
2. Propiedad simétrica: Si "A" equivale a "B", entonces "B"
equivale a "A".
(A - B) - (B - A)
3. Propiedad transitiva: Si "A" equivale a "B" y nB" equivale a
"C", entonces "A" equivale a "C".
(A - B) 1\ (B - C) .-. A - C
4. Todas las fórmulas tautológicas son equivalentes.
T1 - T D
74
Las Inferencias
8. (A 1\ .1) ++ .1
9. (A V .1) ++ A
Igual que las leyes generales de la implicación, estas leyes equi-
valentes serán útiles para la construcción de demostraciones.
:. e
Simbolizada la secuencia de premisas y la conclusión, se debe
obtener la fórmula inferencial de acuerdo al siguiente esquema:
PI 11 P2 11 ••• 11 Pn .-. e
Vale insistir en que el uso expuesto de los términos referencia-
les no es una regla, sino, como se indica, sólo referencial. Por ejem-
plo, el caso 32 , representado simbólicamente como sigue, también es
una interpretación correcta de la inferencia en cuestión, donde el
"puesto que" se está representando como una forma condicional:
PI 11 P 2 . - . P n - e
Luego, para decidir la validez o invalidez, se debe evaluar la
fórmula de la inferencia por la tabla de valores o por el método de
las tablas abreviadas. La inferencia será válida si la conjunción de
premisas implica a la conclusión.
Por ra;lOpes de comodidad, para decidir la validez o invalidez de
las inferenCias, usaremos especialmente el método de las tablas
abreviadas. En este caso, para facilitar el procedimiento, partiremos
de la hipótesis verdadera de cada premisa y falsa de la conclusión,
que esquemáticamente podemos expresar así:
PI 11 P2 11 ••• 11 Pn .-. e
v v V F
Luego, la aplicación de las reglas del método abreviado son
exactamente las mismas. Ejemplos:
(1) Si el galeón no trae piratas, entonces el capitán ha muerto
o está prisionero. Pero el capitán no ha muerto ni está
prisionero. En consecuencia, el galeón trae piratas.
Primero simbolizamos cada proposición simple de la inferencia
mediante una variable proposicional, luego la secuencia de premisas
y la conclusión, como sigue:
76
Las Inferencias
77
Diógenes Rosales
p .-. - q v r
r - s
.. s - p
(- p .-. - q v r) 11 (r - - P
s) .-. s -
FVVFVFF FVV VFFV
Esta inferencia es del caso 3!! porque la conclusión aparece entre
las premisas. Después, la fórmula inferencial sometida al método
abreviado confirma la hipótesis de que las premisas son verdaderas
y la conclusión falsa, porque la no existencia de una contradicción en
alguna variable indica que la fórmula es falsa en alguna interpreta-
ción, luego la inferencia es inválida.
Esta misma inferencia puede simbolizarse de la siguiente mane-
ra:
- p .-. - q v
:. (r - s) - (s - - p)
Nótese en este caso que el puesto que se ha interpretado como
un condicional donde el "consecuente" aparece antes y el "anteceden-
te" después. Esta interpretación simbólica se justifica por la ley de
la Exportación (2). Aplicado el método abreviado, da el mismo resul-
tado sobre la validez de la fórmula. Así:
(2) Infra, véase equivalencias notables, p. 88.
78
La8 Inferencias
(- p .-. - q V r) .-. (r - S) - (S - - p)
FV V FVFF FVV F VFFV
Fónnula no tautológica, luego la inferencia es inválida.
(4) Si todas las tierras son cultivadas entonces la reforma
agraria dará buenos resultados. La reforma agraria dará
buenos resultados si y sólo si el gobierno construye
reservorios. Aumentará el volumen de la producción agrí-
cola si y sólo si el gobierno construye reservorios. Pero, no
es el caso que si la inflación persiste aumente el volumen
de la producción agrícola. En consecuencia, si la inflación
persiste, todas las tierras no serán cultivadas.
Todas las tierras son cultivadas = p
La reforma agraria dará buenos resultados = q
El gobierno construye reservorios = r
Aumentará el volumen de la producción agrícola = s
La inflación persiste = t
P - q
q - r
s - r
- (t - s)
t - - P
(p - q) " (q r) " (s r) - (t - s) .-. t - - P
@V F F V F
++
F V F
++
" VVFF V F F®
El método muestra la contradicción en "p", luego el conjunto de
premisas implica a la conclusión. Inferencia válida.
(5) Carlos es un economista liberal si tiene el mayor número
de acciones, puesto que es el jefe de la empresa. Si Carlos
es un banquero acaudalado o es un economista liberal,
entonces es el jefe de la empresa y tiene el mayor número
de acciones. Pero, no es el caso que si Carlos es el jefe de
la empresa no sea un banquero acaudalado. De modo que,
Carlos no tiene el mayor número de acciones si y sólo si es
un economista liberal.
Carlos es un economista liberal = p
Carlos tiene el mayor número de acciones =q
79
Dióge~s Rosales
V
- e
V
Válida F ?
Inválida V ?
Inválida F ?
En otros ténninos, en una inferencia válida, si el conjunto de
premisas es falso, no hay seguridad a nivel semántico acerca del tipo
de conclusión que se va a obtener; de igual modo ocurre en una
inferencia inválida.
80
Las lnferenciOB
Ejercicio 4 • -------------------------------------------
Desarrolle los ejercicios que aparecen a continuación emplean-
do las tablas de valores o el método de las tablas abreviadas.
1. Dadas las siguientes proposiciones:
A = Si los ríos aumentan de caudal, o hay lluvias en la sierra
o hay deshielos en la cordillera.
B = Si hay deshielos en la cordi~lera entonces los ríos aumen-
tan de caudal.
e = Los ríos aumentan de caudal a menos que no haya llu-
vias en la sierra.
D = No es el caso que no haya lluvias en la sierra o no haya
deshielos en la cordillera, puesto que los ríos aumentan de
caudal.
E = Los ríos aumentan de caudal, en vista de que hay lluvias
en la sierra o hay deshielos en la cordillera.
Determine:
a. Si A implica a B.
b. Si A es implicada por D.
c. Si B está implicada por E.
d. Si la conjunción de B y e implica a E.
e. Si la disyunción de B y e está implicada por D.
2. Si la fórmula "A" tiene como variables (p, q, r) y a la vez "A"
tiene los valores FFVVFFW, entonces determine si "A" está
implicada o no por cada una de las siguientes fórmulas:
B = - (- q - r)
e= (p - r) 11 (- r 11 p)
D = - q .-. - (- p v - q) v - r
3. Dadas las siguientes proposiciones:
A = Si con carabinas se cazan felinos entonces las carabinas son
armas de largo alcance, sin embargo los felinos no son fáciles
de cazar a pesar de que las carabinas son armas de largo
alcance.
B = No es el caso que los felinos sean fáciles de cazar o las
carabinas no sean armas de largo alcance.
e = No es el caso que con carabinas se cazen felinos y las
carabinas no sean armas de largo alcance, sin embargo
los felinos no son fáciles de cazar.
81
DitJgenes Rosales
84
5. FORMAS NORMALES: CONJUNTIVA Y
DISYUNTIVA
5.1. Introducción
Las formas normales son modelos de fórmulas donde aparecen
sólo los operadores" A", v" y/o
11 Como hemos visto en el capí-
11 -".
85
Di6ge/llls Rosales
(1) Infra, p. 92
86
Formas Normales: ConjunJiva y disyunJiva
87
Dióge1U!s Rosales
88
Formas Normales: Conjuntiva y disyuntiva
2.3. P - (q - r) . - . (p - q) - r
La Asoc. nos indica que dos o más conjunciones con la misma
jerarquía Se pueden agrupar indistintamente. Esta afIrmación vale
también para las disyunciones y las bicondicionales.
3. Leyes de la idempotencia (Idem.)
3.1. (p A p) - p
3.2. (p v p) - p
Según Idem., las fórmulas que se repiten en una cadena de
conjunciones o en una cadena de disyunciones se eliminan.
4. Leyes distributivas (Dist.)
4.1. P A (q v r) .-. (p A q) v (p A r)
4.2. p v (q A r) .- (p v q) A (p v r)
4.3. p - (q A r) .-. (p - q) A (p - r)
4.4. p - (q v r) .-. (p - q) v (p - r)
La Dist. 4.1 es la distribución del conjuntivo al disyuntivo, donde
uno de los componentes de la conjunción se distribuye a cada uno de
los componentes de la disyunción; en cambio la operación inversa se
denomina del factor común. El procedimiento es el mismo para 4.2,
denominado distribución del disyuntivo al conjuntivo.
A continuación algunos ejemplos sobre la aplicación de la dis-
tribución del conjuntivo al disyuntivo:
(1) 1) P A (- q v r v - s)
2) (p A - q) v (p A r) v (p A - s) de 1 por 4.1.
En este caso "p" se ha distribuido en cada uno de los componen-
tes de las disyunciones. La fórmula 2 es equivalente a 1.
(2) 1) (- P A q) v (r v s)
2) (- p v r v s) A (q v r v s) de 1 por 4.2.
En este caso "r v s" se ha distribuido en cada uno de los com-
ponentes de la conjunción.
En 4.3. y 4.4., la distribución del condicional se efectúa partien-
do del antecedente hacia el co~ecuente, ya sea para la conjunción
o para la disyunción. En los dos casos, la operación inversa podernos
denominarla también del factor común.
89
Diógenes Rosales
(3) Las leyes de De Morgan fueron formuladas por primera vez por Guillermo de Occam
en el siglo XIV. Luego Augustus de Morgan las formuló en el siglo XIX.
90
Forma.s Normales: ConjuntifJo y disyuntifJO
91
Di6geTll!s Rosales
92
Formas Normales: Conjuntiva y disyuntiva
pv-rvqv-t
Obtener la FNC de una fórmula "A" consiste en transformar "A"
en una disyunción básica o en conjunciones de disyunciones básicas
aplicando las conocidas reglas de transformación (equivalencias no-
tables). En este sentido, toda fórmula de la lógica proposicional tiene
su FNC.
5.4.1. FNC como procedimiento decisorio
Como toda fórmula proposicional es reducible a una FNC, la
FNC se puede usar para decidir si una fórmula es o no válida. Para
el efecto es suficiente reconocer si una disyunción básica es o no una
tautología. Una disyunción básica es una tautología cuando existe
una misma variable negada y sin negar a la vez. Por ejemplo la
siguiente disyunción básica es una tautología:
pv-qv-pvrv-s
Como se puede apreciar, "p" que está sin negar y negada a la
vez nos indica que es una tautología porque "p v - p" es la expresión
del principio del Tercio Excluido. Entonces, podemos decir que una
disyunción básica es una tautología cuando contiene el Tercio Ex-
cluido. Luego, una FNC es una tautología cuando cada disyunción
básica contiene el Tercio Excluido. Por ejemplo, la siguiente FNC es
una tautología y, por lo tanto, válida:
(p v - q v q) A (- p v r v p) A (- r v - q v r)
La primera disyunción básica es tautológica por "- q v q", la
segunda por "- p v p" y la tercera por "- r v r". Como sabemos por
las propiedades de la equivalencia, la conjunción de tautologías equi-
vale a una tautología: "Ti A T2 . - . T a" (6).
Si "A" es una fórmula válida convergerá necesariamente en una
FNC válida, porque la FNC de "A" es equivalente a "A", pero si "A"
no es válida, la FNC de "A" tampoco será válida.
5.4.2. Procedimiento para obtener la FNC
Para obtener la FNC de una fórmula "A" se deben seguir las
siguientes pautas:
i) Transformar "A" sólo a operadores itA", "v" y "-".
94
Formas Nonrw.les: Conjuniiua y disyuntiva
96
Fomulll Normales: Conjuntiva y disyuntiva
~AqA~v~rAsA~v~qAsA-~
donde (p A q A r) puede ser Al' (- r A s A t) puede ser A , Y Aa
puede representar a (- q A S A - t). Entonces, obtener la FÑD de
una fórmula "A" consiste en transformar "A" en una conjunción básica
o en disyunciones de conjunciones básicas aplicando las conocidas
reglas de transformación (equivalencias notables). Luego, se puede
obtener la FND de cualquier fórmula de la lógica proposicional.
5.5.1. Consistencia o inconsistencia de una FND
Con una FND se puede determinar si una fórmula "A" es o no
consistente. U na FND es consistente cuando por lo menos una de sus
conjunciones básicas no es contradictoria. Para reconocer una con-
junción básica contradictoria es suficiente ver la existencia de una
misma variable proposicional negada y sin negar a la vez. Por ejem-
plo, la siguiente conjunción básica es contradictoria:
PA-qA.-pAr
Como se puede apreciar, la contradicción está en "p A - p",
luego, podemos afirmar que es una FND inconsistente, lo que signi-
fica que una FND es inconsistente cuando cada una de sus conjun-
ciones básicas contiene una contradicción. Por ejemplo la siguiente
FND:
~A-qA~v~rAqA~v~ApA-~
4) (- P v q v q v - p) ,11, (- q 11 p) v (p 11 - q) DM.
5) (- P v q) 11 (- q 11 p) Idem,
6) (- P A - q 11 p) v (q 11 - q 11 p) Dist.
7) - P A - q 11 P Elim, .L
La FND de 1 es inconsistente como muestra la fórmula 7, luego
1 es una fórmula contradictoria. Vale aclarar que el paso de 6 a 7 se
justifica por la regla "(1.1 v 1.2) - 1.t
la disyunción de fórmulas
contradictorias equivale a otra fórmula contradictoria.
(3) 1) - P 11 (q - r) .-, p 11 r
2) - (- P ,11, - q v r) v (p 11 r) Imp.
3) p v (q 11 - r) v (p 11 r) DM y DN.
4) p v (q 11 - r) Abs.
5) p 11 (q v - q) .v. (q 11 - r) Expan.
6) (p 11 q) v (p 11 - q) v (q 11 - r) Dist.
En el proceso de la transformación de fórmulas podemos obser-
var que la fórmula 4 puede distribuirse del disyuntivo al conjuntivo,
y obtener así una FNC, pero como nuestro objetivo es hallar una
disyunción de conjunciones, hemos aplicado a la fórmula 4 la regla
98
Formas NormoJu: Co'liuntiva y diByuntiua
Ejercicio 5 • - - - - - - - - - - - - - - - - - - - - -
1. Obtenga la FNC o la FND de cada una de las siguientes fórmu-
las aplicando solamente las reglas de la Dist. y de la Abs.
1.1. (p A - q) v (q v - r)
1.2. (p v - q) v (- r A q) v r
1.3. (p A q) v - r v (- q A s)
1.4. (p v - q) A - p A (- q v r)
1.5. (p v - q v r) v (s A - t)
1.6. (p v q) A (r A - p) A (- r v s)
1.7. (p A - q A - r) A (- S v t v q)
1.8. (p A q) A (r v s) A (- t v p)
1.9. (- p A q) A (r v - s v p) A (- q V - t)
1.10. (- p v q v r) v (- r A s A t) v (- q A k)
2. Obtenga la FNC de cada una de las siguientes fórmulas, y diga,
en cada caso, si es o no válida.
2.1. (p A q) - p
2.2. (- p - q) - (q - r)
2.3. (p - - q) A q .-. P - r
2.4. (p v q) - (p - q)
2.5. (p - q) - (- q - - p)
99
Di6geMB Rosales
2.6. (p v q) 11 (- q - r) .-. p v r
2.7. (p - - q) 11 (r - s) .v. p - s
2.8. (- p 11 q .-. r) 11 (r - s .11. - q)
2.9. (p v q .11. - r) - (- p - s) .h. - (s - r)
2.10. (p - q .v. r - s) - (q - s) .11. - q
3. Obtenga la FND de cada una de las siguientes fórmulas, y diga,
en cada caso, si la FND es consistente o inconsistente.
3.1. (p - q) 11 (- q h r)
3.2. - (- p v q .-. - q - p)
3.3. - (p - q) - (- q 11 p)
3.4. (p - q) h (r - - q) .-. - p - r
3.5. (p h q) - r .-. - r h - (q - - p)
3.6. (p 11 - q) v - r .-. - (r - - p)
3.7. (p - q) h (r - - q) h - (p - r)
3.8. (p - - q) v (r - - p) .h. q V r
3.9. - (p ++ q) v - [(r - p) v - (r 11 q)]
3.10. (p v - q .-. r - s) v (q ++ s) .11. (q .-. r 11 s)
4. Determine por la FNC si cada una de las siguientes inferencias
es o no válida.
4.1. Daniel obtendrá la beca, si estudia física nuclear o estu-
dia informática. Daniel estudia informática. En conse-
cuencia, Daniel obtendrá la beca.
4.2. Si la economía peruana está en crisis entonces los capi-
talistas extral\ieros no invertirán en el Perú. La econo-
mía peruana está en crisis porque no existe un ajuste
estructural en la administración. Por lo tanto, los capita-
listas extranjeros invertirán en el Perú si existe un ajuste
estructural en la administración.
4.3. Si Rusia llegó a un acuerdo con la OTAN y se adhiere a
la asociación por la paz, entonces podrá ampliar su pro-
grama de cooperación militar. Rusia no podrá ampliar su
programa de cooperación militar. En consecuencia, Rusia
llegó a un acuerdo con la OTAN si y sólo si se adHere a
la asociación por la paz.
100
FOrmal/ Normale8: Conjuntiva y dill)'untWa
102
6. EL METODO DE LA DERIVACION
6.1. Introducción
En el capítulo anterior hemos introducido un conjunto de reglas
equivalentes que nos permiten transformar fórmulas. Esta transfor-
mación de fórmulas, donde a partir de una fórmula "A" se obtiene
otra fórmula "B" equivalente, constituye un modo de derivar la con-
clusión a partir de una premisa. Sin embargo, estas reglas sólo nos
permiten derivar una conclusión equivalente al conjunto de premisas.
No nos permiten derivar una conclusión que no es equivalente a
pesar de que el conjunto de premisas implica a la conclusión. Por lo
tanto, las reglas equivalentes resultan insuficientes para derivar
cualquier conclusión que se deduce válidamente de un cOl'Yunto de
premisas. Es necesario, entonces, introducir leyes lógicas que permi-
tan derivar válidamente conclusiones no equivalentes. Para el efecto
enunciaremos las otras leyes lógicas, denominadas leyes implicativas
o también llamadas implicaciones notables. Cada una de las im-
plicaciones notables será expresada en forma de regla lógica con el
objeto de facilitar la operatividad en la derivación.
La derivación como método es la aplicación de un conjunto de
reglas lógicas para demostrar que la conclusión está implicada por
un conjunto de premisas. En otros términos, el método de la deriva-
ción demuestra sólo fórmulas o inferencias válidas. Esta demostra-
ción consiste en obtener la conclusión a partir del conjunto de premisas
aplicando las reglas lógicas en una secuencia finita de pasos, donde
cada paso debe estar justificado mediante una regla lógica.
6.2. Implicaciones notables
Las implicaciones notables son las llamadas leyes implicativas.
Las leyes implicativas las expresaremos como formas elementales de
razonamientos válidos, esto es, como reglas de inferencia. A conti-
nuación se citan las más importantes.
1. Modus Ponendo Ponens (MPP). Según esta regla si se afir-
ma el antecedente de una premisa condicional, se concluye la afir-
103
Diógenes Rosales
104
El métoOO de la derivad/m
las otras formas válidas, de ahí que será suficiente enunciar las
respectivas reglas.
2. Modus Tollendo Tollens (MTI). Si se niega el consecuente de
una premisa condicional, se concluye la negación del antecedente de
dicha premisa. Formalmente, como sigue:
A -+ B
- B
A
3. Silogismo Disyuntivo (SD). Si se niega uno de los componen-
tes de una premisa disyuntiva, se concluye la afirmación del otro
componente. Formalmente se tiene:
A v B A v B
- A - B
.. B .. A
4. Simplificación (Simp.): De una premisa conjuntiva se puede
concluir cualquiera de sus componentes. Formalmente se tiene:
A 11 B A 11 B
:. A :. B
5. Adición (Ad.). De una premisa se puede concluir la disyunción
de la misma con cualquier otra fórmula. También podemos decir:
una disyunción está implicada por cualquiera de sus componentes.
Esquemáticamente, como sigue:
A B
:. A v B :. A v B
6. Conjunción (Conj.). De un conjunto de premisas se puede
concluir la conjunción de las mismas. Formalmente se tiene:
A A
B B
.. B 11 A
7. Silogismo Hipotético Puro (SHP) Si de un conjunto de dos
premisas condicionales el consecuente de una de las premisas es la
afirmación del antecedente de la otra premisa, entonces del ante-
105
DWgefUls Rosales
B v D
A v C
Ahora que disponemos de las reglas equivalentes e implicativas
podemos demostrar cualquier inferencia válida por el método de la
deriuación. Las demostraciones por derivación pueden efectuarse en
cualquiera de las formas denominadas prueba directa, prueba condi-
cional y prueba indirecta o por reducción al absurdo. Exponemos a
continuación cada una de estas pruebas.
106
El mAtodD de la deri/Jación
{ i} j) n+l (justificación)
{ i} k) e (justificación)
donde "Pn+l" representa el conjunto de premisas y "e" la conclusión
de la inferencia. Las secuencias de fórmulas están expresadas por
"n+l" y la numeración de estas secuencias está indicada por "i", ''j''
Y "k". La palabra "justificación" entre paréntesis indica la regla apli-
cada en cada caso; "{ i}" es también la justificación, pero sólo de las
premisas que intervienen en l~ derivación. A continuación algunos
ejemplos:
(1) PI)
P 2)
p
r
-- - q
q
Pa) p II .. r
{1,3} 4) q (1,3) l\4PP.
{1,2,3} 5) r (2,4) MTT.
Aunque el procedimiento seguido aparece objetivamente justi-
ficado en cada secuencia, podemos observar que 4 se deduce de 1 y
3 por MPP, a la vez, como 1 y 3 son premisas que intervienen en la
démostración, se colocan al margen izquierdo de la secuencia, luego
5 se deriva de 2 y 4 por M'I'I' y, como para obtener esta consecuencia
han participado todas las premisas, éstas se colocan también al
margen izquierdo. Aquí se detiene el proceso, porque nuestro objeti-
vo es demostrar que "-r" se deriva del conjunto de premisas que
aparecen indicadas por "P" y sus respectivos subíndices. También se
107
DwgeTll!B RosaUs
108
El mi/odo de la derivación
k) C (justificación)
l) A - C (j - k) PC.
El esquema muestra la denominada barra de Anderson-
Johnstone que determina una subderivación dentro de la derivación
principal. La presencia de la barra indica que "A" implica a "C", si
110
El mJtodo de la derivación
[L4)
5)
6)
q
r
p-r
(1,3) MPP.
(2,4) MPP.
(3-5) PC.
Corno podernos apreciar, esta inferencia tiene la forma del SHP,
de modo que esta demostración es la misma que podría efectuarse
para la regla del SHP. De igual manera podernos demostrar muchas
otras reglas lógicas mediante PC, mientras que por la prueba directa
no sería posible tal demostración. Entre otros detalles, las demostra-
ciones por PC no llevarán la justificación al margen izquierdo Sim-
plemente por razones de comodidad.
(2) Si hay golpe de Estado, los jueces de la corte renunciarán
si son demócratas. Si los jueces de la corte renuncian o se
111
Di6genes Rosales
aparece entre las secuencias 1 y 12; luego, podemos colegir "p - Sil
por PC, como señala la barra. De igual manera, si se ha derivado
"p _ Sil, entonces podemos concluir también por PC "r - (p - s)",
que también aparece señalada por la barra.
La demostración de una inferencia que puede resultar laboriosa
por la Prueba Directa, generalmente resulta más sencilla por la
Prueba Condicional. Pero, la ventaja de la Prueba Directa radica en
que demuestra la validez de todo tipo de inferencias válidas, mien-
tras que la PC sólo demuestra inferencias que tienen como conclu-
sión una fórmula condicional.
6.5. La prueba indirecta
La prueba indirecta, más conocida como la prueba por Reduc-
ción al Absurdo (RA), es otra forma de la derivación para demos-
trar fórmulas o inferencias válidas. La prueba por RA consiste en
asumir la negación de la conclusión de una inferencia como premisa
adicional, y deducir, luego, una contradicción a partir del conjunto
de premisas y de la premisa adicional. Si deducimos la contradic-
ción a partir del conjunto de premisas y de la premisa adicional,
entonces la conclusión de la inferencia se deriva lógicamente del
conjunto de premisas. En otros términos, suponemos la falsedad
del consecuente para colegir la falsedad del antecedente, demos-
trando de esta manera indirecta que la conclusión está implicada
por el conjunto de premisas. Esquemáticamente podemos expresarla
como sigue:
i) Pn+l //:. C
j) - C Prem. Ad.
k) A A - A (justificación)
l) -C (j-k) RA.
ll) C (l) DN.
Así como en PC, el esquema muestra la barra de Anderson-
Jóhnstone que indica una subprueba dentro de la derivación prin-
cipal. Como la barra señala sólo la relación de implicación, asumi-
remos este esquema como regla lógica para justificar la demostración
por prueba indirecta o RA, porque en este caso, si "- COI implica a
113
Diógeru!8 Rosales
"A " - A", entonces podemos concluir "- - e". Esta regla corresponde
a la siguiente ley del absurdo:
p - (q " - q) .-. - p
que afirma: si una proposición implica a una contradicción, entonces
dicha proposición es falsa.
La prueba por RA demuestra todo tipo de inferencias válidas o
fórmula lógicamente verdadera. A continuación algunos ejemplos:
(1) PI)
P 2)
p
-
r - s
q
P 3) p V r II .. q v s
4) - (q v s) Prem. Ad.
5) - q - s" (4) DM.
6) - q (5) Simp.
7) - P (1,6) MTT.
8) r (3,7) , SD.
9) s (2,8) MPP.
10) - s (5) Simp.
11) s
"- (q- s (9,10) eonj.
12) - v s) (4-11) RA.
13) q v s (12) DN.
En este caso hemos demostrado el 'Dee. eomo se puede apre-
ciar, se ha negado la conclusión "q v s", introduciéndola en la se-
cuencia 4 como Prem. Ad.; luego, del conjunto de premisas y de la
premisa adicional se ha derivado la contradicción ns " - Sil, como
bien señala la barra, lo que significa que es falsa la negación de
"q v Sil. Por lo tanto queda demostrado que "q v Sil se deriva del
conjunto de premisas.
A continuación demostramos la validez de una inferencia.
(2) Si el contrato es válido, o la Sra. García tendrá que desocu-
par la casa o estará obligada a pagar jurídicamente. Si el
contrato no es válido, la sentencia del juez es dudosa. Sin
embargo, ni la Sra. García tendrá que desocupar la casa ni
la sentencia del juez es dudosa. Por consiguiente, el con-
114
El método de la derivación
115
DiógeTU!s Rosales
Ejercicio 6 " - - - - - - - - - - - - - - - - - - - - - -
1. Obtenga la conclusión que se deduce lógicamente de cada con-
junto de premisas que aparece a continuación, y justifique la
conclusión derivada mediante una regla lógica.
1.1. Si el cielo está nublado y hace frío, entonces no se lleva-
rá a cabo el concurso de natación. Ocurre que el cielo
está nublado y hace frío. Luego, ...
1.2. Si Carlota visita los museos y asiste a los conciertos,
entonces es aficionada al arte. Pero Carlota no es aficio-
nada al arte. Por lo tanto, ...
1.3. O el festival se celebrará al aire libre si no llueve, o se
celebrará en el coliseo cerrado si hace frío. Pero, no es el
caso que si no llueve, el festival se celebre al aire libre.
De ahí que, ...
1.4. El avión llegará a la hora exacta si no tuvo problemas
en el aeropuerto. Los pasajeros asistirán al festival si el
avión llega a la hora exacta. Por lo tanto, ...
1.5. O el incendio en la fábrica fue premeditado o se produjo
por combustión espontánea, si y sólo si se cortó el fluido
eléctrico. El accidente no se produjo en horas de la
madrugada si y sólo si se cortó el fluido eléctrico. En
consecuencia, ...
1.6. Si los artículos bajaron de precio, entonces aumentó la
importación si se liberaron los impuestos. Los artículos
bajaron de precio, porque el gobierno aplicó una econo-
mía liberal y controló la infl~ción. De modo que, ...
1.7. La paradoja de Russell no tiene solución si todo conjun-
to no se contiene a sí mismo, y si todo conjunto se
contiene a sí mismo entonces el concepto de inclusión es
abstracto. Pero, todo conjunto, o se contiene a sí mismo
o no se contiene a sí mismo. En consecuencia, ...
1.8. Si las pirámides egipcias fueron construidas en tiempo
de los faraones entonces los arquitectos egipcios conocie-
ron la geometría, y si los científicos egipcios conocieron
la matemática entonces Egipto fue cuna de las ciencias
abstractas. Pero, Egipto no fue cuna de las ciencias
abstractas o los arquitectos egipcios no conocieron la
geometría. Luego, ...
116
El método ck la ckriua.cwn
2.5. PI) - (p v q)
P2) r --+ (p v q)
P a) r v (s --+ p) II :. - q A - s
117
Dw,eMB Rosales
118
El método €k la €kriuación
2.14. Pl) p ++ - q
P2) S - - (- t A - p)
P3) p V - (r - t) II :. q - - S
2.15. Pl) - p - (p A - r)
P2) (p ++ q) - (S A - t)
P3) (p V r) - (q " w)
P 4) - k ++ (w ++ - t)
P 5) k ++ (Z A k) .-. X // :. - (S ++ - X)
119
DiógeTU!6 Rosales
120
El mitodo de la derivacidn
P 3) (z v r) - t // :. (- q - s) - (w - t)
3.5. PI) (p 11 - q) - (r - s)
P 2) z - (t 11 p)
P 3) (- z v - t) - - w
P 4) (r - w) - k // :. - q .-. Z - (s - k)
3.6. Si el contrato no se cumple entonces la construcción del
edificio no terminará a fin de año, Si la construcción del
edificio no termina a fin de año entonces el banco pierde
el dinero. Por lo tanto, si el banco no pierde dinero en-
tonces el contrato se cumple.
3.7. Si es imposible que consiga carro y me movilice rápido,
pierdo el tren y no viajo a Ruancayo. En consecuencia,
si no consigo carro, no viajo a Ruancayo.
3.8. Si un número no es divisible por 2, o es un número impar
o es un número pnmo. N o es un número primo si es una
fracción positiva. Pero, si es un número impar entonces
no es un número decimal. Por lo tanto, si un número no
121
Di6geMs RosaJes
p.) (t - w) - - (q v s)
P 5) (- t v - w) - k II :. - (- t ++ k)
122
El rMtodo di! la dl!rivación
4.5. PI) - (p 11 - q)
P2) (s - t) V (r - q)
P3) r - (- q 11 p)
p.) (- q - - p) - p
Pr;) W - (t 11 - s) // :. w - - P
4.6. Masías será encontrado culpable si hoy rinde testimo-
nio. Pero si Masías dice la verdad, no será encontrado
culpable. En consecuencia, o Masías hoy no rinde testi-
monio o no dice la verdad.
4.7. Como es hora laborable, se concluye que en el juzgado
hay jueces y testigos, dado que, si es hora laborable, en
el juzgado hay jueces, y hay testigos si en el juzgado hay
jueces.
4.8. Si los fenómenos naturales se comportan según las leyes
mecánicas de Newton entonces Newton dice la verdad,
sin embargo la física clásica no es absoluta. La física
clásica es absoluta, si el movimiento o la velocidad de la
luz son absolutos. Si Newton dice la verdad, el movi-
miento es absoluto. Por lo tanto, los fenómenos natura-
les no se comportan según las leyes mecánicas de Newton
ni la velocidad de la luz es absoluta.
4.9. El producto marginal crece cada vez que el producto
total crece, lo que significa que el resultado de los ren-
dimientos es creciente. Si la producción minera decrece,
entonces el producto total decrece. El resultado de los
rendimientos es creciente, si y sólo si la producción
minera no decrece y el producto marginal crece. Por lo
tanto, si los economistas dicen la verdad, entonces la
producción minera crece.
4.10. Si Smith tiene el mayor número de acciones o es un
economista, entonces o no tiene problemas con la admi-
nistración o el departamento legal no es eficiente. O no
es el caso que Smith sea el director de la empresa o sea
un economista, o tendrá problemas con la administra-
ción si el departamento legal no es eficiente. Smith es
un economista. Por consiguiente, el departamento legal
es eficiente si y sólo si no tiene problemas con la admi-
nistración.
123
Segunda Parte
LOGICA DE
PREDICADOS MONADICOS
7.1. Introducción
En vista de que en el capítulo 8 trataremos la lógica tradicio-
nal aristotélica, introduciremos los conceptos elementales de "clase"
o "conjunto" y sus respectivas relaciones, porque la lógica tradicio-
n~l trata sobre las relaciones entre "clases" expresadas en las lla-
madas proposiciones categóricas, y éstas constituyen la base en el
sistema de la lógica tradicional aristotélica.
Además, la lógica tradicional aristotélica fue interpretada
algebráicamente por George Boole, por lo tanto la lógica tradicional
puede reducirse al cálculo puramente algebraico de Boole, pero con
la ayuda de la lógica proposicionaL A pesar de las diferencias de
contenido entre la lógica de clases y la lógica proposicional existe
entre ambas una analogía estructural, como veremos luego. En con-
secuencia, las nociones de clase y álgebra booleana son conceptos
fundamentales en el estudio de la lógica tradicionaL
128
Nociones sobre Lógica de Clases
129
Diógenes Rosales
y simbólicamente se expresa:
A=<\>
130
Nociones sobre Lógica de Clases
o
7.4.2. Unión
La unión o suma de dos clases A y B es la clase formada por
todos los miembros que pertenecen a A o a B o a ambas clases. El
símbolo de unión es "u", y la unión de A y B se expresa por:
AuB
y formalmente se define como sigue:
A u B = (xix E A v X E B}
Y se lee "para cualquier x tal que x pertenece a A o x pertenece a
B". Ejemplo:
(1) Si A = (1, 2, 3, 4} Y
B = (3, 4, 5, 6}
entonces:
A u B = (1, 2, 3, 4, 5, 6}
En el diagrama la unión de A y B se representa por el área
total de los dos círculos que se interceptan.
AuB
131
Diógenes Rosales
7.4.3. Intersección
La intersección de dos clases A y B es la clase formada por
todos los miembros que pertenecen a la vez a A y a B. El símbolo
de la intersección es "n", y la intersección de A y B se expresa por:
AnB
y formalmente se defme:
A n B = lx/x E A 1\ X E B}
Y se lee "para cualquier x tal que x pertenece a A y x pertenece a
B". Ejemplo:
(1) Si A = {l, 2, 3, 4} Y
B = {3, 4, 5, 6}
entonces:
A n B = {3, 4}
En el gráfico la intersección de A y B se representa marcando
la zona común a A y a B con "x", como sigue:
AnB
A B
7.4.4. Diferencia
Se llama diferencia entre dos clases A y B a la clase formada
por todos los miembros que son de A y no pertenecen a B. La
diferencia de A y B formalmente se expresa por:
A-B
y se define del siguiente modo:
A - B = lx/x E A 1\ X ~ B}
y se lee "para cualquier x tal que x pertenece a A pero x no perte-
nece a B". Ejemplo:
132
Nociones sobre Lógica de Clases
(1) Si A = {l, 2, 3, 4} Y
B = (3, 4, 5, 6}
entonces:
A - B = (1, 2}
En el diagrama la diferencia de A y B se representa marcando
la zona de A que no es de B con "x", como sigue:
A-B
B
@ AeB
7.5.2. Igualdad
Se dice que una clase A es igual a una clase B cuando todos
los miembros de A son miembros de B y cuando todos los miembros
de B también son miembros de A. El símbolo de igualdad entre
clases es "=", y la igualdad de A y B se expresa por:
A=B
134
Nociones sobre Lógica de ClDses
y formalmente se deflne:
A = B = {xix E A ++ X E B}
y se lee "para cualquier x tal que x pertenece a A si y sólo si x
pertenece a B". Ejemplo:
(1) La clase de los números naturales es igual a la clase de
los números enteros positivos.
En el diagrama, la igualdad de A y B se representa mediante
dos círculos que coinciden en todos sus puntos. El gráfico es un solo
círculo inscrito en una superflcie. Así:
G
7.5.3. Exclusión
Se dice que una clase A está excluida de una clase B cuando
ningún miembro de A es miembro de B. El símbolo de la exclusión
de clases es "*-". y la exclusión de A y B se expresa por:
A*-B
y formalmente se defme:
A *- B = {xix E A ~ x filE B}
y se lee "para cualquier x tal que si x pertenece a A entonces x no
pertenece a B". Ejemplo:
(1) La clase de los peces es diferente de la clase de los árbo-
les.
En el gráfico se representa la exclusión de Ay B mediante dos
círculos separados. Así:
135
Didgenes Rosales
88
Como se puede observar, las nociones del álgebra booleana
han sido definidas con ayuda de los operadores proposicionales. Así,
la clase complementaria con ayuda de la negación, la unión con el
disyuntivo, la intersección con el conjuntivo, la diferencia con el
conjuntivo y la negación, la exclusión y la inclusión con el condi-
cional y la igualdad con ayuda del bicondicional.
3. Contradicción: (A n A) = <1>
4. Conmutatividad: a. (A u B) = CB u A)
b. (A n B) = (B n A)
5. Asociatividad: a. A u (B u C) = (A u B) u C
b. A n (B n C) = (A n B) n C
6. Idempotencia: 8. (A n A) = A
b. (A u A) =A
7. Unión con la clase U: CA u U) = U
8. Unión con la clase q,: CA u <1» = A
9. Intersección con U: CA n U) = A
10. Intersección con q,: CA n <1» = <1>
136
Nociones sobre Lógica de Clases
137
DWllenes Rosales
Ejercicio 7 e _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ __
8.1. Introducción
La lógica tradicional es la lógica desarrollada por Aristóteles
en base a las llamadas proposiciones categóricas. Esta lógica se
denomina también lógica de las proposiciones analizadas, porque
además de tomar en cuenta las relaciones interproposicionales, trata
de la estructura interna de las proposiciones categóricas. En este
sentido, la lógica proposicional no es suficiente para analizar la
validez de todo tipo de inferencia, dado que muchos argumentos
válidos resultan inválidos al ser analizados por la lógica propo-
sicional. Veamos el siguiente ejemplo:
Todos los árboles son verdes. Todos los pinos son árboles.
Por lo tanto, todos los pinos son verdes.
Esta inferencia es válida si consideramos la afirmación de cada
una de sus proposiciones y sus respectivas relaciones, además de
poder intuir la corrección de este razonamiento con un ligero es-
fuerzo mental; sin embargo, si sometemos la inferencia a un aná-
lisis mediante la lógica proposicional, resulta inválida. La invalidez
puede hacerse patente aplicando el método ya conocido para ana-
lizar la validez de inferencias por LP. Para ello, primero
simbolizamos cada una de las premisas y la conclusión como sigue:
Todos los árboles son verdes = p p
Todos los pinos son árboles = q q
Todos los pinos 80n verdes = r
:. r
Luego, obteniendo la fórmula de la inferencia y sometiéndola
a alguno de los métodos decisorios de LP, en este caso las tablas
abreviadas, se tiene:
(p 1\ q) ---+ r
V VV F F
139
Diógenes Rosales
140
L6gica Tradicional
142
L6gica Tradicional
8.4.1. Contradictorias
Dos proposiciones son contradictorias cuando difieren en can-
tidad y cualidad. Las proposiciones contradictorias no pueden ser
ambas verdaderas ni ambas falsas a la vez. Esquemáticamente,
como sigue:
A E 1 O. V F
O 1 E A F V
A ---+ -E
E ---+ -A
Ejemplos: (1) Todos los caballos son solípedos, luego es falso
que ningún caballo sea un solípedo.
(2) Ningún budista es cristiano, por lo tanto es
falso que todos los budistas sean cristianos.
8.4.3. Subcontrarias
Las subcontrarias se refieren a particulares que sólo difieren
en cualidad. Las subcontrarias no pueden ser falsas a la vez, pero
sí pueden ser verdaderas. Esquemáticamente se tiene:
1 O. V F
O ' T . ? V
Según este cuadro, una proposición particular falsa implica a
su respectiva subcontraria verdadera, pero de una proposición par-
ticular verdadera nada se concluye con respecto a su subcontraria.
A continuación las relaciones válidas:
- 1 o
-O 1
Ejemplos: (1) Es falso que algunos insectos sean vertebrados,
luego algunos insectos no son vertebrados.
(2) Es falso que algunos gobernantes no sean po-
líticos, por lo tanto algunos gobernantes son
políticos.
8.4.4. Subalternas
Cada proposición particular es subalterna de su respectiva
universal. Si la proposición universal es verdadera, su respectiva
particular también es verdadera, pero de una proposición universal
falsa nada se concluye con respecto a su subalterna. Esquemática-
mente se tiene:
A E. V F
T ' O . V ?
Las relaciones válidas se expresan como sigue:
A ---+ 1
E ---+ O
145
Di6genes Rosales
147
Diógenes Rosale.
8.6. La obversión
La obversión,llamada también equipolencia, es una inferencia
inmediata donde la conclusión respecto de la premisa es una pro-
posición categórica de la misma cantidad pero de distinta cualidad,
que tiene el mismo sujeto, y cuyo predicado aparece negado. De una
proposición categórica universal afirmativa se concluye por obversión
una proposición categórica universal negativa que tiene el mismo
sujeto y el predicado negado. Por ejemplo:
(1) Todos los graduados universitarios son profesionales, por
lo tanto ningún graduado universitario es no-profesional.
En esta inferencia se puede observar que la conclusión es equi-
valente a la premisa; de allí el nombre de equipolencia dado por los
medievales. De modo que, si la premisa es verdadera, la conclusión
también lo es.
Siguiendo con el análisis de las inferencias por obversión, de
una proposición categórica universal negativa se concluye una pro-
posición universal afirmativa con el mismo sujeto y el predicado
negado. Por ejemplo:
(2) Ningún cristiano es mahometano, luego todos los cristia-
nos son no-mahometanos.
Como se puede ver, la conclusión también es equivalente a la
premisa. El procedimiento para obtener la conclusión por obversión
de las proposiciones particulares es exactamente el mismo, como se
puede apreciar en los siguientes ejemplos:
(3) Algunos políticos son gobernantes, en consecuencia algu-
nos políticos no son no-gobernantes.
148
Lógica TradiciDnal
149
Diógene6 Rosales
151
DWI/enes Rosales
e a S
S a V
.. V 1 e
Este silogismo es del modo AA! y pertenece a la cuarta figura.
(3) Ningún reptil es mamífero.
Algunos reptiles son carnívoros.
Luego, algunos carnívoros son mamíferos.
R e M
R 1 e
.. e i M
154
L6gica Tradicional
155
Diógenes Rosales
F i G
A a G
.. A 1 F
Este silogismo es de la segunda figura y del modo IAL Este
modo no aparece en la lista de la segunda figura, por lo tanto el
silogismo no es válido. En este caso se infringe la regla "iii" del
silogismo, porque en las premisas el término medio no está distri-
buido (cfr. 8.2.3. sobredistribuci6n de términos).
(3) Algunos animales feroces son aves de rapiña, puesto que
algunas aves de rapiña son águilas y todas las águilas son
animales feroces. ~
RIA
A a F
.. F i R
Este silogismo es de la cuarta figura y del modo IAI; en la lista
está como DIMATIS, luego es válido.
(4) Todas las serpientes son reptiles, por lo tanto algunos rep-
tiles no son venenosos, ya que algunas serpientes no son
venenosas.
S o V
S a R
.. R o V
Este silogismo es de la tercera figura y del modo BOCARDO,
por lo tanto es válido.
(5) Todos los espartanos son guerreros, por lo tanto ningún
espartano es pacífico, porque ningún pacífico es guerrero.
P e G
E a G
.. E e P
Este silogismo es de la segunda figura y del modo CESARE,
por lo tanto es válido.
(6)' Ningún religioso es ateo y algunos cristianos no son reli-
giosos, por lo tanto algunos ateos no son cristianos.
156
L6gica Tradicional
e o R
R e A
.. A o e
Este silogismo es de la cuarta figura y del modo OEO que no
está en la lista; por lo tanto no es válido. En este caso se infringen
las reglas "iv" y "vi" del silogismo, dado que el término mayor está
distribuido en la conclusión pero no está distribuido en la premisa;
además, de dos premisas negativas nada se concluye.
(7) Algunos hoteles son sórdidos, dado que todos los hoteles
son caros y ningún lugar s6rdido es caro.
S e e
Ho a e
.. H i S
Este silogismo es de la segunda figura y del modo EAl que no
está en la lista, luego no es válido. En este caso se ha infringido la
regla "vii": la conclusión debe seguir a la premisa más débil.
(8) Algunos militares no son filósofos progresistas, en vista de
que todos los militares son guerreros idealistas y ningún
guerrero idealista es mósofo progresista.
G e F
MaG
.. M o F
Este silogismo es de la primera figura y del modo EAO que sí
está en la lista; por lo tanto es válido.
8.8.6. Falacias del silogismo
Las falacias son los razonamientos incorrectos. En el caso de
los silogismos categóricos de forma típica se cometen falacias al
infringir cualquiera de las reglas del silogismo. Se conocen con los
nombres de falacia del menor ilícito, del medio ilícito, del mayor
ilícito y falacia de los cuatro términos.
Falacia del menor iltcito. Se incurre en la falacia del menor
ilícito cuando el término menor está distribuido en la conclusión,
pero no está distribuido en la premisa menor. Ejemplos:
157
Di6genes Rosales
(1) Todos los perros son mamíferos y todos los perros son
vertebrados, por lo tanto todos los vertebrados son mamí-
feros.
P a M
P a V
.. V a M
En la conclusión "vertebrados" es el término distribuido, pero
en la premisa menor no aparece en toda su extensión. Además, el
modo AAA no es válido en la tercera figura porque viola la regla
"iv".
(2) Todos los diplomáticos son corteses y algunos políticos son
diplomáticos, luego todos los políticos son corteses.
D a e
P i D
.. P a e
Igual que en el ejemplo anterior, el sujeto está distribuido en
la conclusión pero no en la premisa menor. También se puede ver
en la lista de los modos válidos que AlA no está incluido. En este
caso se violan las reglas "iv" y "vii".
oa C
C o M
.. M o O
En este caso el término medio "creyentes" no está distribuido.
159
DiógeneB Rosales
Ejercicio 8 • - - - - - - - - - - - - - - - - - - - - -
1. Clasifique cada una de las siguientes proposiciones categóricas
y a la vez diga cuáles son los términos distribuidos en cada
proposición.
1.1. Todos los poetas son bohemios.
1.2. Ningún científico es desordenado.
1.3. Algunos astronautas son norteamericanos.
1.4. Algunos deportistas no son campeones.
1.5. Ningún político religioso es idealista.
1.6. Algunos materialistas no son socialistas.
1. 7. Cualquier árbol es una planta.
1.8. No todos los románticos escriben poesías.
1.9. Es falso que ninguna máquina sea peligrosa.
1.10. No existen mujeres tímidas.
2. Obtenga el equivalente de cada una de las siguientes proposi-
ciones según el cuadro tradicional de la oposición.
2.1. Todos los musulmanes son mahometanos.
2.2. Ningún diplomático es descortés.
2.3. Algunos héroes son militares.
2.4. Algunos novelistas no son políticos.
2.5. Es falso que 'ningún religioso sea gobernante.
2.6. No es el caso que algunos planetas estén deshabita~os.
2.7. No todos los empresarios viven en las grandes ciucíades.
2.8. Es falso que algún dirigente obrero sea capitalista.
2.9. No existen personajes históricos que no sean inmortales.
2.10. Es imposible que no existan héroes después de una guerra.
160
Lógica TrodiciDrtol
161
DitJgenes Rosales
164
9. EL METODO DE LOS DIAGRAMAS DE VENN
9.1. Introducción
La idea básica de los diagramas se debe al matemático suizo
Leonhard Euler (1707-1783) quien representó gráficamente las re-
laciones entre las clases o conjuntos. Euler usó la relación de inclu-
sión para la universal afirmativa, la exclusión para la universal
negativa, y la intersección para ambas particulares. En base a estas
representaciones, el lógico inglés John Venn (1834-1923) propuso
representaciones gráficas de las proposiciones categóricas típicas A,
E, 1 y O, gráficos que van a interpretar las ecuaciones booleanas,
dado que Boole interpretó algebráicamente las proposiciones cate-
góricas de la lógica tradicional.
John Venn, en lo que él llama perspectiva "compartimental" o
"existencial", determina que uno o más componentes resultantes de
la combinación de las clases S y P y sus respectivas negaciones
pueden ser iguales al vacío. Este concepto generó el llamado proble-
ma de la "hipótesis existencial" de las proposiciones, porque según
la interpretación de Venn resulta más claro y comprensible que una
proposición universal niegue antes que afirme, de modo que "todo
S es P" debe interpretarse como "S P = el>" (c¡, = vacío) y "ningún S es
P" como "SP = c¡,".En cambio, las proposiciones particulares indican
la presencia de elementos en sus respectivas clases, en vista de que
contradicen a las proposiciones universales, por lo tanto deben
interpretarse como sigue: "Algún S es P" como "SP =I! <P" y "algún S
no es P" como "SP =I! c¡,".
Los cuatro compartimentos en la intersección de dos círculos,
parafraseando a Jevons, son: SP + S P + S P + SP = U. En la in-
tersección de tres círculos se obtendrán ocho combinaciones. El ob-
jetivo es determinar la sección o secciones vacías cuando se repre-
sente gráficamente un conjunto de premisas universales. En cambio,
la presencia de proposiciones particulares por sí sola expresa la
165
Diógenes Rosales
o s
Graficado así el conjunto S no nos proporciona información,
porque no nos muestra si S tiene elementos o carece de ellos.
Un conjunto S que no tiene elementos se va a representar
gráficamente sombreando o rayando la zona que pertenece a dicho
conjunto, como sigue:
formalmente
S=cp
166
El mitodo de /os diagro11l4B de Venn
o s
formalmente
S;t<\>
u
1
s p
168
El rrútodo de los diagrom48 de Venn
SP
SP= c¡,
s p
169
Diógenes Rosales
s p
Nótese en este caso que las "x" fluctuantes unidas por una línea
representan un solo elemento que está en las zonas 1, 2 y 3.
9.3.1. Representación de las proposiciones categóri-
cas en los diagramas de Venn
Las cuatro formas típicas A, E, 1, O de las proposiciones cate-
góricas de la lógica tradicional se pueden representar en los
diagramas de Venn como sigue:
A: Todos los S son P
u
formalmente
SP= el>
s p
170
El mitooo de los diagroma/l de Venn
u
formalmente
SP = 4>
s p
formalmente
SP * 4>
s p
171
Diógenes Rosales
DaA
Aplicando la fórmula booleana de A, S P = <1>, dado que se trata
de una proposición de tipo A, se tiene:
DA = <1> u
y por doble negación:
DA = <1>
luego, diagramando:
o A
172
El método de los diagramas de Venn
D e
(3) Algunos matemáticos no son desordenados.
MoO
MO~4>
MO ~ 4>
M o
1) - (M a C)
2) - (MC = C\»
3) MC *- C\> M e
que significa "no es el caso que todos los M sean C". Aplicándole la
fórmula de A, S P = C\>, se tiene: no es el caso que la intersección de
M por no C sea igual al vacío. Y si no es el caso que esta intersec-
ción sea igual al vacío, entonces se concluye que la intersección de
M por no C es diferente del vacío, demostración que no requiere
necesariamente saber la contradictoria.
(5) No es el caso que algunos físicos sean no-bohemios.
- (F i 13)
- (FB *- C\»
FB = C\>
F B
c. Cuando el cuantificador es universal y la negación afecta al
verbo copulativo, entonces la negación funciona como si negara
al cuantificador.
Ejemplos:
(6) Todos los peruanos no son limeños.
- (P aL)
- (PL = C\»
PL *- C\>
P L
(7) Ningún desafortunado no es idealista.
- (A e 1)
- (A [ = C\»
AI*-C\>
A
174
El mltooo de los diagruTTUlS de Venn
MaP
MP=eI>
M p
FeP
FP = el>
F p
Pa M
PM = el>
p M
(11) Muchos árboles frutales no son industrializados.
F o1
FI;é el>
175
Dwgenes Rosales
CiJ
CJ * 4>
e J
176
El lMtodo de 108 diagrolllQ8 de Venn
H a M / :. Me H
HM=$/MH=$
H M
D o e/:. CiD
De *
$ I CD $ *
DC *$
Inferencia válida o e
- (L a P) I :. E i P
- (L P = $) lE P *$
LP *$ L p
Inferencia inválida
u
- (C O F) / .. - (F O C)
- (CF *-~)/ - (FC *-~)
CF = ~ / Fe = <p
Inferencia válida
H a M / :. H i M
HM =$/HM*-<I>
H M
u
H a M / :. H i M
HM = <I>/HM*-<I>
H*-<I>
H M
179
Diógenes Rosales
R a e/:. Ro C U
D a P / :. - (p e n) U
D P = C\I / - (P 15 = C\I)
DP = C\I / PD:t:- C\I
D:t:-C\l;D:t:-C\I
D p
P:t:- C\I; P:t:-C\I
u
s
Aa V ~ AV = cp
P a A ~ PA = cp
A
P a V ~ PV = cp
181
Didgene. Rosales
V A
MeA ~ MA = el>
MiV ~ MV :¡t el>
.. VoA ~ VA:¡tel>
M
El silogismo es válido, porque V A :¡t el> se lee en el diagrama.
Vale aclarar que si una de las premisas del silogismo es una uni-
versal y la otra una particular, siempre se representa primero en
el gráfico la premisa universal.
(3) Ningún desafortunado es feliz, pero todos los religiosos
son afortunados, por lo tanto ningún infeliz es religioso.
A e F ~ AF = el> F R
R aA ~ RA = el>
.. F eR ~ FR = el>
A
Silogismo inválido, porque F R = el> no se lee en el diagrama;
vale decir que hay un sector de R que no es de F que no cumple con
ser vacío. Además, a diferencia de los silogismos hasta aquí estu-
diados, éste se caracteriza por tener cinco términos ("desafortuna-
dos", "feliz", "religiosos", "afortunados" e "infeliz") y cuya validez o
invalidez es fácil de probar por el método de los diagramas, como
queda demostrado.
182
El milodo de lo. diagramas de Venn
- (C a E) ~ CE:t el>
E a A ~ EA= el>
A i C ~ AC el>
c1:
La inferencia es válida.
Pa E ~ PE=eI>
Co P ~CP:tel>
E e
:. - (E e C) ~ EC :t el>
La inferencia no es
válida. p
183
Di6genea Rosales
ji e G -+ PG=~
- (P o G) -+ pe = ~ e G
.. - (e i G) -+ eG= ~
La inferencia es válida.
p
OeC -+ OC = ~
OaP -+ OP =~ P e
Prem. Exist. -+ o :¡t~
.. PoC -+ pe :¡t ~
o
184
El mitodo de loa dÜJgromtJB tk Venn
PaF -+ PF = el>
ReF -+ RF = el> p R
Prem. Exist. -+ F * el>
.. PiR -+ PR * el>
x
La inferencia es válida.
F
SeR -+ SR = el>
S F
RaF -+ RF = el>
Prem. Exist. -+ S * eI>. R * eI>.F * el>
:.- (S a F) -+ SF * el>
R
185
DiJJgene. RDsale.
JeS ~ JS = q,
SaV ~ SV = q,
J "1:- q,. S "1:- q,. V "1:- q,
Prem. Exist. ~ J"I:- «1>. S "1:- «1>. V "1:- «1>
.. - (Ve J) ~ VJ "1:- q,
U
X
V J
186
El rMtodo de lo. dUJg1'Om48 de Venn
Ejercicio 9 . - - - - - - - - - - - - - - - - - - - - -
1. Represente en los diagramas de Venn, intersección de S y P,
cada una de las siguientes fórmulas booleanas.
1.1. P = 4> 1.6. SP = 4> 1.11. SP = 4>
1.2. S = 4> 1.7. SP = 4> 1.12. S P* 4>
1.3. P * 4> 1.8. SP * 4> 1.13. SP * 4>
1.4. S * 4> 1.9. SP * cp 1.14. SP = 4>
1.5. P = 4> 1.10. SP = cp 1.15. SP * cp
2. Represente en los diagramas de Venn cada una de las siguien-
tes proposiciones._
2.1. Todos los economistas son técnicos profesionales.
2.2. Ningún consejero político es un hábil estratega militar.
2.3. Algunas niñas son gitanas de la villa.
2.4. Algunos ejércitos no son invencibles.
2.5. Algunos jueces no son deshonestos.
2.6. Algunos días no-laborables son días festivos.
2.7. Algunos infieles son atrevidos.
2.8. Todos los no-uniformados son no-entrenados.
2.9. Es falso que todos los testimonios sean auténticos.
2.10. Ningún candidato es no-apto para las elecciones.
2.11. No es cierto que algunos no-músicos sean no-directores
de orquestas.
2.12. No todos los que más pieguntan son los que más saben.
2.13. Ningún mercenario no es aventurero.
2.14. Es falso que todos los no-enemigos no sean no-temibles.
2.15. Es falso que ningún fracaso sea una desgracia que la-
mentar.
3. Por el método de los diagramas de Venn determine la validez
o invalidez de cada una de las siguientes inferencias.
3.1. Todos los creyentes son religiosos, luego todos los
irreligiosos son no-creyentes.
3.2. Ningún diplomático es descortés, por lo tanto toda per-
sona cortés es diplomático.
187
Didllene, Rosales
188
El rnttodo de los diagramaJI de Venn
190
10. CUANTIFICACION
10.1. Introducción
El método de los diagramas de Venn visto en el capítulo an-
terior, ha permitido de forma más simple y sistemática el análisis
de validez de las inferencias de la lógica tradicional. Este método,
sin embargo, presenta serias limitaciones, por cuanto sólo puede
analizar inferencias que tienen como máximo cuatro términos
predicativos o cuatro clases o conjuntos. Por ejemplo, el silogismo,
la inferencia más importante de la lógica tradicional, tiene sola-
mente tres términos que expresan clases o conjuntos. La intersección
de tres clases puede representarse mediante círculos, pero la inter-
sección de cuatro clases tiene que graficarse por medio de rectán-
gulos o cuadrados, dado que es inmanejable mediante círculos. En
este sentido, la lógica cuantificacional (LC) puede interpretar for-
malmente proposiciones categóricas con "n" cantidad de términos
predicativos, y a la vez analizar la validez de inferencias, porque en
LC hay muchos métodos decisorios (como el método FH que expon-
dremos en el presente capítulo) que deciden la validez o invalidez
de fórmulas cuantificacionales de primer grado.
191
Didgent. Rosales
192
CuantlflCiJCión
I 11 111 IV
(1) Fx (1) Fxy (1) Fxyz (1) Fxyab
(2) Fy (2) Fab (2) Fabc (2) Fxyzabc
(3) Fz (3) Fya (3) Fxay (3) Fxacyzbx
(4) Fa (4) Fxx (4) Faxb (4) Faabxxyzz
(5) Fb (5) Faa (5) Fabz (5) Fxazbbyyax
(n) (n) (n) (n) (1)
(1) Cuando un símbolo predicativo está seguido sólo por un elemento de "a", la fór-
mula cuantilicacional se llama MONÁDlcA (columna n, cuando está seguido de dos
elementos de "a" se llama DIÁDICA (columna 11), TRIÁOICA cuando está seguido de
tres elementos de "a" (columna 111), y así podemos hablar de fórmulas
cuantilicacionales "n·ádicas" (columna IV). En general, cuando un símbolo
predicativo está seguido por más de un elemento de "a", recibe el nombre de
fórmula POUÁDICA. En el presente texto trabajaremos básicamente con FORMUlAS
MONÁDICAS de primer grado.
(2) Una fórmula, en LP o LC, puede tener uno o más esquemas de fórmulas, uno de
ellos el más genérico y otro que puede ser el más específico.
193
Di6genes Rosales
195
Diógene. Rosales
196
Cuanli{icaci6n
198
Cuanti/ictJci6n
200
CuantifICaCión
(3)
Este método aparece expuesto por Juan B. Ferro en Procedimientos decisorios para
fórmulas monádicas de primer grado. Cap. VIII, tesis, Lima, UNMSM, 1966.
202
Cuanti(ICQCMn
204
Cua"ti/kocj6"
205
Didgenes Rosales
Imp.
3) (3x) (p -Fx) v ('Ix) Fx v -p v ('Ix) Hx
1\
206
Cuanli{lClJCi6n
208
CuanJi{iooci6n
(3) 1) ('v'x) (3y) (3z) (Fx 1\ p.---+-. Fy 1\ -Fz) .---+-. p ---+- -('v'x) Fx
2) - ('v'x) (3y) (3z) [-(Fx 1\ p) .v. Fy 1\ -Fz]} .v. -p v
- ('v'x) Fx Imp.
3) (3x) ('v'y) ('v'z) (Fx 1\ p .1\. -Fy v Fz) v -p v (3x) -Fx
RIC 2, RIC •• DM. y DN.
4) (3x) ('v'y) [Fx 1\ p .1\. -Fy v ('v'z) Fz] v -p v (3x) -Fx
RC 3
5) (3x) [Fx 1\ p .1\. ('v'y) -Fy v ('v'z) Fz] v -p v (3x) -Fx
RC 2
6) [(3x) Fx 1\ p .1\. ('v'y) -Fy v ('v'z) Fz] .v. -p v (3x) -Fx
RC2
7) (Fa v Fb) 1\ p 1\ (-Fa v Fb) .v. -p v -Fa v -Fb
Rii
209
DWl/eMS Rosales
210
Cuantif/.C4Cron
211
Diógenes Rosales
Ejercicio 10 • - - - - - - - - - - - - - - - - - - -
212
Cuantificación
213
Dwgenes Rosales
10.3. ('v'x) (Fx 1\Gx .--+. Hx) 1\ -(3x) -Hx .--+. (3x) -Fx
10.4. ('v'x) (Fx --+ Hx) 1\ (3x) (Gx 1\ -fu) .--+. (3x) (Gx 1\ -Fx)
10.5. -('v'x) (Mx --+ ex) +-+ (3x) (-Gx 1\ Mx)
10.6. -('v'x) (Fx +-+ Gx) .--+. ('v'x) Hx v (3x) (-Fx v -Gx)
10.7. (3x) (Fx +-+ Hx) .v. ('v'x) (Hx .--+. Gx 1\ -Fx)
10.8. (3x) (Fx 1\ -Gx) --+ -p .--+. P --+ ('v'x) (-Gx --+ -Fx)
10.9. (p --+ -('v'x) Fx .1\. (3y) -Fy --+ q) .--+. -q --+ (3y) (Hy v -p)
10.10. ('v'x) (p --+ Fx) 1\ ('v'y) (Ha +-+ Fy) .--+. P v Ha
10.11. ('v'x) ('v'y) ('v'z) (Fy 1\ -Fx .--+. Fx --+ Fz)
10.12. ('v'y) -('v'z) [Fy --+ ('v'x) (Ha --+ Gx) .v. Fz) --+ Ha
10.13. ('v'z) [('v'y) (Fy v Gz) .--+. Fa v Gz]
10.14. -('v'y) [p v (3x) (Fx 1\ Gy) . --+. Ga] v -('v'z) (p --+ Fz)
10.15. ('v'x) (Fy +-+ Gx) 1\ (3z) (Ha v Fz .--+. Gy) .--+. (3z) Gz v Hy
214
11. SIMBOLIZACION DE PROPOSICIONES
CATEGORICAS E INFERENCIAS TRADICIONALES
11.1. Introducción
El objetivo del presente capítulo es la simbolización de las
inferencias de la lógica tradicional en la lógica cuantificacional.
Para el efecto partiremos de las estructuras formales de las propo-
siciones categóricas, dado que la lógica tradicional aristotélica está
construida sobre la base de ellas. El análisis de validez inferencial
estará sometido al método decisorio FH. Además, el poder de la
lógica cuantificacional se mostrará claramente al sustituir las re-
glas intuitivas tradicionales por reglas de la lógica moderna, cuyos
alcances operativos son impresionantes en las demostraciones de la
lógica y la matemática.
215
Di6gene. Rosale.
216
Simbolización de propOllicioTU!S categóricas e in{erencÜJ8 trodicionoka
217
Di6¡¡entl. RoIale.
218
Simbolización de proposicioMS categ6ricas e inferencias trodicionale.
(4) En este caso, "Mx =x es mortal". En lo sucesivo, por razones prácticas, cada término
predicativo se representará simbólicamente por su respectiva letra inicial ma-
yúscula.
219
Di6geneB Rosales
220
Simbolización ,de proposiciones categóricas e inferencio.s tradicionales
222
Simboliz<Jci6n de proposiciones caug6riaJs e inferencÜJs trodiciollille.
223
Diól/eneB Rosales
224
Simbolización de proposiciones categóricas e in{er'f!ncias tradicionales
225
Diógene. Rosale.
11.6. El silogismo(7)
Las características del silogismo tradicional poco importan en
el análisis de su validez o invalidez dentro de la lógica cuantifica-
cional. En la simbolización será suficiente distinguir la conclusión
de el conjunto de premisas; mientras que en el análisis bastará
someter el silogismo a un método decisorio. A continuación algunos
ejemplos:
(1) Todos los árboles son verdes. Todos los pinos son árbo-
les. Luego, todos los pinos son verdes.
Simbolizando y aplicando el método FH se tiene:
1) (V'x) (Ax --+ Vx) 1\ (V'x) (Px --+ Ax) .--+. (V'x) (Px --+ Vx)
2) -(V'x) (Ax --+ Vx) v -(V'x) (Px --+ Ax) v (V'x) (Px --+ Vx)
Imp., DM.
3) (3x) (Ax 1\ -Vx) v (3x) (Px 1\ -Ax) v (V'x) (-Px v Vx)
RIC 2 , Imp.
4) (Aa 1\ -Va) v (Pa 1\ -Aa) v (-Pa v Va) Rii.
5) Aa v -Aa v -Pa v Va Abs.
(7)
Este tema ha sido tratado en el capitulo de la lógica tradicional. Supra, véase p.
151 Y siguientes.
228
Simbolización de proposiciones categ6ricas e inferencias tradiciono.ks
229
Di.6gtr&l!' Ro.ales
Imp., DM.
3) (3x) (Sx v Dx .1\. -Px) v (Pa 1\ -Fb) v (3x) (-Sx v Fx)
RIC 2 , Imp.
4) (Sa v Da .1\. -Pa) v (Sb v Db .1\. -Pb) v (Pa 1\ -Fb) v
(-Sa v Fa) v (-Sb v Fb) Rii.
5) Sa v Da v (Sb v Db .1\. -Pb) v Pa v -Sa v Fa v -Sb v
Fb Aba.
6) Sa v Da v Pa v -Sa v Fa v -Sb v Fb por (A v T .+-+-. T)
La fórmula 6 es una FNC tautológica; luego, la inferencia es
válida.
(2) Si todos son religiosos entonces algunos cristianos son
católicos. Aristóteles no fue cristiano. Por lo tanto, algu-
nos no eran religiosos.
230
Simbolización de proposiciones ooug6ric4s e inferenciIJs tradicionales
Ejercicio 11 • - - - - - - - - - - - - - - - - - - -
1. Simbolice cada una de las siguientes proposiciones con una
fórmula euantificacional.
1.1. Todo es materia.
1.2. Nadie es de Plutón.
1.3. Algunos son materialistas.
1.4. Algunos no son ajedrecistas.
1.5. No todos son profesionales.
1.6. No es el caso que nadie sea sabio.
1. 7. No existen apolíticos.
1.8. No es el caso que algunos no sean mortales.
1.9. Todos son políticos y religiosos.
1.10. Algunos no son o poetas o novelistas o pintores.
1.11. Nadie es capitalista y socialista.
1.12. No es el caso que algunos sean demócratas, republicanos
y socialistas.
1.13. No existen unicornios, dinosaurios y sirenas.
1.14. Si no existen socialistas, entonces todos son o demócra-
tas o republicanos o laboristas.
1.15. Si todos son políticos y religiosos, entonces no es el caso
que no existan católicos, demócratas o mahometanos.
231
Diógenes &sales
232
Simbolizaci6n tU proposiciortl!s categóricas e inferencias tradicionaU!s
233
Diógenes Rosales
234
12. EL METODO DE LA DERIVACION EN LA
LOGICA CUANTIFICACIONAL MONADICA
DE PRIMER GRADO
12.1. Introducción
Como ya hemos visto en LP(1), el método de la derivación es
una prueba formal para demostrar fórmulas o inferencias válidas.
El proceso de la demostración en LC, además de las reglas introdu-
cidas en este sistema, usa las mismas reglas de LP. El único pro-
blema se presenta cuando se tienen que aplicar las reglas de elimi-
nación e introducción de cuantificadores. Para salvar esta dificul-
tad se introduce un conjunto de restricciones con respecto a las
operaciones con los cuantificadores; sin embargo, las restricciones
se usan sólo en casos necesarios, porque muchas inferencias válidas
pueden ser demostradas independientemente de las restricciones.
.. $a
235
DiógeneB Rosales
(2)
El universo que contiene el número exacto de constantes individuales se cuenta
tanto en el conjunto de premisas como en la conclusión de la inferencia, y sólo
después de aplicarse la restricción "¡¡".
(3)
Supra, véase p. 197.
(4)
De "<l>a" también es lícito deducir "(3x) <l>x", porque na" es el conjunto de variables
indefinidas y constantes individuales.
(5)
Supra, véase p. 107 Y siguientes.
237
DilJgenes Rosales
241
Didgenea Rosales
242
El lMtodo de la deriuaci6n en la 16l1itn cuanti(lC4Cional
~
Prem. Ad.
(justificación)
l). A ---+ C (j-k) PC.
243
Didgene. Rosales
244
El mltodo de la derivación en la lógica cU4nti{lCtJCionol
Ir:¡ Hb
(\Ix) (-Fx v -Ga)
Prem. Ad.
(1) Imp.
245
Di6gene. Roaak.
246
El mltodo de la deriuación en la /tjllica cuanti{w:acioruJl
~--c l)
(justificación)
U-k) RA.
ll) e m DN.
Así como en PC, la barra de Anderson-Johnstone indica la
subprueba dentro de la derivación principal. A continuación algu-
nos ejemplos ilustrativos.
(1) p.) (\Ix) (Mx ~ -Px)
P 2) (3x) (Sx 1\ Mx) #' " (3x) (Sx 1\ -Px)
3) -(3x) (Sx 1\ -Px) Prem. Ad.
4) (\Ix) -(Sx 1\ -Px) (3) RIC 4
5) Sa 1\ Ma (2) ECE.
6) Ma -+ -Pa (1) RICI.
7) -(Sa 1\ -Pa) (4) RICI.
8) Sa ~ Pa (7) Imp.
9) Ma (5) Simp.
10) -Pa (6,9) MPP.
11) -Sa (8,10) MIT.
12) Sa (5) Simp.
13) Sa 1\ -:-Sa (11,12) Conj.
14) ---(3x) (Sx 1\ -Px) (9-13) RA.
15) (3x) (Sx 1\ -Px) (14) DN.
247
DiógeMB Ro.ale.
Ejercicio 12 • - - - - - - - - - - - - - - - - - - -
1. Use la prueba directa y demuestre la validez de cada una de
las siguientes inferencias. Simbolice las inferencias que están
en lenguaje ordinario distinguiendo en primer lugar las pre-
misas y la conclusión. Al demostrar, justifique cada paso me-
diante la abreviatura de la regla de inferencia aplicada e in-
dique los números de las líneas de las que ha sido derivado.
1.1. PI) (VX) Fx ~ (3x) -Gx
P 2) (VX) (Gx 1\ Hx) ~:. (3x) -Fx
1.2. PI) (3x) (Fx v Gx)
P 2) (Vx) (-p 1\ -Fx) ~ :. (3x) (-p 1\ Gx)
1.3. PI) -(3x) Fx H Ha
P 2) (Vx) Gx ~ Ha
Pa) (Vx) (q 1\ Gx) ~:. - (3x) (q ~ Fx)
1.4. PI) -(3x) (Fx ~ Gx)
P2) (3x) (Hx v -Gx .~. Mx)
P3 ) (Vx) (Fx v Sx .~. Rx) ~ :. (3x) (Mx 1\ Rx)
1.5. PI) -(3x) (-Fx 1\ -Gx)
P 2) (Vx) (Hx ~ Mx)
Pa) -(3x) (Fx 1\ -Hx) ~ :. -Ga ~ Ma
1.6. PI) Fa ~ (3x) Gx
P 2) (Vx) (3y) (Hy ~ Mx)
P 3 ) -(V x) -Gx ~ (3x) -Mx
P 4) (Vy) (Sy ~ Hy) ~ ... Fa ~ - (Vx) Sy
251
Diógene8 Rosales
252
Apéndice I
NOCIONES SOBRE PREDICADOS POLIADICOS
1. NOMBRES Y PREDICADOS
La lógica de predicados monádicos(l) trata acerca de los térmi-
nos que indican propiedades con respecto a individuos. Por ejemplo,
el término "mortales", tomado como una propiedad que le concierne
a "Sócrates", puede ser expresado en la proposición singular "Sócrates
es mortal". Pero, si "mortales" es también una propiedad de
"hombres", entonces se puede decir "los hombres son mortales", o
también afirmar "Sócrates y Platón son mortales", y así sucesiva-
mente. La última proposición resume el contenido de las proposi-
ciones "Sócrates es mortal" y "Platón es mortal", donde la propiedad
ser "mortal" se refiere a un individuo independientemente del otro.
En este sentido, la lógica tradicional es una lógica de predicados
monádicos. Pero, cuando las propiedades designan relaciones entre
individuos, entonces dicha propiedad puede ser un predicado diádico,
triádico, tetrádico o n-ádico. A esta clase de predicados los deno-
minaremos predicados poliádicos. Por ejemplo:
(1) Sócrates fue amigo de Platón.
En este caso la propiedad "ser amigo de" está relacionando a
"Sócrates" y "Platón", porque, según la proposición, el "ser amigo
de" no es un atributo independiente de "Sócrates" ni de "Platón".
Simbólicamente esta expresión se puede representar por la siguiente
fórmula diádica:
Aab
si "ser amigo de = A", "Sócrates = a" y "Platón = b". El mismo caso
se presenta en la proposición siguiente:
253
Diógene. RoIUJk.
255
Diógenes Rosales
4. IDENTIDAD
El concepto de identidad en sentido lógico se refiere, especial-
mente en este acápite, a la relación de igualdad entre individuos.
Ejemplos:
(1) El Huascarán es el nevado más alto del Perú.
(2) 2 + 3 es igual a 5.
(3) Ciro Alegría fue el autor de El mundo es ancho y ajeno.
En estas proposiciones el verbo "ser" en SUB distintas formas
determina la identidad entre el sujeto y el predicado de la oración.
Si UBamos el signo "=" como representación de la identidad, nues-
tros ejemplos pueden expresarse de la siguiente manera:
(1) El Huascarán = el nevado más alto del Perú.
(2) 2 + 3 = 5
(3) Ciro Alegría = el autor de El mundo es ancho y ajeno.
257
Di6genes Rosak.
5. CUANTIFICADORES NUMERICOS
Un cuantificador numérico es la cuantificación, universal o
existencial, de un conjunto de individuos en un universo determi-
nado donde los cuantificadores nos permiten afirmar que dichos
individuos poseen una determinada propiedad o están en tal rela-
ción. Con ayuda del concepto de identidad, a continuación vamos
a formular lógicamente expresiones sobre cuantificadores numéri-
cos.
1. Hayal menos n individuos tales que P.
Esto significa que hay por lo menos "n" individuos tales que
tienen la propiedad "P", donde "n" puede ser 1, 2, 3, n individuos.
Ejemplos:
(1) Hay por lo menos un individuo que tiene la propiedad P.
258
Nociones sobre Predicoáos Polid.dicol
Simbólicamente se expresa:
(3x) Px
(2) Hay por lo menos dos individuos que tienen la propiedad P.
Simbólicamente se tiene:
(3x) (3y) (Px 1\ Py .1\. X *" y)
Esto significa que "existe por lo menos un 'x' y existe por lo
menos un 'y' tales que 'x' tiene la propiedad 'P' e 'y' tiene la propie-
dad 'P', y a la vez 'x' es diferente de 'y' ".
(3) Al menos tres individuos asaltaron a Felipe.
(3x) Gy) (3z) [Axa 1\ Aya 1\ A:oi .A. (x *" y) 1\ (x *" z) 1\ (y *" z)]
si "Felipe = a", "Axa = x asaltó a a", "Aya = y asaltó a a", "Aza =
z asaltó a a". De igual modo podemos construir fórmulas con más
individuos.
6. DESCRIPCIONES
Una descripci6n se refiere a. un rasgo característico que iden-
tifica a un individuo, rasgo que s610 le concierne a dicho individuo.
En este caso la descripción es definida. Por ejemplo:
(1) La capital del Perú.
(2) El autor de El mundo es ancho y ajeno.
(3) El satélite de la Tierra.
En estos ejemplos (1) denota la ciudad de Lima, porque "la
capital del Perú" le concierne únicamente a la ciudad de Lima, (2)
se refiere a Ciro Alegría porque s610 a él le concierne el ser autor
de El mundo es ancho y ajeno; de igual modo, "el satélite de la Tierra"
se refiere a la Luna.
Para representar la descripción se usa la letra griega "t" (iota)
seguida de "x", como sigue:
tx
y se lee "el x tal que".
Si "Cx =x es la capital", ''Perú = a", "Ax =x es autor", "El mundo
es ancho y ajeno = b", "Sx = x es satélite" y "Tierra = c", entonces
cada uno de los ejemplos citados puede ser simbolizado respectiva-
mente como sigue:
260
Nociones sobl"/1 Pl"/1dicad08 PoÜ<úÜc08
t X (Cxa)
Esta f6rmula se lee "el 'x' tal que 'x' es la capital de 'a"'. N6tese
que el símbolo "t x" cierra la f6rmula y hace que sea verdadera. Lo
mismo ocurre en las siguientes fórmulas:
t x (Axb)
t x (Sxc)
A continuaci6n más ejemplos:
(4) El autor de El mundo es ancho y ajeno fue amigo de J. M.
Arguedas.
G [t x (Axa) b]
En este caso la fórmula se lee "el 'x' tal que 'x' es autor de 'a'
fue amigo 'G' de 'b''', puesto que "Ax = x es autor", "El mundo es
ancho y ajeno = a", "fue amigo = G" y "J. M. Arguedas = b".
(5) El autor de El mundo es ancho y ajeno fue amigo del autor
de Diamantes y Pedernales.
G [t x (Axa) t x (Axb)]
En esta f6rmula, a diferencia de (4), tIbIO simboliza a "Diamantes
y Pedernales".
(6). El autor de El mundo es ancho y ajeno y el autor de
Diamantes y Pedernales vivieron sus últimos días en la
capital del Perú.
V {[t x (Axa) 1\ t x (Axb)] t x (Cxc)}
En esta fórmula, con respecto a (4) y (5), "Cx = x es capital",
'Vivieron sus últimos días = V" y "Perú = e". Como se puede ver,
podemos ir combinando más expresiones y obtener fórmulas cada
vez más complejas.
261
Apéndice 11
CmCUITOS LOGICOS
1. CmCUITOS ELECTRICOS
Entre SUB múltiples aplicaciones, la lógica se aplica a la cons-
trucción de circuitos lógicos y, entre ellos, los circuitos eléctricos(1).
Para cualquier fórmula proposicional podemos construir un circuito
eléctrico, que resultará más fácil en tanto la fórmula tenga s610
operadores "1\", "v" y/o "-".
Los circuitos eléctricos están formados por conmutadores o
interruptores que son los órganos lógicos que dejan pasar o no dejan
pasar la corriente eléctrica.
Un interruptor o conmutador será representado por
--6 o - - . Cuando el interruptor está cerrado pasa la corriente
eléctrica, que equivale a un dato verdadero (V), pero cuando el
interruptor está abierto no pasa la corriente eléctrica, lo que equi-
vale a un dato falso (F).
'V" y "F" son los estados lógicos de un circuito. Si un circuito
está cerrado, la corriente pasa y la lámpara se enciende, pero si un
circuito eléctrico está abierto, la corriente no pasa y la lámpara no
se enciende. En el siguiente cuadro podemos apreciar los estados
del interruptor y de la lámpara.
V Cerrado Encendida
F Abierto Apagada
263
Drogenes Rosales
~~l-
Y'hl- ~ámpara
bateria
Para que este circuito quede cerrado y la lámpara se encienda,
"p" y "q" deben estar cerrados, esto es, "p" y "q" deben ser ver-
daderos a la vez. En otros términos, es la aplicación de la tabla de
verdad de la fórmula "p 1\ q".
Circuitos en paralelo. Los circuitos en paralelo constan de dos
o más interruptores, donde un interruptor está en la otra línea y
así sucesivamente. El gráfico de un circuito en paralelo es la repre-
sentación de una fórmula proposicional disyuntiva, cuya expresión
más simple es "p v q", y que se representa así:
-C,y
Si añadimos a este circuito la batería y la lámpara, entonces
bateria
264-
Circuitos 16gicos
266
Circuitos 16gicoa
I p o--I..q 0------,
I p ~----,
¡q n-------l
¡"Po-------l
Ir 0-------1
2. COMPUERTAS LOGICAS(S)
Las compuertas lógicas son bloques de circuitos que producen
señales de salida de "lógica 1" o "lógica O" si se satisfacen las con-
diciones de las entradas lógicas. "1" y "O" son las señales binarias
268
Circuitos 16gicos
O 1
El circuito completo se representará gráficamente como sigue:
p ---[>--- -p
269
Di6genes Rosales
~==D-- P/\q
La compuerta ANO, en este caso, tiene dos entradas, "p" y "q",
pero puede tener más de dos entradas. En el gráfico la única salida
es "p A q" Y representa a la lámpara en el diseño de un circuito
eléctrico.
Compuerta ORo La funci6n binaria de la compuerta OR corres-
ponde a la f6rmula "p v q" como sigue:
: = = t > - p vq
~r==· ~
~
-- (p/\q)vr
270
Circuitos ldgicos
q
A
r _ _ _ _ _ _ _....J
q --+---l
r -.-t-i
A
8 _ _ _ _ _ _--'
p-----,
q -----1 A
r-~
271
Apéndice 111
SOLUCION DE ALGUNOS EJERCICIOS
Ejerc'.cio 1
1.2. Si, es una inferencia. Conjunto de premisas: "Si se produjeron cambios sociales en Rusia
entonces Rusia tiende al capitalismo" y "Se produjeron cambios sociales en Rusia". Conclu-
sión: "Rusia tiende al capitalismo".
1.3. No ea una inferencia.
2.3. No. 2.6. No. 2.9. Si. 2.10. Si. 2.11. No.
2.13. No. 2.16. Sí. 2.18. Sí. 2.19. No. 2.20. Sí.
4.3. liCuando Luiy gritó '~. al ver el precipicio era ya demoBiado tarde" contó Carl06 cuando
L. L, L.
regresaron de UDa excursión
4.4. "Aristóteles djjo 'las ciencias tienen rafees muy amargas pero los frutos son muy dulces''',
~ ~
escribió Kan l
L.
Ejercicio 2
273
DiógeneB Rosales
Ejercicio 3
Ejercicio 4
0 V F V F V VF F F v@ F F
La conjunción de B y C implica a E.
e) p .... - (- q
" - r ) ...... ( r .... p) .
" (p v - q)
F V V FV F FV F V F F F F F F V
La diayunción de B y C no est.t implicada por D.
274
Soluci6n de algunos ejercicios
c) - (p " - q)
" -r ...... - p " -r
V V F F V V V F F FV F VF
F ~ V VF F V F F V® V VF
C y D no Bon equivalentes.
4. 1. A Y E son equivalentes.
2. B Y F son equivalentes.
3. C y D son equivalentes.
5.1. VAlida 5.2. Inválida 5.3. Válida 5.4. InvAlida 5.5. VAlida
5.6. VAlida 5.7. Válida 5.8. Válida 5.9. Válida 5.10. Válida
6.11. Inválida 5.12. Inválida 6.13. Inválida 5.14. InvAlida 5.15. Válida
Ejercicio 5
1.2. FNC: p v -q v -r v r
1.5. FNC: (p v -q v r v 8) " (p v -q v rN -t)
1.6. FND: q " -p " r " 8
1.9. FND: (q " -t " -p " r) v (q " -t " -p " -8)
1.10) FNC: -p v q v k v r v .) " (-p v q v k v r v t)
4.2. La economía peruana está en crisis = p, Loa capitalistas extranjel'Oll invertirán en el PerÓ
= q, Existe un ajuste estructural en la administración = r.
1. (p .... -q) " (-r -+ p) .-+. r -+ q
2. -(p .... -q) v -(-r .... p) v -r v q Imp., DM.
3. (p" q) v ( -r " -p) v -r v q Imp., DN.
4. -r v q Aba.
Inferencia inválida.
275
Dwgenes Rosales
4.4. =
La exploración de Marte es importante p, Laa áreaa OIICuras de Marte 800 desconocidas
= q, =
Se obtienen minerales raros r, Hay solamente gases tóxiOOll = ",
Le. ÍDYestigaóón
científica explicará el origen del universo = t.
1. [(q v r) -+ p 1\ (s -+ -p) 1\ -(-r v -a) .-+. q -+ t
2. -[(q v r) -+ p] v -(s -+ -p) v (-r v -a) v -q v t Imp., OM., ON.
3. [(q v r) 1\ -p] V (s 1\ p) v (-r v -a) v -q v t Imp., ON.
4. q v r v p v -r v -a v - q v t Aba.
Inferencia válida.
Ejercicio 6
276
Solucwn de algunos ejercicios
Ejercicio 7
1.5. {l, 3, 4, 5, 6, 7] 1.8. (2, 4,6) 1.9. {l,7]
Ejercicio 8
1.3. Particular afirmativa. No hay términOll distribuidos.
1.6. Particular negativa. Término distribuido: socialistas.
1.10. Particular afirmativa negada. No hay términos distribuidos.
2.2. Ea falso que algunos diplométiCOll sean descorteses.
2.5. Algunos religi0808 aon gobernantes.
2.8. Ningún dirigente obrero 88 capitaliata.
3.1. - Es falso que ningún planeta gire alrededor del Sol.
- Algunos planetas giran alrededor del Sol.
- Es Calso que algunos planetas no giren alrededor del Sol.
277
DiógeMs RolDhs
i;jercicio 9
se.
1.14. U ,...-----------, 1.16. U ,...----------,
.m.
278
Solución de algunos ejerciciM
2.8. u IiF
I
fIJ.
F .... donde L = día laborable
F = día festivo
2.11. U
-(Mi ñl
-<M D ...l
MD=.
2.14. U r-----------,
--(E a 'ñ
El' "'.
E
3.6. -(FaLl/:.FoL U
,(]~)
-(F I .. +l I F I ...
FI ... /FI ...
Inferencia válida
4.4. D e J ..... DJ =.
N o D ..... Nñ ...
.. N o J ..... NJ ...
Inferencia inválida D
279
DiA5genes Rosales
4.8.
..
C a I
C P
-(P e L)
Inferencia inválida
~
~
CL =,
CP ...
PL .. ,
PC@' donde
L - calificado
P - capaz de ac.eptar
sus derTOlIII
4.14. -(P i
-(P o A)
V)
Prem. Exist.
-+
-+
-+
PV. ,
PA=+
P .. ,
ACj)Y
:. -(A a V) -+ AV .. ,
Ejercicio 10
280
Solución de algunos ejercicios
Ejercicio 11
11.3. 1. (3x) (Px 1\ Rx) 1\ ("Vx) (Cx -+ Rx) .-+. (311) (Px 1\ Cx)
2. -(3x) (Px 1\ Rx) v -(Vx) (Cx -+ Rx) v (311) (Px 1\ Cx) Imp.,OM.
3. ("Vx) (-Px v -Rx) v (311) (Cx 1\ -Rx) v (3x) (Px 1\ Cx) RIC., RIC Imp., OM.
4. (-Pa v -Ra) v ( Ca 1\ -Ra) v (Pa 1\ Ca) Rii "
5. -Pa v Ca v -Ra v (Ca 1\ -Ra) Abe.
6. -Pa v Ca v -Ra Abe.
Inferencia inválida.
5.8. 1. ("Vx) (Ox -+ Px) ;.. ("Vx) (011 -+ EII) .-+. (Pa 1\ Da .-+. Ea)
2. (3x) (011 1\ -Px) v (3x) (011 1\ -Ex) v -Pa v -Da v Ea Imp., DM, RIC,
3. (Da 1\ -Pa) v (Da 1\ -Ea) v -Pa v -Da v Ea Rii
4. -Ea v -Da v -Pa v Ea Abe.
Inferencia válida.
11.9. 1. ("Vx) (F~ Mil .-+. Tx) 1\ (Ma 1\ Fa) 1\ ("Vx) (Cx .-+. Tx -+ FIl) .-+. (Fa 1\ Ca .-+. Ta)
2. (3x) (Fx v Mx .1\. -Tx) v -Ma v -Fa v (3x) (ex 1\ Tx 1\ -Fx) v -Fa v -Ca v Ta
Imp., OM, RIC,
3. (Fa v Ma .1\. -Ta) v -Ma v -Fa v (Ca 1\ Ta 1\ -Fa) v -Fa v -Ca v Ta Rii
4. Fa v Ma v Ta v -Ma v -Fa v -Fa v -Ca Abe.
5. Fa v Ma v Ta v -Ma v -Fa v -Ca Idem.
Inferencia válida.
281
Di6gertl!S Ro,ok.
282
Soluci6ra de alguno. ejer'CiciM
(1) 16) ('Vil) -Gx (7) Simp. (1,2,3) 17) La (15,16) MPP.
U) 17) -Ga I\-Gb (16) RlCl, U,2,3} 18) (3x) Lx (17) ICE
U) 18) -Gb (17) Simp. U,2,3} 19) -('9'x) -Lx (18) RlC,
(1,2} 19) -Hb 1\ -Gb (15,18) Coqj.
U,2} 20) (Hb 1\ Gh) v (-Hb 1\ -Gb)(19) Ad. 2.5. PI) Fa v p .-+. ('Vx) Gx
(1,2} 21) Hb ++ Gh (20) Eq. PO> (3y) My v Hb .-+. ('Vx) SX
U,2) 22) (3y) (Hy ++ Gy) (21) ICE PO> (3y) My -+ (3x) (Sx -+ -Gil)
(l,2) 23) -('9'y) -(Hy ++ Gy) (22) RlC, 11:. Hb .-+. Fa -+ ('Vy) -My
U,2} 24) -('9'y) (Hy ++ -Gy) (23) NEq. 4) Hb Prem. Ad.
U,2,3} 25) -q (3,24) MTT. 5) Fa Prem. Ad.
(1) 26) -(3x) Gx (18) RlC, 6) Fa v p (ó) Ad.
U,4} 27) -p (4,26) MTT. 7) ('Vx) Gx (1,8) MPP.
U,2,3,4}28) -p 1\ -q (25,27) Coqj. 8) (3y) My v Hb (4) Ad.
U,2,3,4}29) (p 1\ q) v (-p 1\ -q) (28) Ad. 9) ('Vx) Sx (2,8) MPP.
U,2,3,4)30) p++q (29) Eq. 10) ('VII) Sx 1\ ('Vx) Gx (7,9) Coqj.
11) ('VII) (Sx 1\ Ox) (10) ROe,
1.13. PI) (3x) Sx -+ la 12) -(3x) -(Sx 1\ Gx) (11) RIC,
PO> (3x) (Gx 1\ PxJ 13) -(3x) (Sx -+ -Gx) (12) Imp.
PO> la -+ ('9'x) (Ox -+ -PxJ 1/:. ('9'x) -Sx 14) -(3y) My (3,13) MTT.
(2} 4) -('9'x) -(Gx 1\ PxJ (2) RlC, 1ó) ('Vy) -M (14) RlC,
(2) 6) -('9'x) (Ox -+ -Px) (4) Imp. 16) Fa -+ ('Vy) -My (5-15) PC.
(2,3) 8) -la (3,6) MTT. 17) Hb .-+. Fa -+ ('Vy) -My (4·16) PC.
(1,2,3} 7) -(3x) Sx (1,8) MTT.
U,2,3} 8) ('Vil) -Sx (7) RIC, 2.9. PI) ('Vy) Fy 1\ Oa .-+. ('Vx) (Gh 1\ Hx)
PO> -p v (3x) Mx .-+. ('Vx) ('9'y) (Sx 1\ Fy)
1.15. PI) ('Vil) -Fx -+ ('Vx) Rx PO> (3x) (Oa ++ ah .-+. Hx -+ Px)
PO> -('9'x) (Hx -+ Rx) P,) (3x) -Sx v Oa 11:. p -+ (3x) Mx .-+.
PO> (3x) Fx ... ('Vx) (Hx -+ Lx) (3x) Px
l/o'. -('Vx) -Lx 5) p -+ (3x) Mx Prem. Ad.
(2) 4) (3x) -(Hx -+ Rx) (2) RlC. 6) -p v(3x) Mx (5) Imp.
(2} ó) (3x) (Hx 1\ -Rx) (4) Imp. 7) ('Vx) ('Vy) (Sx 1\ Fy) (2,6) MPP.
(2) 6) (3x) Hx 1\ (3x) -Rx (5) ROC, 8) ('Vx) Sx 1\ ('Vy) Fy (7) RC,
(2) 7) (3x) -Rx (6) Simp. 9) ('Vx) Sx (8) Simp.
(2) 8) -('Vx) Rx (7) RIC. 10) -(3x) -Sx (9) RIC,
11,2) 9) -('9'x) -Fx (1,8) MTT. 11) Ga (4,10) SO.
11,2)10) (3x) Fx (9) RIC.DN. 12) ('Vy) Fy (8) Simp.
(3)11) (3x) Fx -+ ('Vil) (Hx -+ Lx) .1\. 13) ('Vy) Fy 1\ Ga (11,12) Coqj.
('9'1l) (Hx -+ Lx) -+ (31l) Fx (3) Eq. 14) ('Vil) (Gh 1\ HIl) (1,13) MPP.
(3) 12) (3x) Fx -+ ('9'x) (Hx -+ Lx) (11) Simp. 1ó) Gb 1\ ('9'x) Hx (14) RC,
(1,2,3) 13) ('Vx) (Hx -+ Lx) (10,12) MPP. 16) Gb (15) Simp.
(2) 14) (3x) Hx (6) Simp. 17) Ga 1\ Ob (11,16) Coqj.
(2} 15) Ha (14) ECE. 18) (Ga 1\ Gb) v (-Ga v -Ob) (17) Ad.
11,2,3) 16) Ha -+ La (13) RlCl, 19) Ga ... Oh (18) Eq.
283
Didllenes Rosales
20) (3x) [-(Ga .... Gh) .v. Hx -+ Pxl I 20) (Vz) Fz (17,19) SO.
(3) Imp. 21) (3y) Hy -+ (Vz) Fz (6-20) PC.
21) -(Ga .... Gh) v (3x) (Hx -+ Px) 22) (Vz) Fz Prem. Ad.
(20) RC, 23) -(Vy) -Ry (1,22) MPP.
22) (3x) (Hx -+ Px) (19,21) SO. 24) (3y) Ry (23) RIC.
23) (3x) (-Hx v Px) (22) Imp. 215) (3x,) Sx v (3z) Mz . v. (3y) Ry(24) Ad.
24) (3x) -Hx v (3x) Px (23) ROC, 26) (3x) Sx v (3z) Mz v (3y) Ry.-+.
25) (Vx) Hx (115) Simp. (3y) Hy (4) RC,
26) -(3x)-Hx (215) RIC, 27) (3y) Hy (215,26) MPP.
27) (3x) Px (24,26) SO. 28) (Vz) Fz -+ (3y) Hy (22-27) PC.
28) P -+ (3x) Mx .-+. (3x) Px (15-27) PC. 29) (3y) Hy -+ (Vz) Fz .10..
284
BffiLIOGRAFIA
.285
Didllenes RoaGh.
286
Bibliografla
288
Introducción. a la lógica presenta
de manera clara y sencilla los temas y
problemas básicos de la lógica moder-
na. En su desarrollo, el autor expone
en base a ejemplos, temas de la lógica
proposicional y de la lógica de predi-
cados monódicos. El objetivo es el aná-
lisis de validez de inferencias mediante
procedimientos decisorios, y la demos-
tración de inferencias válidas por el
método de la deducción natural.
Escrito en un estilo fluido y didác-
tico, este libro se propone introducir al
lector de manera gradual y segura al
fascinante mundo de la Lógica.
Diógenes Rosales es un profesor de
reconocida experiencia. Sus trabajos e
investigaciones están dedicados espe-
cialmente a temas de la Lógica y Filo-
sofía de la lógica. Es profesor de Lógica
de la Universidad Nacional Mayor de
San Marcos y de la Pontificia Universi-
dad Católica del Perú.