Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Rosales Dio Genes Introduccio N A La Lo Gica 3ra Ed PDF
Rosales Dio Genes Introduccio N A La Lo Gica 3ra Ed PDF
IntroducciOn a la
LOGICA
DIOGENES ROSALES PAPA
Profesor de Logics de la Pontificia Uniuersidad Catalica del Peril y
de la Universidad Nacional Mayor de San Marcos
Introduction a la
LOGICA
Tercera Edician
AMARU
Editores
LIMA - PERU
Introduccienz a la logica
Primers edition, Setiembre 1979.
Segunda edition, Junio 1988.
Pr6logo 7
Note a la segunda edicion 8
Presentaci6n 9
Nola a /a tercera edici6n 11
Presentation a la tercera edicidn 13
1. NOCIONES BASICAS 15
1.1. Logica 15
1.2. Inferencia 15
1.3. Expresiones proposicionales y expresiones no proposicionales 16
1.4. Proposiciones simples y compuestas 18
1.5. Uso y mention del lenguaje 19
1.6. El lenguaje formal 21
1.7. El lenguaje simbolico 23
Primera Parte
Logics Propositional
2. &meows, FORMULAS Y FUNCIONES VERITATIVAS 33
2.1. El lenguaje de la 16gica proposicional (LP) 33
2.2. Formulas • 34
2.3. Esquemas de formulas • 34
2.4. El use de los puntos auxiliares 35
2.5. Interpretation sernantica • 37
2.6. Funciones veritativas 38
2.7. El conjunto de operadores proposicionales 45
2.8. Simbolizacian de proposiciones 47
3. LAS TABLAS DE VALORES 55
3.1. Las tablas de valores como procedimiento decisorio 55
3.2. El metodo de las tablas abreviadas 57
4. LAS INFERENCIAS 69
4.1. Introducci6n 69
4.2. La implication 69
4.3. La equivalencia 72
4.4. Analisis de validez de inferencias 75
4.6. Relaci6n semantica entre las premisas y la conclusion 80
5. FORMAS NORMALES: CONJUNTIVA Y DISYUNTIVA 85
5.1. Introducci6n 85
5.2. Leyes logicas 87
5.3. Equivalencias notables 88
5.4. Forma normal conjuntiva (FNC) 93
5.6. Forma normal disyuntiva (FND) 96
6. EL M‘TODO DE LA DEMVACION 103
6.1. Introduction 103
6.2. Implicaciones notables 103
6.3. La prueba directs 107
6.4. La prueba conditional 110
6.5. La prueba indirecta 113
Segunda Parte
LOgica de Predicados Monsidicos
7. NOCIONES SOBRE LOGICA DE OASES 127
7.1. Introduccion 127
7.2. Notion de clase 127
7.3. Noci6n de algebra booleana y representation de las clases en los
diagramas 128
7.4. Operaciones con clases 130
7.5. Relaciones entre clases 134
7.6. Algunas leyes de la 16gica de clases 136
8. LOGICA TRADICIONAL 139
8.1. Introduction 139
8.2. Las proposiciones categoricas 140
8.3. Las inferencias de la 16gica traditional 142
8.4. El cuadro de la oposici6n 142
8.5. La conversion 146
8.6. La obversian 148
8.7. Las inferencias por contraposition 149
8.8. El silogismo categorico 151
9. EL METODO DE LOS DIAGRAMAS DE VENN 165
9.1. Introduction 165
9.2. La clase vacfa y la clase no-vacfa 166
9.3. La intersection de dos clases 167
9.4. Los diagramas de Venn como procedimiento decisorio 176
9.5. Prueba de validez de los silogismos por los diagramas de Venn 180
10. CUANTIFICACION 191
10.1. Introduction 191
10.2. Sfmbolos y formulas cuantificacionales 191
10.3. Alcance de los cuantificadores 195
10.4. Algunas reglas en LC 197
10.5. Interpretation de formulas cuantificacionales en universos finitos 199
10.6. El metodo FIT 202
11. SIMBOLIZACION DE PROPOSICIONES CATEGORICAS E INFERENCIAS TRADICIONALES 215
11.1. Introduccian 215
11.2. Cuatro modelos de proposiciones categoricas 215
11.3. Las formas categoricas tfpicas 220
11.4. Simbolizacian de proposiciones categoricas tfpicas y no tfpicas 224
11.5. Proposiciones singulares 227
11.6. El silogismo 228
11.7. Inferencias no silogfsticas 230
12. EL METODO DE LA DERIVACION DE LA LOGICA CUANTIFICACIONAL MONADICA DE PRI-
MER GRADO 235
12.1 Introduction 235
12.2. Reglas de inferencia pars los cuantificadores 235
12.3. Restriccionse para efectuar la derivaciOn 236
12.4. La prueba directs 237
12.6. La prueba condicional 242
12.6. La prueba indirecta 246
Apendice I. Nociones sobre predicados poliedicos 253
Apendice II. Circuitos 16gicos 263
Apendice III. Solution de algunos ejercicios 273
Bibliograf(a 286
PROLOGO
DI6GENES ROSALES
Lima, Junio de 1988
8
PRESENTACION
9
dedicado a dominarlo. En este sentido hay que felicitarse por la
presentacion del metodo Ferro-Herband en forma completa, y con mds
cuidado en los aspectos diddcticos que en la anterior edici6n.
Hay que notar al respecto que una introducci6n a la logica
podrla contentarse con "narrar" al lector algunos de los problemas y
tecnicas que se emplean, mostrando a tal vez uno o dos a modo de
ejemplo, pero sin ensenarle cam° ejecutarlos. Tal vez una introduc-
cidn de ese estilo permita cubrir mds areas, sobre todo tocar zonas
conflictivas y avanzadas de la logica, hablando por ejemplo de va-
rias 16gicas rivales. Tal aproximacion serla sin lugar a dudas muy
informativa pero poco seruirta para que el lector llegue a "hacer"
16gica y tenga un contacto directo y personal con la misma. En todo caso
se hace conveniente el acompariar una introduccion con lectu-
ras de temas hist6ricos. Como lo sugiere la bibliografia.
El resto de los comentarios que cabe hacer en esta presentaci6n es
mejor dejarlo al lector para cuando termine la obra.
OSCAR TRELLES
Junio, 1988
10
NOTA A LA TERCERA EDICION
11
ejercicios propuestos, a Rocto Redtegui y Rosa Ana Rojas por la
presentacidn del solucionario de algunos ejercicios; a Carlos Matta por
sus sugerencias en la edicion; y en general, estoy en deuda con todos los
jefes de prdctica que laboran conmigo en el curso de L4gica y que de una u
otra manera me hicieron llegar sus obseruaciones y sugerencias.
DIOGENES ROSALES PAPA
Lima, Octubre de 1994
MILAGROS ORBEGOSO R.
12
PRESENTACION A LA TERCERA EDICION
13
1. NOCIONES BASICAS
1.1. Logica
La logica es un conocimiento que aparece por primera vez, de
manera organica y sistematica, en los escritos de Aristoteleen con un
objetivo definido como es el analisis formal de los razonamientos. En su
desarrollo a travel de la historia, este concepto ha venido a cons-
tituirse en el tema central de la logica..
El analisis formal de los razonamientos se propone deslindar la
validez o invalidez de las inferenciasm. Este deslinde se efectua
mediante el empleo de metodos o procedimientos que consisten en la
aplicacion de definiciones y leyes o reglas logicas. Vista de esta ma-
nera, la logica es una ciencia que estudia los metodos o procedimien-
tos que aplican definiciones y leyes o reglas con el proposito de de-
terminar la validez o invalidez de las inferencias.
1.2. Inferencia
La inferencia es un proceso que consiste en obtener la conclu-
sion a partir de un conjunto de premisas.
Ejemplos:
(1) Todos los hombres son mortales. S6crates es hombre. Lue-
go Socrates es mortal.
(1) Los escritos 16gicos de AristOteles (384 - 322 a.C.) estan reunidos en un libro llamado
Organon que contiene Las Categorias, Sobre la Interpretaci6n, Los Ana!tacos (Prime-
ros y Segundos), Los Topicos y Las Refutaciones Sofisticas.
(3) Dos cantidades iguales a una tercera son iguales entre sf.
(4) J. M. Arguedas escribi6 la novela El Sexto.
(5) La distancia mas corta entre dos puntos es la lfnea recta.
Es importante notar que lo que interesa basicamente en una
expresion proposicional es su sentido de verdad o falsedad, porque
oraciones distintas pueden expresar una misma proposition. Por ejem-
plo, las tres oraciones siguientes expresan una sola proposici6n:
(6) Luis y Maria son compaileros de promotion.
(6) Luis es compaiiero de promotion de Marfa.
(6) Maria es companera de promotion de Luis.
De igual modo, las siguientes oraciones en diferentes idiomas
expresan la misma proposition:
(7) El cielo esta nublado.
(7) The sky is cloudy.
(7) Le ciel est nuageux.
A diferencia de las proposiciones que no son propias de ninglin
lenguaje, las oraciones forman parte de un lenguaje determinado.
Aunque la logica actual no trata solamente de proposiciones, sin
embargo se ocupa, basicamente, de expresiones que tienen la propie-
dad de ser verdaderas o falsas, esto es, las inferencias o razonamien-
tos estaran compuestos por enunciados que son verdaderos o falsos.
Las expresiones no proposicionales no cumplen con la propie-
dad esencial de la proposition, esto es, no son verdaderas ni falsas.
Por ejemplo, a diario usamos el lenguaje para hater preguntas, para
dar ordenes, para comunicar sentimientos y attitudes, para expresar
deseos y emociones, etc., etc., en estos casos las oraciones no tienen
sentido de ser verdaderas o falsas.
Ejemplos:
(8) Nadie sera sometido a torturas ni a penas o tratos crueles,
inhumanos o degradantes. (Art. 52, Declaration Universal
de los Derechos Humanos).
18
Nocione8 Beisicas
19
Diagenes Rosales
20
Nociones Bdsicas
21
(4) CARNAP, Fundamentos de Logica y Matematicas, p. 19.
Diagenes Rosales
23
DiOgenes Rosales
24
Nocionea Beisicaa
25
Di6genes Rosales
Ejercicio 1•
1. A continuacion 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 conclusi6n.
1.1. La policia y las brigadas de socorro rescatan ninos, si y
solo 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.
29
Primera Parte
LOGICA PROPOSICIONAL
(1)
Para evitar la ambigUedad en el use de las variables proposicionales, cada variable
representara simbelicamente una proposician simple. Ademas, Began necesitemos,
podemos introducir otras letras como 8, t, etc.
(2)
El simbolo "—" llamado "tilde" es el operador negativo, y opera solo hacia la derecha,
por eso es un operador monadic°. "A" es el operador conjuntivo, "v" es el disyuntivo,
—.0 es el condicional, y el operador "4-.0 es el bicondicional. Estos operadores, a excep-
ci6n del negativo, son operadores diedicos porque operan en doble sentido.
33
Diogenes Rosales
2.2. Formulas
En la logica proposicional, una formula es un conjunto de sfm-
bolos primitivos combinados segan las reglas de formacion. Ejem-
plos:
(1) p
(2) p
(3) p A q
(4) p (q v r)
(5) — (p q)
(6) (— p v q) v (r —0 q)
(7) [ (p A q) v r] (q r)
A cada una de estas formulas se le denomina esquema molecular, y
el nombre de cada esquema molecular depende, en cada caso, de su
operador principal. Solo la formula (1) no es un esquema molecular o en
todo caso es un esquema molecular por excepci6n, porque todo
esquema molecular supone la combinacion de variables y operadores
proposicionales. Entonces, toda formula generada por la regla de
formacion "i ", como la formula (1), la denominaremos formula literal o
formula atomica. En las otras formulas, la jerarqufa de los opera-
dores proposicionales esta determinada generalmente por los signos
de agrupacion, especialmente cuando la formula tiene mas de un
operador diddle°. Ahora podemos decir que (2) y (5) son formulas
negativas, (3) es conjuntiva, (4) es condicional, (6) es disyuntiva y (7) es
una formula bicondicional.
34
&mholos, formulas y funcionea verilativas
35
Diagenes Rosales
(1) p .--►. q v r
En este caso el operadorsondicional es el de mayor jerarquia con
respecto al disyuntivo, porque tiene un punto a cada lado. En lo sucesivo
vamos a contar los puntos solo a uno de los lados, aunque se les coloca a
los dos lados del operador por razones simetricas. En este caso el
condicional tiene un solo punto.
(2) — (p v q)
En esta formula el operador principal es la negacion. No se le
puede asignar puntos auxiliares porque estos se asignan solamente a
los operadores diadicos.
(3) p qv r (p v
Notese que en esta formula hemos combinado (1) y (2); el con-
dicional con dos puntos es el de mayor jerarquia, le sigue el condi-
cional con un punto, luego los otros operadores.
(4) p q .A. r :v: q r p
El operador principal en esta formula es el disyuntivo con dos
puntos, le siguen en jerarquia, en el lado izquierdo el conjuntivo y en el
lado derecho el bicondicional, y luego los otros operadores. De este modo,
podriamos seguir construyendo formulas donde el operador diddico de
mayor jerarquia puede tener tres, cuatro o cinco puntos auxiliares,
pero, para fines pro;c ticos generalmente bastard usar un solo punto
auxiliar y/o los parentesis para determinar con mayor claridad la
jerarquia de los operadores. Por ejemplo la formula (3) puede quedar
asi:
(p q v r) (p v q)
En este caso el condicional principal esti libre de parentesis. El
condicional con un punto tiene un alcance limitado por los parente-
sis. La formula (3) tambien puede quedar asi:
p —0 (q v r) .--o. (p v q)
Cualquiera de estas dos formas de jerarquizar los operadores de la
formula (3) es correcta. De igual modo, solo podemos usar un punto
auxiliar y parentesis en la formula (4). Asi:
(-- p 44. q .A. r) v (q r p)
El disyuntivo principal esta libre de parentesis, y los operado-
res que tienen un punto estan limitados por los parentesis. En la
36
Sim&los, formulas y funciortes ueritalivas
P, q
1 VV
2 VF
3 FV
4 F F
Esto significa las distintas opciones en las cuales pueden
interpretarse "p" y "q". Por ejemplo sean las proposiciones para "p" y
"q" respectivamente:
"El cielo esta nublado" y "hace &fa"
37
Di6genes Rosales
donde "no = —" y "el Peril este al sur de Chile = p". Este mismo
ejemplo se puede expresar tambien del siguiente modo:
(2) No es el caso que el Peru este al sur de Chile. y a
la vez simbelicamente se puede representar ad:
(p)
en este caso usamos los parentesis porque generalmente en el lenguaje
ordinario no es el caso que se usa para negar proposiciones compuestas.
38
Stmbolos, Prmulas y funciones veritativas
—p
V F
F V
40
Simbolos, formulas y funcionea veritatioas
41
Diigenes Rosales
Esquematicamente se tiene:
P, q pvq
✓ V V
✓ F V
F V V
F F F
Como se puede apreciar, los valores que estan debEkjo de la
disyuncion son los resultados de aplicarse la regla con respecto a los
valores que estan en las columnas de referencia.
En el lengufkje ordinario la partfcula "o" es una disyuncion fuer-
te o exclusiva cuando solo se admite la verdad de uno de sus com-
ponentes pero no ambos a la vez. Expresando en disyuncion exclu-
sive la proposicion anterior seria: "o el actual canciller peruano habla
ingles o habla frances pero no ambos a la vez". Simb6licamente, como
sigue:
(p v q) (p q)
Si inventamos un simbolo para la disyuncion fuerte, por ejem-
plo el signo " ", entonces este operador por definicion es como
sigue:
P q = def. (p v q) (p A q)
y la regla que lo rige es:
Una proposicion disyuntiva fuerte es verdadera solo cuando sus
componentes tienen valores distintos. Es falser cuando sus componen-
tes tienen valores iguales.
Luego, el esquema de la funcion veritativa de la disyunci6n
fuerte es como sigue:
q p q
✓ V F
✓ F V
F V V
F F F
•
42
Slmbolos, formulas y funciones yeritativas
P, q (p v q) A — (p q)
✓ V ✓ F F V
✓ F ✓ V V F
F V ✓ V V F
F F F V F
En vista de que la formula "(p v q) A (p A q)" cumple con la
regla de la disyuncion fuerte, usaremos esta formula en lo sucesivo para
interpretar toda conectiva "o" que tiene sentido de disyuncion fuerte en
reemplazo del signo " ".
La ditrjuncion, al igual que la conjuncion, goza de las propieda-
des conmutativa, asociativa e idempotente. A continuation los es-
quemas respectivos:
(A v B) es lo mismo que (B v A)
L v (B v C) es lo mismo que (A v B) v C (A v
A) es lo mismo que A
2.6.4. Conditional
Una proposicion condicional es la combinaciOn de dos proposi-
ciones con "si... entonces". La proposici6n que aparece entre "si" y
"entonus" se llama antecedente, y la proposicion que sigue a la palabra
"entonces" se llama consecuente. Por ejemplo:
(1) Si la temperatura esta bajo cero, entonces el agua se con-
gela.
Usa...-ido el operador condicional "—.", simbolicamente se tiene:
p q
donde, En temperatura esta bajo cero = p" y "el agua se congela = q"; y la
regla que rige es:
Una proposici6n condicional es. falsa solo cuando el antecedente cs
yerdaclero y el consecuente es falso. Es uerdadera o cuando el
antecedente es falso o cuando el consecuente es uerdadero.
La funcion veritativa se expresa en el siguiente esquema:
P, q p q
✓ V V
✓ F F
F V V
F F V
43
Diagenes Rosales
V V V
V F F
F V F
F F V
44
&mholos, formulas y funciones ueritativas
45
Diagenes Rosales
13, q P1g
✓ V F
✓ F F
F V F
F F V
La funcion veritativa del operador "1" aparece en la columna 15 del
esquema de las funciones diadicas. Los otros operadores pueden
definirse en funcion del operador "I", dando lugar a la construccion de
un sistema completo basado en un solo operador. Por ejemplo, los
operadores "-", "A", "v", "->" pueden definirse como sigue:
p = def. P I P
q = def. P I P .i. q I q
q = def. P I q • . P i q
q = def. (p I p) 1 q .1. (p i p) 1 q
De igual manera, Sheffer introdujo el operitdor " I "como simbolo de la
negacion alternativa, que se lee "no ... o no", y cuya regla es:,
Una proposician de la negacion alternativa es verdadera cuando
uno de sus componentes es falso. Es falsa solo cuando los dos com-
ponentes son verdaderos.
Esquematicamente, como sigue:
13, q Pig
✓ V, F
✓ F V
F V V
F F V
46
Slmbolos, formulas y funciones veritativas
47
Diegenes Rosales
_ --I. p
q
Esta es una forma condicional donde la particula "si" aparece
entre dos proposiciones. El consecuente se encuentra antes de la
particula "si", y el antecedente despues, como aparece en la for-
mula.
(3) 0 Ada estudia ingles y frances, o visita a sus amigas y
busca informacion.
Ada estudia ingles = p
Ada estudia frances = q
Ada visita a sus amigas = r
Ada busca informacion = s
48
Slmbolos, formulas y funciones ueritativas
p Aq
En este caso la forma logica de la proposicion es conjuntiva,
porque el sentido de la proposicion es "Ilovia a cantaros y a la vez
moria Vallejo".
(7) Tanto el Peril como Bolivia son productores de cobre.
El Peril es productor de cobre = p
Bolivia es productor de cobre = q
P Aq
La forma logica de esta proposici6n es conjuntiva, como se puede
apreciar en el sentido de la oracion.
49
Di6genes Rosales
50
Stmbolos, formulas y funciones yeritatluas
Ejercicio 2 •
1. En el siguiente conjunto de formulas determine cuales son fbfs
y cuales no son fbfs de LP. Indique luego la denominacien de
cada fbf. Sobre las formulas que no esto.n bien formadas diga
por que no son fbfs.
1.1. - p
1.2. p v q
1.3. -0 p q
1.4. (p q) 4-0 p
1.5. p q --0 r
1.6. p -0 (q A r) p
1.7. pvqvr
1.8. - p A (q 4E-0 r) A (r v p)
1.9. (p -0 - q A r) 4-* p
1.10. p q -0 - (p A r)
1.11. A p (q v - r v s) 4-* "" q
1.12. - (- p .v. r q .v. s 4-* I))
1.13. - (p - q) .A. - r --) p .v. (q 4-* r)
51
Diogenes Rosales
1.15. (— p q) A (r v q v s) A r p AS
2. Seleccione las fbfs que aparecen entre 1.1 y 1.15. Luego indique
a que formulas representa cada esquema de formula que apa-
rece a continuacion.
2.1. A
2.2. A
2.3. A v B
2.4. — A v B
2.5. A —> B
2.6. A H B
2.7. AvBvC
2.8. AABAC
2.9. (A A B A C) D
2.10. — (A v B v C)
2.11. (A —> B) —> C
2.12. A —3. (B 4-> C)
2.13. — (A A B) v C
2.14. A (B v C v D) E
2.15. (A 4-> B) v C D
3. Construya formulas proposicionales para cada esquema de for-
mula conforme se indica a continuacion.
3.1. Dos formulas proposicionales que tengan dos variables (p, q)
para cada uno de los siguientes esquemas de formula:
3.1.1. A
3.1.2. — A —> B
3.1.3. (A A B) 4-> C
3.2. Tres formulas proposicionales que tengan tres variables
(p, q, r) para cada uno de los siguientes esquemas de
formula:
3.2.1. A 4-0 B
3.2.2. (A —> B) v C
3.2.3. (A A B) (C v B v D)
52
Stmbolos, formulas y funciones yeritativas
4. Enuncie las reglas que rigen cada una de las funciones diadicas
que aparecen con los numeros 1, 3, 6, 7, 10, 15 y 16 en el
conjunto de operadores diadicos.
5. Simbolice cada una de las siguientes proposiciones:
5.1. Si el aeroplano tiene suficiente gasolina entonces Rega-
rd al mediodia.
5.2. El primer productor de cobre en Sudamerica no limita
con el Ecuador.
5.3. Un nOmero es positivo si y solo si es mayor que cero.
5.4. No es el caso que Brasil o Mexico pertenezcan al Pacto
Andino.
5.5. Ni Ecuador ni Bolivia son productores de algodon.
5.6. Se hubiera impedido el asalto al banco si la alarma hu-
biera sonado oportunamente.
5.7. Iveth conseguira un ascenso como reportera a menos
• que pierda la entrevista con el director de prensa.
5.8. Cuando el cielo no este. nublado, silba el viento y los
pajarillos cantan.
5.9. Tendremos muchas fibres en el jardin, si la esiacion es
propicia y las semillas no estan malogradas.
5.10. Cuando la Luna brillaba una noche en primavera, Gus-
tavo escribio un poema, sin embargo el poema de Gus-
tavo no es romantic°.
5.11. No es el caso que no haya control de precios o los com-
bustible se encarezcan.
5.12. La piscina este temperada porque hay calefaccion, o la pis-
cina este. temperada porque habra concurso de natacion.
5.13. La aguja de la brnjula gira en vista de que la embarca-
cion ha cambiado de rumbo, y la embarcaci6n ha cam-
biado de rumbo dadp que hay tormenta en alta mar.
5.14. Subird el precio def pan porque subio el precio de la
gasolina, en vista de que si subio el precio de la gasoli-
na, el gobierno no puede controlar la inflacion.
54
3. LAS TABLAS DE VALORES
(1) p —q
Primero observamos el numero de variables que exhibe la for-
mula. En este caso son dos (p, q), entonces, aplicando 2° se tiene 22 que
da como resultado 4. Esto significa que tanto "p" como "q" ten-
dran cuatro valores cada una, combinados en las columnas de refe-
rencia como aparece en el siguiente esquema:
P, q p A — q
✓ V
✓ F F
VF F
Luego, aplicando las reglas pertinentes se tiene:
P, q p A q
✓ V V F F
✓ F V VV
F V F F F
F F F F V
55
Diogenes Rosales
P, q, r (p v q) -
>
r
✓ V V V V V
✓ V F V F F
✓ F V V V V
✓ F F V F F
F V V V V V
F V F V F F
F F V F V V
F F F F V F
Por razones de comodidad hemos obtenido directamente los
valores del disyuntivo a partir de los valores de "p" y "q" que estain en
las columnas de referencia. Esta operacion se puede efectuar
siempre y cuando no se genere ambigiiedad al aplicarse las reglas
respectivas y segim la preferencia del lector. Luego, para obtener el
resultado se ha aplicado la regla del condicional. En lo sucesivo
procederemos de manera similar en la evaluacion de formulas por las
tablas de verdad. El resultado nos muestra que es una formula
consistente. A continuaci6n otro ejemplo:
(3) p, q, r (p A q) (r v p)
✓ V V ✓ V V
✓ V F ✓ V V
✓ F V F V V
✓ F F F V V
F V V F V V
F V F F V F
F F V F V V
F F F F V F
56
Las tablas de ualores
✓VV V F F F V F F
✓VF V V V V V V F
✓F V F F F V V F F
✓F F F F V F V V F
FVV V F F F V V V
FVF V V V V V V V
F FV V V F V V V V
F F F V F V F V V V
Formula vcilida o formula condicional tautologica.
(5) p, q, r p ..-0 (q n r) .A. (q — - r) ..-. p
✓VV ✓ V F F F F
✓VF F F F ✓ V V
✓FV F F F ✓ F V
✓F F F F F ✓ V V
FVV F V F F F V
F VF ✓ F F ✓ V F
F FV ✓ F F ✓ F F
F F F ✓ F F ✓ V F
Como la tabla de valores de esta formula nos muestra que es
falsa en toda interpretacion, la formula es contradictoria.
57
Diogenes Rosales
59
Diagenes Rosales
60
Las Lablas de valores
(p n q) -• r p v (q -' r)
✓FOV F F F VF OF F
✓VVFOF F VVV V®
En la segunda lima de valores observamos que la variable "r" tiene
los valores V y F a la vez, lo cual nos indica que la hipOtesis en esaF
linea no es cierta. Ahora podemos afirmar que la formula
(3) es una tautologia, porque en todas las lineas de valores donde
hemos supuesto F, seem la funcion veritativa de "4-•", ese supuesto no
existe; por lo tanto, la formula es vcilida. Por otra parte, vale
destacar acerca de las contradicciones que aparecen en cada una de las
lineas: en la primera se da en "q" y en la segunda linea en "r", pero
esto es totalmente relativo porque la contradicciOn en cads linea
puede darse en cualquiera de las variables, en vista de que depende
de como se ha jugado con la reiteracion del valor que tiene cada
variable, con tal de no infringir las pautas senaladas.
(5) (p v q) (q A p)
✓ F F
En este caso los operadores, tanto "v" como "A", tienen mas de una
opcion para preservar sus respectivos valores. Como ambos tie-
nen la misma cantidad de opciones, podemos elegir cualquiera de los dos
operadores. Si tomamos el operador "v" para preservar su valor V,
vemos que "v" es V cuando cualquiera de sus componentes es V, lo que
significa que vamos a probar la V de "v" en sus dos opciones. Segtin "iv",
el planteamiento resulta como sigue:
(p v q) (q A p)
VV F F
✓V
(p v q) (q A p)
VVF F F F V
✓V
62
Las tablas de valores
(p v q) (q A p)
VVF F F F V FVV
F VFF
ri, q (p v q) (q A p)
✓V V
✓ F F
V
F F V
63
Di6genes Rosales
64
Las tablas de ualores
"A". Por ejemplo, si "A" es una tautologia con opciones 23y queremos
averiguar en que opciones "A" es V, la hipotesis V de "A" generard ocho.
lineas de valores donde en cada Linea la hipotesis es cierta. Igual
ocurrira con una formula "A" contradictoria con 23 opciones: si deseamos
averiguar en que casos "A" es F, la hipotesis generara tambien ocho
interpretaciones o lineas de valores, cada una de ellas sin contradiccion.
Por ejemplo, a continuaci6n vamos a averiguar en cuantos ca-
sos u opciones es F la siguiente formula a partir de la hipotesis F.
(10) p v (q A r) p r)
VV VF F F FV F VF VV F F
F F FV FVF
F V VVV F VF F FV
Esta formula es consistente, porque la hipotesis F ha generado tres
lineas de valores, cada una de ellas sin contradiccion, confir-
mando que la hipotesis es cierta en tres opciones: cuando "p" es V, "q"
es V y "r" es F, cuando "p" es V, "q" es F y "r" es F, y cuando "p" es F, "q"
es V y "r" es V. En todas las otras opciones la formula es
V. Estas opciones donde la formula (10) es F y las opciones donde es V se
pueden observar en la siguiente combinacion de valores:
p, q, r pv (q A r) —p •-, r
1 VVV V
2VVF F
3VF V V
4VF F F
5 F VV F
6 F VF V
7F F V V
8F F F V
Las lineas 2, 4 y 5 muestran las opciones descubiertas por el
metodo abreviado; sin embargo, no solo la hipotesis F nos permite
descubrir los valores falsos, como se puede apreciar, sino tambien a
partir de los valores falsos podemos descubrir los valores verdaderos.
El use del metodo de las tablas abreviadas se puede aplicar a
cualquier formula de la logica proposicional del mismo modo como ha
sido empleado en los ejemplos expuestos.
66
Las tablas de valores
Ejercicio 3 •
1. Por la tabla de valores determine si cada una de las siguientes
formulas es tautologica., contradictoria o consistente.
1.1. (p v —+ p
1.2. (p A q) —• p
1.3. — (p v q) A q
1.4. (— p n q) q n p)
1.5. - (p q) v (q —• p)
1.6. (p q) —q (r v p)
1.7. p (q r) (q —0 4 -° p
1.8. (p A q) v (— r q) v (r A p)
1.9. —p (q A r .v. p 4-0 r) A q
1.10. pA (q v r r q) A (p v r)
1.11. (— p A q) —• — r .4-.. q (r p)
1.12. — (p q) A—(— r q) A—(^ q
1.13. —(pAqA—p)A—(—rApAr)A—(--TAC1A— q)
1.14. —(—pv—qv—r.—..qArAp)—.(r.—..p—.—r)
1.15. —p4,-.—(—p•-•—q.4-0.—rA—qApAr)
2 . 10 . (— p 4-0 q) 4-0 — r q (r p)
3.1. (— p q) A (q v p )
3.2. (p q) p .—•. q A q
3.3. (p 4-0 A ( r p) A (— q p)
3.4. (p (4) r r A (q p)
3.5. (p v q) 4-0 (r A s) (— p q) n (r s)
4.1. (p v q ) p
4.2. (— p A q) v (— r q)
4.4. (— p q) — r .—►. q (r A p)
4.5. (p v q) A (— p r) .4-•. (q r) v (p r)
68
4. LAS INFERENCIAS
4.1. Introduccion
Como ya dijimos en el capitulo 1, el tema central de la logica es el
estudio de las inferencias. Cada inferencia es una estructura de
proposiciones donde a partir de una o ma's proposiciones llamadas
premisas se deduce otra proposicion llamada conclusion. Formal-
mente podemos definirla asi:
P1 , P2 '••' Pn C
donde "P" y su respectivo subindice representan a cada premisa, ".-."
significa luego, por lo tanto, etc., y "C" representa a la conclusion.
Con palabras de Quine podemos afirmar que el objetivo mas
importante de la logica en su aplicacion a la ciencia y al discurso
cotidiano es la justificacion y critica de la inferencia"). Esto indica en gran
medida que la logica debe determinar mediante tecnicas o metodos
si una proposici6n sigue necesariamente o no a otra pro-
posici6n. Poebllo, la relacion mos importante entre el conjunto de
premisas y la conclusion de una inferencia es el concepto de impli-
cacion, porque si la conclusion sigue necesariamente al conjunto de
premisas entonces el conjunto de premisas implica a la conclusion.
4.2. La implicacion
En primer lugar, es importante distinguir los conceptos condi-
cional e implicaciOn, porque la no distincion de estos conceptos ha
generado, entre otros problemas, la "paradoja de la implicacion
material", donde se considera el operador como "implica" en vez de leerlo
como simbolo de "si... entonces".
' Se dice que "A implica a B" cuando unidos por el condicional, "A"
como antecedente y "B" como consecuente, la relacion es valida o
logicamente verdadera. Por ejemplo, dadas las formulas "A" y "B":
69
Diagenes Rosales
(1) A=pAq
B=pvq
Para saber si "A implica a B", debemos proceder relacionando las
formulas de acuerdo a la siguiente forma condicional:
A B
Luego, sustituyendo "A" y "B" por sus respectivas formulas, y
aplicando las tablas de verdad, se tiene:
P, q (p A q) (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 tautologic° o logicamente 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
implicacian "A implica a B". En el primer caso, se refiere a una
relacion formal condicional, antecedente y consecuente, mientras que en la
implicacion se refiere a una relacion semantica o a una relaci6n entre los
valores de verdad.
Si una proposicion "A" implica a otra proposicion "B", entonces es
imposible que "A" sea verdadera y "B" falsa, es decir, si "A" es
verdadera entonces "B" es necesariamente verdadera.
Esta definicion de la implicacion podemos expresarla como si-
gue:
A B = def. — (A B)
En el ejemplo (1), si "(p A q)" es verdadera entonces "(p v q)" es
necesariamente verdadera. Esta interpretacion aparece, como se
puede apreciar, en la primera opciOn de la tabla de verdad. Luego,
"(p v q)" se deduce validamente a partir de "(p A q)". Esto significa que
la implicacion es un tipo de inferencia donde la con-
clusion se obtiene a partir de una sola premisa. A continuacion otro
ejemplo:
(2) Dadas las siguientes proposiciones:
A = 0 una princesa se casa joven, o puede llegar a los 21
aims y contraer nupcias con un noble caballero.
70
Las Inferencias
A= (- q -. p) 4-. - r
B= - p -. - r
(- q -. p) 440 - r .--.. - p ,- - r
VF F F V F V F VF F FV
En este caso existe una interpretacion fain en el operador "-•", de
modo que "B" no esta implicada por "A".
4.2.1. Propiedades de la implicacion
Las propiedades de la implicacion aparecen expresadas en las
siguientes cuatro leyes generales:
1. Propiedad reflexiva: Cualquier formula (A) se implica a si
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 formula implica a una tautologia (T).
A -• T
4. Una contradiccion (1) implica a cualquier formula.
1 -. A
El conocimiento de estas leyes generales nos facilitara la cons-
truccion de demostraciones como, por ejemplo, en el metodo de la
derivacion.
4.3. La equivalencia
Tambien es importante distinguir el concepto equivalencia del
concepto bicondicional. El concepto "bicondicional" se refiere a la forma
logica de "A si y solo si B", mientras que el concepto "equiva-
lencia" se refiere a una relacion semantics entre los valores compo-
nentes de "A si y solo 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 relacion logicamente verdadera o una tautologia. Por
ejemplo, sean las formulas "A" y "B":
(1) A=P-.q
B=q v - p
72
Las Inferencias
73
Di3genes Rosales
11 4-• In
Ademas, son importantes las siguientes leyes equivalentes para
simplificar formulas:
6. (A A T) 4-0 A
7. (A v T) 4-0 T
74
Las Inferencias
8. (A A 1) 4-0 1
9. (A v 4-• A
Igual que las leyes generales de la implicacion, estas leyes equi-
valentes seran Utiles para la construcciOn. de demostraciones.
75
Thogenes Rosales
P1
P2
C
Simbolizada la secuencia de premisas y la conclusion, se debe
obtener la formula inferencial de acuerdo al siguiente esquema:
P1 A P2 A ... A P. C
Vale insistir en que el use expuesto de los terminos referencia-
les no es una regla, sino, como se indica, solo referencial. Por ejem-
plo, el caso 32, representado simbolicamente como sigue, tambien es una
interpretacion correcta de la inferencia en cuestion, donde el "puesto
que" se esta representando como una forma condicional:
P1 A P2 C
Luego, para decidir la validez o invalidez, se debe evaluar la
formula de la inferencia por la tabla de valores o por el metodo de las
tablas abreviadas. La inferencia sera vcilida si la conjuncion de
premisas implica a la conclusion.
Por razones de comodidad, para decidir la validez o invalidez de las
inferencias, usaremos especialmente el metodo de las tablas
abreviadas. En este caso, para facilitar el procedimiento, partiremos de
la hipotesis verdadera de cada premisa y falsa de la conclusion, que
esquematicamente podemos expresar asi:
P1 A P2 A ...A P, .—o. C
V V V
Luego, la aplicacion de las reglas del metodo abreviado son
exactamente las mismas. Ejemplos:
(1) Si el galeOn no trae piratas, entonces el capita!' ha muerto
o esta prisionero. Pero el capita/1 no ha muerto ni esta
prisionero. En consecuencia, el galeOn trae piratas.
.% P
Como podemos apreciar, esta inferencia es del caso 14, porque
la conclusion aparece al final del argumento. Ahora unimos las
premisas por el operador " A " y estas con la conclusion por " --. ", y se
obtiene la siguiente formula de la inferencia:
(- p .-.. q v r) A (- q A - r) .—.p
Luego, decidimos la validez o invalidez por el metodo abreviado,
como sigue:
(- p .-s. q v r) A (- q A - r) .-.. p
VF V FV O V FVV O F
Como se puede observar, hemos asignado directamente el valor V a
cada una de las premisas y F a la conclusion, luego hemos deducido los
valores correspondientes aplicando las reglas ya conocidas. Vemos que
esta inferencia es vcilida, porque la contradiction en "r" nos indica que
no existe una interpretaci6n falsa en la formula de la inferencia, por lo
tanto el conjunto de premisas implica a la conclusion.
El procedimiento para analizar la validez de inferencias en len-
guaje natural es el mismo, por lo que obviaremos en lo sucesivo algunas
explicaciones adicionales innecesarias. A continuation mas ejemplos:
(2) El arma del delito sera descubierta si la huella es auten-
tica; puesto que, si la huella es autentica, el motivo del
crimen fue ej robo, y el arma del delito sera descubierta si
el motivo del crimen fue el robo.
77
Diogenes Rosales
r
r- s
s- -p
(- p q v r) n (r '- s) s p
FVVFVFF FVV VF FV
Esta inferencia es del caso 32 porque la conclusion aparece entre
las premisas. Despues, la formula inferencial sometida al metodo
abreviado confirma la hipotesis de que las premisas son verdaderas y
la conclusion falsa, porque la no existencia de una contradiccion en
alguna variable indica que la formula es falsa en alguna interpreta-
cion, luego la inferencia es involida.
Esta misma inferencia puede simbolizarse de la siguiente mane-
ra:
p q v r
(r s) (s -> p)
Notese en este caso que el puesto que se ha interpretado como
un condicional donde el "consecuente" aparece antes y el "anteceden-
te" despues. Esta interpretaci6n simbolica se justifica por la ley de la
Exportacion (2). Aplicado el metodo abreviado, da el mismo resul-
tado sobre la validez de la formula. Asi:
(2) Infra, vease equivalencias notables, p. 88.
78
Las Inferencias
(— p q v r) (r s) (s p)
FV V FVFF FVV F VF FV
Formula no tautologica, luego la inferencia es invalida.
(4) Si todas las tierras son cultivadas entonces la reforma
agraria dara buenos resultados. La reforma agraria dara
buenos resultados si y solo si el gobierno construye
reservorios. Aumentard el volumen de la produccion agri-
cola si y solo si el gobierno construye reservorios. Pero, no
es el caso que si la inflacion persiste aumente el volumen
de la produccion agricola. En consecuencia, si la inflacion
persiste, todas las tierras no seran cultivadas.
q » r
S r
(t s)
t
(p q) A (q 4" r) A (s H r) A — '— s) t p
®VF FVF F VF VV F F V FF O
El metodo muestra la contradiccion en "p", luego el conjunto de
premisas implica a la conclusion. Inferencia vdlida.
(5) Carlos es un economista liberal si tiene el mayor numero
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 numero
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 numero de acciones si y solo si es
un economista liberal.
79
Di6genes Rosales
Vc i l i da V V
Va l i da F ?
I n v a l i da V ?
Invcili da F ?
En otros terminos, en una inferencia valida, si el conjunto de
premisas es falso, no hay seguridad a nivel semantic° acerca del tipo de
conclusion que se va a obtener; de igual modo ocurre en una
inferencia invalida.
80
Las Inferencia.9
Ejercicio 4 •
Desarrolle los ejercicios que aparecen a continuaciOn emplean-
do las tablas de valores o el metodo de las tablas abreviadas.
1. Dadas las siguientes proposiciones:
A = Si los rios aumentan de caudal, o hay lluvias en la sierra
o hay deshielos en la cordillera.
B = Si hay deshielos en la cordillera entonces los rios aumen-
tan de caudal.
C = Los rios 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 rios aumentan de
caudal.
81
Di6genes Rosales
83
Di6genes Rosales
5.1. Introduccion
Las formas normales son modelos de formulas donde aparecen
solo los operadores "A", " v" y/o " —". Como hemos visto en el capl-
tulo anterior, el operador " tiene una utilidad especial para el
andlisis de la implicacion y de la inferencia en general, puesto que, el
andlisis de la relacion entre el conjunto de premisas y la conclu-
sion lo hacemos con ayuda del operador condicional "—b", y lo ana-
lizamos desde el punto de vista de la validez. De igual modo, el
operador bicondicional "4-.11 nos permite analizar la relacion de
equivalencia. Sin embargo, los operadores y "4-." resultan su-
perfluos, porque la formula condicional "A B" y la formula
bicondicional "A H B" pueden transformarse cada una respectiva-
mente en otra formula que es su equivalente, y donde solo aparecen
los operadores "A", "v " y "—". Tomando en cuenta solo estos opera-
dores podemos tener un modelo de formula constituido solamente
por variables negadas o sin negar unidas por disyunciones. Llama-
remos a este modelo disyuncion basica y lo representaremos esque-
maticamente por:
pi v p2 v p3 v... v p.
donde "p" y su respectivo subIndice representan cualquier variable
proposicional negada o sin negar. Asf, la siguiente formula es un
ejemplo de disyuncion basica:
pv —q v r v —s
Cuando una formula esta constituida solamente por variables
negadas o sin negar unidas por conjunciones, se la denomina conjun-
cian basica. Esquematicamente como sigue:
pi A p2 A p A... A p.
Por ejemplo, la siguiente formula es una conjuncion basica:
pAqA —r A —s
85
Diogenea Rosales
(1) Infra, p. 92
86
Formers Normales: Conjunliva y disyuntiva
87
Diagenes Rosales
88
•▪
Formers Normale8: Conjuntiva y disyuntiva
(1) 1) pA ( - qv ry --s)
2) (p q) v (p n r) v (p s) de 1 por 4.1.
(2) 1) (- p A q) v (r v s)
2) (-pvrvs)A (qvrvs) de1por4.2.
89
Diogenes 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 formul6 en el siglo XIX.
90
Form= Normales: Conjuntiva y disyuntiva
(3) 1) (p n q) n (- r v q)
2) p n q de 1 por Rl.
En este caso la formula absorbente es "p n q" porque el opera-
dor principal es "A". Como se puede apreciar "q" se repite iden-
ticamente en la absorbida "- r v q", de ahi que la absorbida se
elimina.
(4) 1) (p A — q A 11 V (— q v s) v (- t A s)
2) (- q v s) v (- t n s) de 1 por Rl.
3) - q v s de 2 por R1.
En (4) la formula absorbente es "- q v s" porque el operador
principal es " v". Como se puede observar, "- q" se repite identicamente en
la formula conjuntiva "p q n r", por ello, en 2 se elimina. Luego, de la
formula absorbente, "s" se repite en "- t n s", por ello, tambien se
elimina, obteniendose la formula 3 que es un equivalente de la formula 1.
(5) 1) (p v q) v (- p r)
2) pv- qv r de 1 por R2.
En este caso la formula absorbente es "p v q", pero la variable "p"
que se repite en la absorbida esti negada, de ahi que se elimina
solamente la variable que estri en la absorbida.
(6) 1) (p v q) A (r v s) A (- r A q)
2) p A (r v s) A (- r A q) de 1 por R2.
3) pA-sA-rA-q de2porR2.
En (6) la formula absorbente es "- r q". Como "- q" apa-
rece negada en la absorbida "p v q", se elimina solo "q". De igual
modo, solo se elimina "r" de la formula absorbida "r v s". Luego, la
formula que aparece en 3 es equivalente a 1.
Las reglas de la absorcion resultan ser muy utiles porque nos
permiten simplificar formulas complejas, como hemos podido apre-
ciar en los ejemplos mencionados.
8. Leyes de la implicacion (Imp.)
8.1. (p q) (- p v q)
8.2. (p q) 4-• (p A q)
91
•▪
Diegenes Rosales
(8) 1) p (q 4-0 r)
2) p (q r) . A. (q » r) p de 1 por Eq.
3) p (q r .A. r q) .A (q r .A. r q) p de 2
por Eq.
10. Leyes de la expansion (Expan.)
10.1. p p n (q v q)
10.2. p p v (q A
10.3. p --• q p •-• (p A q)
10.4. p .g H
(pvq) H
92
Forums Normales: Cortjuntiva y disyuntiva
93
Didgenes Rosales
pv—rvqv—t
Obtener la FNC de una formula "A" consiste en transformar "A" en
una disyuncion basica o en conjunciones de disyunciones basicas
aplicando las conocidas reglas de transformaciOn (equivalencias no-
tables). En este sentido, toda formula de la logica proposicional tiene su
FNC.
5.4.1. FNC como procedimiento decisorio
Como toda formula proposicional es reducible a una FNC, la FNC
se puede usar para decidir si una formula es o no valida. Para el efecto
es suficiente reconocer si una disyunciOn basica es o no una tautologia.
Una disyuncion bcisica es una tautologia cuando existe una misma
variable negada y sin negar a la vez. Por ejemplo la siguiente
disyuncion basica es una tautologia:
pv—qv—pvrv—s
Como se puede apreciar, "p" que esta sin negar y negada a la vez
nos indica que es una tautologia porque "p v p" es la expresion del
principio del Tercio Excluido. Entonces, podemos decir que una
disyuncion basica es una tautologia cuando contiene el Tercio Ex-
cluido. Luego, una FNC es una tautologia cuando coda disyuncian bcisica
contiene el Tercio Excluido. Por ejemplo, la siguiente FNC es una tautologia
y, por lo tanto, valida:
(pv—qvq)A(—pvrvp)A(—rv—qvr)
La primera disyuncion basica es tautologica 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 conjuncion de tautologias equi-
vale a una tautologia: "T1 A T2 . H T3" (6).
94
Formal Nonna Conjuntiva y disyuntiva
95
Diogenes Rosales
96
Format, Norrnales: Conjuntiva y disyuntiva
97
Didgenes Roaales
98
Formas Nor-males: Corkjuntiva y disyuntiva
Ejercicio 5 •
1. Obtenga la FNC o la FND de cada una de las siguientes formu-
las aplicando solamente las reglas de la Dist. y de la Abs.
1.1. (p q) v (q v r)
1.2. (p v q) v (- r q) v r
1.3. (p n q) v- r v q n s)
1.4. (p v q) p n (- q v r)
1.5. (p v q v r) v (s t)
1.6. (p v q) A (I' A p) A (—r v s)
1.7. (pn-qn-r)A(—svtvq)
1.8. (p A q) A (r V 13) A (— t v p)
1.9. (- p A CO A (r V — S v p) A (— q v t)
1.10. (-pvqvr)v(-rAsAt)v(-qnk)
2. Obtenga la FNC de cada una de las siguientes formulas, y diga,
en cada caso, si es o no valida.
2.1. (p n q) -• p
2.2. (- p q) -• (q r)
2.3. (p --• q) n q .-•. p r
2.4. (p v q) (p •-• q)
2.5. (p 4-0 q) -• (- q p)
99
Didgenes Roaalea
101
Diligent, Rosales
102
6. EL METODO DE LA DERIVACION
6.1. Introduccion
En el capitulo anterior hemos introducido un conjunto de reglas
equivalentes que nos permiten transformar formulas. Esta transfor-
macion de formulas, donde a partir de una formula "A" se obtiene otra
formula "B" equivalente, constituye un modo de derivar la con-
clusion a partir de una premisa. Sin embargo, estas reglas solo nos
permiten derivar una conclusion equivalente al conjunto de premises. No
nos permiten derivar una conclusion que no es equivalente a pesar de
que el conjunto de premisas implica a la conclusion. Por lo tanto, las
reglas equivalentes resultan insuficientes para derivar cualquier
conclusion que se deduce validamente de un conjunto de premisas. Es
necesario, entonces, introducir leyes logicas que permi-
tan derivar validamente conclusiones no equivalentes. Para el efecto
enunciaremos las otras leyes logicas, denominadas leyes implicativas o
tambien llamadas implicaciones notables. Cada una de las im-
plicaciones notables sera expresada en forma de regla logica con el
objeto de facilitar la operatividad en la derivacion.
La derivacion como metodo es la aplicacion de un conjunto de
reglas logicas para demostrar que la conclusion este. implicada por un
conjunto de premisas. En otros terminos, el metodo de la deriva-
cion demuestra solo formulas o inferencias \rendes. Esta demostra-
cion consiste en obtener la conclusion a partir del conjunto de premisas
aplicando las reglas logicas en una secuencia finita de pasos, donde
cada paso debe estar justificado mediante una regla logica.
103
Didgenes Rosales
las otras formas validas, de ahi que sera suficiente enunciar las
respectivas reglas.
2. Modus Tollendo Tollens (MTT). Si se niega el consecuente de una
premisa condicional, se concluye la negacion del antecedente de dicha
premisa. Formalmente, como sigue:
A B
B
105
Diogenea Rosales
106
El mita& de la derivaci6n
i } jJ n+1 (justificacion)
i } k) C (justificacion)
donde "P.4.1" representa el conjunto de premisas y "C" la conclusion de la
inferencia. Las secuencias de formulas estan expresadas por "n+1" y la
numeracion de estas secuencias esta indicada por "i", 'j" y "k". La
palabra "justificacion" entre Parentesis indica la regla apli-
cada en cada caso; "( )" es tambien la justificacion, pero solo de las
premisas que intervienen en la derivacion. A continuacion algunos
ejemplos:
(1) P1) p q
P2) r q
P3) p 1/ — r
{1,3} 4) — q (1,3) MPP.
{1,2,3} 5) (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
cremostracion, se colocan al margen izquierdo de la secuencia, luego
5 se deriva de 2 y 4 por MTT y, como para obtener esta consecuencia han
participado todas las premisas, estas se colocan tambien al margen
izquierdo. Aqui 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 subindices. Tambien se
107
Diogenes Rosales
(3) P1) r —• (q A s)
p
P2) q
P3) (— r v p) t t
{2} 4) (p —• q) n (q p) (2) Eq.
{1} 5) (r —• q) n (r —• s) (1) Dist.
{1} 6) r q (5) Simp.
{2} 7) q p (4) Simp.
{1,2} 8) r p (6,7) SHP.
{1,2} 9) v (8) Imp.
{1,2,3} 10) t (3,9) MPP.
{1,2,3} 11) t v s (10) Ad.
{1,2,3} 12) — t s (11) Imp.
108
El m#todo de la derivaci4n
P1) P (- r q)
P2) - (s P)
P3) s q r s
{2} 4) - (- s v p) (2) Imp.
{2} 5). S A — p (4) DM.
{2} 6) — p (5) Simp.
{2} 7) p (6) DN.
{1,2} 8) q (1,7) MPP.
{2} 9) - s (5) Simp.
{2} 10) s (9) DN.
109
{2,3} 11) q (3,10) MPP.
Di6genes Rosales
k) C (justificacion)
1) A C (j - k) PC.
El esquema muestra la denominada barra de Anderson-
Johnstone que determina una subderivacion dentro de la derivacion
principal. La presencia de la barra indica que "A" implica a "C", si
110
El meta& de la derivaci6n
"C" se deriva a partir de "Pn.1" y de "A". Como la barra entre ".j" y "k"
va a indicar siempre una relacion de implicaciOn, asumiremos este
esquema como regla de inferencia para justificar toda demostra-
ciOn por Prueba Condicional (PC). Por ejemplo, vamos a demostrar la
validez de la siguiente inferencia:
(1) Si el descubrimiento de la mecanica en la fisica es una
revolucion newtoniana entonces es un modelo en la revo-
lucion cientifica. Si es un modelo en la revolucion cientifica
entonces genera consecuencias socioculturales. Por lo tan-
to, si el descubrimiento de la mecanica en la Mica es una
revolucion newtoniana entonces genera consecuencias
socioculturales.
112
El mated° de la derivaci6n
aparece entre las secuencias 1 y 12; luego, podemos colegir "p s"
por PC, como seriala la barra. De igual manera, si se ha derivado
"p s", entonces podemos concluir tambien por PC "r (p s)",
que tambien aparece sefialada por la barra.
La demostracion de una inferencia que puede resultar laboriosa
por la Prueba Directa, generalmente resulta mas sencilla por la
Prueba Condicional. Pero, la ventaja de la Prueba Directa radica en
que demuestra la validez de todo tipo de inferencias validas, mien-
tras que la PC solo demuestra inferencias que tienen como conclu-
sion una formula condicional.
j) — C Prem. Ad.
k) A A - A (justificacion)
1) — C (j-k) RA.
11) C (1) DN.
Asi como en PC, el esquema muestra la barra de Anderson-
Johnstone que indica una subprueba dentro de la derivacion prin-
cipal. Como la barra sefiala solo la relaciOn de implicacion, asumi-
remos este esquema como regla logica para justificar la demostracion
por prueba indirecta o RA, porque en este caso, si "- C" implica a
113
Diogenes Rosales
"A A - A", entonces podemos concluir "- - C". Esta regla corresponde a la
siguiente ley del absurdo:
p-' (q A q) .-'.-p
que afirma: si una proposici6n implica a una contradiccion, entonces dicha
proposicion es falsa.
La prueba por RA demuestra todo tipo de inferencias validas o
formula logicamente verdadera. A continuacion algunos ejemplos:
(1) Pi) P q
P2) r s
P3) p v r // q v s
4) - (q v s) Prem. Ad.
5) - q A 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 A — s (9,10) Conj.
12) (q v s) (4-11) R.A.
13) q v s (12) DN.
En este caso hemos demostrado el 'DCC. Como se puede apre-
ciar, se ha negado la conclusion "q v s", introduciendola en la se-
cuencia 4 como Prem. Ad.; luego, del conjunto de premisas y de la
premisa adicional se ha derivado la contradiccion "s s", como bien
sefiala la barra, lo que significa que es falsa la negacion de "q v s".
Por lo tanto queda demostrado que "q v s" se deriva del conjunto de
premisas.
A continuacion demostramos la validez de una inferencia.
(2) Si el contrato es valid°, o la Sra. Garcia tendth que desocu-
par la casa o estara obligada a pagar juridicamente. Si el
contrato no es valido, la sentencia del juez es dudosa. Sin
embargo, ni la Sra. Garcia tendra que desocupar la casa ni
la sentencia del juez es dudosa. Por consiguiente, el con-
114
El mitado de la derivacian
115
Diogenes Rosales
Ejercicio 6 •
1. Obtenga la conclusion que se deduce logicamente de cada con-
junto de premisas que aparece a continuacien, y justifique la
conclusion derivada mediante una regla logica.
1.1. Si el cielo estfl nublado y hace frio, entonces no se lleva-
ra a cab() el concurso de natacion. Ocurre que el cielo
esta nublado y hace frio. Luego,
116
El metodo de la derivacidn
1.9. No es el caso que las semillas ester) podridas o el abono
este malogrado. Si los cultivos no prosperan a pesar de
que hay lluvias y el clima es favorable, entonces las
semillas ester' podridas o el abono ester malogrado. Por
to tanto,
2.12. P1) r 4- * q
P2) p ' - s
P3) (t v z) -I. (- s A — p)
P4) q 4-0 (r v q) .-*. t v p
P5) - (p A - s) v - q // ... - (z v q)
2.13. P1) p v (- q A - r)
P2) - t A - s
P3) - (r -, p .A. — S —3. t) —, — p
P4) - (-q A k) // ... q 4-4. k
118
El meted° de la derivacien
2.14. P1) P q
P2) s (— t A — p)
P3) p v (r t) // q s
2.15. P1) p ---0 (p r)
P2) (p « q) (s t)
P3) (p v r) (q w)
k 4-* (IN 4 -0 .•-• t)
P4)
PS) k (z k) x // (s x)
2.16. Si el testigo dice la verdad entonces Pepe estaba en su
casa antes del mediodia; pero si Pepe pas() el dia en el
club entonces no estaba en su casa antes del mediodia.
Pepe pas() el dia en el club. Por lo tanto, el testigo no
dice la verdad.
2.17. Si Carmen es aficionada a la mOsica o es aficionada al
teatro, entonces asiste a los conciertos. Si Carmen no es
aficionada al teatro, o es pianista o es compositora de
zarzuelas. Carmen no es pianista ni asiste a los concier-
tos. Luego, es compositora de zarzuelas.
2.18. Los helados son caros, si y solo si, o se venden en las
fiestas o se venden en las playas. Si hace mucho frio
entonces los helados no son caros, y si los helados no son
dulces entonces no se venden en las fiestas. Pero, no es
el caso que no haga mucho frio y los helados sean dulces.
Por lo tanto, o los helados no se venden en las fiestas o
no se venden en las playas.
2.19. Si en la Luna no hay oxigeno, entonces no hay agua ni
aire. Si no hay oxigeno ni hay agua, entonces no hay
plantas. No es el caso que en la Luna haya oxigeno o no
haya plantas. En consecuencia, la Luna esta hecha de
queso verde.
2.20. Si los fenomenos de la naturaleza son observables, en-
tonces el conocimiento empiric° es exacto si la ciencia
posee instrumentos poderosos. El metodo cientifico es
universal si y solo si la ciencia factica informa los resul-
tados de sus investigaciones. No es el caso que la ciencia
factica informe los resultados de sus investigaciones y el
conocimiento empiric° sea exacto. Pero, los fenomenos
de la naturaleza son observables. En consecuencia, si el
119
Di6genes Rosales
120
El mt'todo de la derivacir5n
no es indivisible por dos o es un numero primo, entonces
no es un numero impar ni es un numero primo.
3. Use la prueba condicional y demuestre la validez de cada una
de las siguientes inferencias. En el proceso de la demostraciOn
justifique cada paso mediante la abreviatura de la regla logica
aplicada e indique los numeros de las lineas de las que ha sido
derivado.
P 2) Z ( t p)
P3) (- z v t) 4". w
P4) (r <-0 w) k // -q z (s k)
3.6. Si el contrato no se cumple entonces la construcci6n del
edificio no terminara a fin de alio: Si la construccion del
edificio no termina a fin de alio 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 rapido,
pierdo el tren y no viajo a Huancayo. En consecuencia, si no
consigo carro, no viajo a Huancayo.
3.8. Si un numero no es divisible por 2, o es un numero impar
o es un numero primo. No es un numero primo si es una
fraction positiva. Pero, si es un numero impar entonces no
es un numero decimal. Por lo tanto, si un numero no
121
Diagenes Rosales
P 2) (s r)V
P3) q —• (t A S) // pA r
4.3. P1) — (p —
P2) r (t v p)
P3) (q v t) (s k)
P4) (— s v k) z // (z k) (s A z)
4.4. P1) (p 4-• q)
P2) — (r 4-0 s)
P3) — (p n r)
P4) (t —• w) (q v s)
P5) (— t v — w) —• k // (— t k)
122
El nt4todo de la derivacian
4.5. P1) (p n - q)
P2) (s t) v (r q)
P3) r (- q p)
P4) (- p)
P6) w -• (t s) // w 4-• p
123
Segunda Parte
LOGICA DE
PREDICADOS MONADICOS
7.1. Introduccion
En vista de que en el capitulo 8 trataremos la 16gica tradicio-
nal aristotelica, introduciremos los conceptos elementales de "clase" o
"conjunto" y sus respectivas relaciones, porque la 16gica tradicio-
nal trata sobre las relaciones entre "clases" expresadas en las lla-
madas proposiciones categ6ricas, y estas constituyen la base en el
sistema de la 16gica tradicional aristotelica.
Ademas, la 16gica tradicional aristotelica fue interpretada
algebraicamente por George Boole, por lo tanto la 16gica tradicional
puede reducirse al calculo puramente algebraico de Boole, pero con
la ayuda de la ldgica proposicional. A pesar de las diferencias de
contenido entre la logica de clases y la logica proposicional existe
entre ambas una analogia estructural, como veremos luego. En con-
secuencia, las nociones de clase y algebra booleana son conceptos
fundamentales en el estudio de la logica tradicional.
127
Disigenes Rosales
EH
128
Nociones sobre Lbgica de Closes
129
Diogenes Rosales
y simb6licamente se expresa:
A = 4)
7.4.1. Complemento
El complemento de una clase A es la clase formada por todos los
miembros que no pertenecen a A. El simbolo del complemento es "—"
y se coloca en la parte superior de la daze que se designa. Entonces, el
complemento de A se expresa por "A" y formalmente se define como
sigue:
A = (x/x e A)
y se lee "para cualquier x tal que x no es miembro de A", donde "e "
significa "no pertenece a". La operacion de la clase complementaria
presupone la clase universal. Ejemplos:
(1) Si U = (1, 2, 3, 4, 5, 6) y
A = [2, 4, 6)
entonces el complemento de A es:
A = (1, 3, 5)
(2) Si U = (arboles) y
A = (eucaliptos)
entonces el complemento de A es:
A = (todos los arboles que no son eucaliptos)
130
Nociones sobre Lagica de Closes
7.4.2. Union
A 0
La union 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
simbolo de union es "u", y la union de A y B se expresa por:
AuB
y formalmente se define como sigue:
A u B = (x/x E A v 3CE 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 union de A y B se representa por el area
total de los dos circulos que se intercept.an.
AuB
131
Diogenes Rosales
7.4.3. Interseccion
La interseccion 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 simbolo de
la interseccion es "n", y la interseccion de A y B se expresa por:
AnB
y formalmente se define:
AnB=(x/xE A A XE B)
y se lee "para cualquier x tal que x pertenece a A y x pertenece a
B". Ejemplo:
(1) Si A = (1, 2, 3, 4) y
B = (3, 4, 5, 6)
entonces:
A n B = (3, 4)
En el grafico la intersecci6n de A y B se representa marcando la
zona comxin a A y a B con "x", como sigue:
AnB
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 = (x/x EA A xe B)
y se lee "para cualquier x tal que x pertenece a A pero x no perte-
nece a B". Ejemplo:
132
Nociones sobre Logica de Closes
(1) Si A = (1, 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:
011 A—B
7.5.1. Inclusion
Se dice que una clase A esti incluida en una clase B cuando
todos los miembros de A son miembros de B. Tambien se dice que A
es subclase propia de B. El simbolo de inclusion de clases es "c", y la
inclusi6n de A en B se expresa por:
AcB
y formalmente se define como sigue:
A c B = (x/x E A -4 X E B)
y se lee "para cualquier x tal que si x pertenece a A entonces x
pertenece a B". Ejemplo:
(1) La clase de los animales mamfferos esti incluida en la
clase de los animales vertebrados.
En el diagrams la inclusi6n de A en B se representa inscri-
biendo el circulo A dentro del circulo B. Asi:
AcB
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
tambien son miembros de A. El simbolo de igualdad entre clases
es "=", y la igualdad de A y B se expresa por:
A=B
134
Nociones sobre Logics de Closes
y formalmente se define:
A=13.(x/xe A 4-► xE B)
y se lee "para cualquier x tal que x pertenece a A si y solo si x
pertenece a B. Ejemplo:
(1) La clase de los ntimeros naturales es igual a la clase de
los mimeros enteros positivos.
En el diagrama, la igualdad de A y B se representa mediante
dos circulos que coinciden en todos sus puntos. El grafico es un solo
circulo inscrito en una superficie. Asi:
A ADI A=B
7.5.3. Exclusion
Se dice que una clase A esta excluida de una clase B cuando
ningan miembro de A es miembro de B. El simbolo de la exclusion de
clases es "#", y la exclusion de A y B se expresa por:
AFB
y formalmente se define:
A B = (x/x E A —> x 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 arbo-
les.
En el grafico se representa la exclusion de A y B mediante dos
circulos separados. Asi:
135
Di6genes Rosales
AFB
2. Tercio excluido: (A u A) = U
3. Contradicci6n: (A n -11.) =
4. Conmutatividad: a. (A u B) = (B u A)
b. (A n B) = (B n A)
5. Asociatividad: a. A u (B u C) = (A u B) u C
b. An (B n C) = (A n B) n C
6. Idempotencia: a. (A n A) = A
b. (A u A) = A
7. Uni6n con la clase U: (A u U) = U
8. Union con la clase 0: (A u 4)) = A
9. Intersecci6n con U: (A n U) = A
10. Interseccian con 0: (A n 4)) =
136
Nociones sobre Lbgica de Closes
16. Transposician: a. (A c B) H (B c A)
b. (A = B) (B = A)
17. Definician de la igualdad: (A = B) [(A c B) A (B c A)]
137
Didgenes Rosales
Ejercicio 7 •
2.1. (A u A) = U
2.2. (A n A) =
2.3. (A n = (B
2.4. U =
138
8. LOGICA TRADICIONAL
8.1. Introduccion
La logica tradicional es la logica desarrollada por Arist6teles en
base a las llamadas proposiciones categoricas. Esta logica se
denomina tambien 16gica de las proposiciones analizadas, porque
ademtis de tomar en cuenta las relaciones interproposicionales, trata de
la estructura interna de las proposiciones categ6ricas. En este
sentido, la logica proposicional no es suficiente para analizar la
validez de todo tipo de inferencia, dado que muchos argumentos
validos resultan invalidos al ser analizados por la 16gica propo-
sicional. Veamos el siguiente ejemplo:
Todos los arboles son verdes. Todos los pinos son arboles. Por
lo tanto, todos los pinos son verdes.
Esta inferencia es velida si consideramos la afirmaci6n de cada una
de sus proposiciones y sus respectivas relaciones, ademas de poder
intuir la correccian de este razonamiento con un ligero es-
fuerzo mental; sin embargo, si sometemos la inferencia a un an& lisis
mediante la 16gica proposicional, resulta invalida. La invalidez puede
hacerse patente aplicando el metodo ya conocido para ana-
lizar la validez de inferencias por LP. Para ello, primero
simbolizamos cada una de las premisas y la conclusion como sigue:
Todos los &holes son verdes = p
Todos los pinos son arboles = q
Todos los pinos son verdes = r
r
Luego, obteniendo la formula de la inferencia y sometiendola a
alguno de los metodos decisorios de LP, en este caso las tablas
abreviadas, se tiene:
(p A q) r
V VV FF
139
Di6genes Rosales
(1) Infra, vease p. 181 donde se decide la validez de esta inferencia por los diagramas
de Venn.
140
L6gica Tradicional
141
Didgenes Rosales
142
Logica Tradicional
t t
cn 0 IP cn
tz 'lb) * z =
> 4e9 6 Z >
.-3 r'
.-3
'S4r 4, [11
M <
# 10,71, PI
CO z 0 Z
> C.) t.d46 >
rn cia
'cliS'
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. Esquematicamente,
como sigue:
A E I 0. V F
0' E' A. F V
143
Diegenes Rosales
8.4.2. Contrarias
Las contrarias se refieren a universales que solo difieren en
cualidad. Las contrarias no pueden ser ambas verdaderas a la vez,
pero si pueden ser falsas. Esquematicamente se tiene:
A E.V F
E A• F ?
Segtin este cuadro, una proposicion universal verdadera impli-
ca a su respectiva contraria falsa, pero de una proposicion univer-
sal falsa nada se concluye con respecto a su contraria. Entonces las
Unicas relaciones validas son:
144
Logica Tradicional
A E
E -A
Ejemplos: (1) Todos los caballos son solipedos, luego es falso
que ningun caballo sea un solipedo.
(2) Ningun 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 solo difieren
en cualidad. Las subcontrarias no pueden ser falsas a la vez, pero si
pueden ser verdaderas. Esquematicamente se tiene:
I 0.V F
0 I ? V
Seglin este cuadro, una proposician particular falsa implica a
su respectiva subcontraria verdadera, pero de una proposicion par-
ticular verdadera nada se concluye con respecto a su subcontraria.
A continuaci6n las relaciones validas:
-I -> 0
-0 I
Ejemplos: (1) Es falso que algunos insectos sean vertebrados,
luego algunos insectos no son vertebrados.
(2) Es falso que algunos gobernantes no sean po-
liticos, por lo tanto algunos gobernantes son
politicos.
8.4.4. Subalternas
Cada proposicion particular es subalterna de su respectiva
universal. Si la proposicion universal es verdadera, su respectiva
particular ta.mbien es verdadera, pero de una proposician universal
falsa nada se concluye con respecto a su subalterna. Esquematica-
mente se tiene:
A E.V F
T ' 50 • v ?
Las relaciones validas se expresan como sigue:
A -+ I
E 0
14.5
Di6genes Rosales
8.4.5. Subalternantes
Cada proposicion universal es subalternante de su respectiva
particular. Si una proposicion particular es falsa entonces su res-
pectiva universal es falsa, pero de una proposicion particular ver-
dadera nada se concluye con respecto a su subalternante. Esque-
maticamente se tiene:
I 0 . V F
E • ? F
De acuerdo con este cuadro, las relaciones validas son:
-I -÷ A
-0 E
Ejemplos: (1) Es falso que algunos creyentes de Ala sean
cristianos, de modo que no todos los creyentes
de Ala son cristianos.
(2) No es el caso que algunos empresarios no sean
capitalistas, por lo tanto es falso que ningtin
empresario sea capitalists.
8.5. La conversion
La inferencia por conversion procede solo con proposiciones
categ6ricas de la misma cualidad, donde la conclusi6n respecto de la
premisa tiene los terminos permutados. Obviamente resultan
validas las conversas de una universal negativa y de una particular
afirmativa, porque a partir de una proposicion universal negativa
verdadera siempre se obtendra por conversion una universal nega-
tiva verdadera; de igual modo, de una particular afirmativa verda-
dera se concluira por conversion una proposicion particular afirma-
tiva verdadera. Por ejemplo:
(1) Ningtin insecto es vertebrado, luego ningtin vertebrado es
insecto.
(2) Algunos religiosos son cathlicos, por lo tanto algunos cat6-
licos son religiosos.
146
Logica Trodicional
147
DaVenes Rosales
8.6. La obversion
La obversion, llamada tambien equipolencia, es una inferencia
inmediata donde la conclusion respecto de la premisa es una pro-
posici6n categorica de la misma cantidad pero de distinta cualidad,
que tiene el mismo sujeto, y cuyo predicado aparece negado. De una
proposici6n categ6rica universal afirmativa se concluye por obversion
una proposici6n categarica universal negativa que tiene el mismo
sujeto y el predicado negado. Por ejemplo:
(1) Todos los graduados universitarios son profesionales, por
lo tanto ningtin graduado universitario es no-profesional.
En esta inferencia se puede observar que la conclusion es equi-
valente a la premisa; de alli el nombre de equipolencia dado por los
medievales. De modo que, si la premisa es verdadera, la conclusion
tambien lo es.
Siguiendo con el analisis de las inferencias por obversion, de
una proposici6n categ6rica universal negativa se concluye una pro-
posici6n universal afirmativa con el mismo sujeto y el predicado
negado. Por ejemplo:
(2) Ningtin cristiano es mahometano, luego todos los cristia-
nos son no-mahometanos.
Como se puede ver, la conclusion tambien es equivalente a la
premisa. El procedimiento para obtener la conclusion por obversion
de las proposiciones particulares es exactamente el mismo, como se
puede apreciar en los siguientes ejemplos:
(3) Algunos politicos son gobernantes, en consecuencia algu-
nos politicos no son no-gobernantes.
148
-
Lagica Tradicional
(S a P) (S e TD)
(S e P) (S a 13)
(S i P) (S o P)
(So P) (S i P)
149
Diagenes Rosales
150
-
Login Tradicional
(S e P) (P i S) CP por accidente.
(S o P) (P i S) CP simple.
La contrapuesta total (CT) es otro tipo de inferencia por con-
traposici6n. La conclusion respecto de la premisa tiene el sujeto y el
predicado permutados y negados a la vez. Conociendo las CP
validas es facil deducir validamente una conclusi6n por CT a partir de
una premisa, porque una CT es la obversa de una CP. Esque-
maticamente se tiene:
CP + Obv. = CT
Entonces, formalmente podemos expresar las CT validas como
sigue:
(S a P) -+ (P a CT simple.
(S a P) (T) i CT por accidente.
(S e P) (15 o §) CT por accidente.
(S o P) (15 o CT simple.
A continuacian un ejemplo para cada relaci6n valida por CT:
(6) Todos los dem6cratas son politicos. Luego, todos los apo-
liticos son no-demOcratas. •
(7) Todos los graduados universitarios son profesionales. De
modo que algunos no-profesionales son no graduados uni-
versitarios.
151
Diogenes Rosales
152
Logics Tradicional
a A
e C
C e A
153
DiOgenes Rosales
C a S
S a V V
i C
R eM
R i C
C i M
155
Diegenes Rosales
F i G
A a GA
i F
Este silogismo es de la segunda figura y del modo IAI. Este modo
no aparece en la lista de la segunda figura, por lo tanto el silogismo
no es valid°. En este caso se infringe la regla "iii" del silogismo,
porque en las premisas el termino medio no esta distri-
buido (cfr. 8.2.3. sobre distribucion de terminos).
(3) Algunos animales feroces son ayes de rapiiia, puesto que
algunas ayes de rapiiia son aguilas y todas las aguilas son
animales feroces.
R i A
A a F
F i R
Este silogismo es de la cuarta figura y del modo IAI; en la lista esti.
como DIMATIS, luego es valid°.
(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 valid°.
(5) Todos los espartanos son guerreros, por lo tanto ningtin
espartano es pacific°, porque ningtin pacific° es guerrero.
P e G
E a GE
e P
Este silogismo es de la segunda figura y del modo CESARE, por lo
tanto es valid°.
(6)' Ningan religioso es ateo y algunos cristianos no son reli-
giosos, por lo tanto algunos ateos no son cristianos.
156
Logica Tradicional
C o R
R e AA
o C
Este silogismo es de la cuarta figura y del modo 0E0 que no
esta en la lista; por lo tanto no es valido. En este caso se infringen
las reglas "iv" y "vi" del silogismo, dado que el terrain mayor esta
distribuido en la conclusion pero no esta distribuido en la premisa;
ademas, de dos premisas negativas nada se concluye.
(7) Algunos hoteles son serdidos, dado que todos los hoteles
son caros y ningan lugar sordid° es caro.
S e C
Ha C
H i S
Este silogismo es de la segunda figura y del modo EM que no
esta en la lista, luego no es valid°. En este caso se ha infringido la
regla "vii": la conclusiOn debe seguir a la premisa mas debil.
(8) Algunos militares no son filesofos progresistas, en vista de
que todos los militares son guerreros idealistas y ningiin
guerrero idealista es filesofo pro gresista.
G e F
M a G
Mo F
Este silogismo es de la primera figura y del modo EAO que si
esta en la lista; por lo tanto es valid°.
157
Diagenes Rosales
(1) Todos los perros son mamiferos y todos los perros son
vertebrados, por lo tanto todos los vertebrados son mami-
feros.
P a M P
a V
V aM
En la conclusion "vertebrados" es el termino distribuido, pero en
la premisa menor no aparece en toda su extension. Ademas, el modo
AAA no es valid° en la tercera figura porque viola la regla
0 a C
C oMM
o 0
En este caso el termino medio "creyentes" no esti distribuido.
D a PR
e D
R o P
El termino mayor "politicos" esti distribuido en la conclusion, pero
no esta distribuido en la premisa mayor.
(6) Algunos misticos no son socialistas, por lo tanto algunos
socialistas no son religiosos, ya que algunos misticos son
religiosos.
M i RM
o S
S o R
El termino mayor "religiosos" esta distribuido en la conclusion pero
no en la premisa mayor.
Ma C
C a I
I aD
159
Di6genes Rosales
Ejercicio 8 •
160
Logica Tradiciona!
161
Di6genes Rosales
163
Dibgenes Rosales
12.8. Todos los trabajadores de las plantaciones son inmi-
grantes negros, de modo que algunos trabajadores de las
plantaciones no son nadadores, dado que algunos
inmigrantes negros no son nadadores.
164
9. EL METODO DE LOS DIAGRAMAS DE VENN
9.1. Introduccion
La idea basica de los diagramas se debe al matematico suizo
Leonhard Euler (1707-1783) quien represent6 graficamente las re-
laciones entre las clases o conjuntos. Euler us6 la relacion de inclu-
si6n para la universal afirmativa, la exclusion para la universal
negativa, y la intersecciOn para ambas particulares. En base a estas
representaciones, el logico ingles John Venn (1834-1923) propuso
representaciones graficas de las proposiciones categoricas tfpicas A, E,
I y 0, graficos que van a interpretar las ecuaciones booleanas, dado
que Boole interpret6 algebrdicamente las proposiciones cate-
g6ricas de la logica tradicional.
John Venn, en lo que el llama perspectiva "compartimental" o
"existencial", determina que uno o mas componentes resultantes de
la combinaciOn de las clases S y P y sus respectivas negaciones
pueden ser iguales al vacfo. Este concepto gener6 el llamado proble -
ma de la "hip6tesis existencial" de las proposiciones, porque segon la
interpretacion de Venn resulta Inds claro y comprensible que una
proposiciOn universal niegue antes que afirme, de modo que "todo S
es P" debe interpretarse como "S P = Op" (4) = vacisa) y "ningtin S es P"
como "SP = 4". 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: "Algan S es P" como "SP *0" y S
no es P" como "S P * 4)".
Los cuatro compartimentos en la intersecciOn de dos cfrculos,
parafraseando a Jevons, son: SP + SP + SP + SP = U. En la in-
tersecciOn de tres cfrculos se obtendran ocho combinaciones. El ob-
jetivo es determinar la seccion o secciones vacfas cuando se repre-
sente graficamente un conjunto de premisas universales. En cambio, la
presencia de proposiciones particulares por si sola expresa la
165
Diogenes Rosales
0
Graficado ad el conjunto S no nos proporciona informacion,
porque no nos muestra si S tiene elementos o carece de ellos.
Un conjunto S que no tiene elementos se va a representar
graficamente sombreando o rayando la zona que pertenece a dicho
conjunto, como sigue:
formalmente
S=0
166
El meted° de los diagramas de Venn
formalmente
S # (1)
OD
donde las secciones de la clase universo han aumentado a cuatro,
U = (1, 2, 3, 4)
167
Diegenes Rosales
C. S 4)
S=0
168
El metodo de los diagramas de Venn
OD sP
= (1)
SPA 4
169
Diegenes Rosales
SP= 4)
OD SP # 4)
N6tese en este caso que las "x" fluctuantes unidas por una linea
representan un solo elemento que esta en las zonal 1, 2 y 3.
formalmente
SP= 4)
170
El mitodo de los diagramas de Venn
formalmente
SP = 4)
OD formalmente
SP •il.
OD formalmente
SP 0
171
Diegenes Rosales
15 a A
Aplicando la formula booleana de A, SP = 4), dado que se trata de
una proposicion de tipo A, se tiene:
Dr = 4,
y por doble negacion:
DA =4)
luego, diagramando:
172
El mead° de los diagram's de Venn
DeC
DU = 4)
Moo
MO *4)
MO*4)
M 0
173
Diogenes Rosales
1) - (M a C)
2) - (M C = 4))
3) M # 4)
M C
que significa "no es el caso que todos los M sean C". Aplicandole la
formula de A, S P = 4), se tiene: no es el caso que la interseccian de M por
no C sea igual al vacio. Y si no es el caso que esta intersec-
cion sea igual al vacio, entonces se concluye que la interseccion de M
por no C es diferente del vacio, demostracion que no requiere
necesariamente saber la contradictoria.
(5) No es el caso que algunos ffsicos sean no-bohemios.
- (F i E )
- (F E * 4))
F B = 4)
F B
- (P a L)
- (P E = 4))
PL * 4)
P L
- (Ae I)
- (A I = 4))
/T. I * 4)
A I
174
El m4lodo de los diagrurnas de Venn
MaP
MP = 4)
M P
FeP
FP = 4)
F P
(10) El perro es un animal mamifero.
PaM
P M = 4)
P M
(11) Muchos arboles frutales no son industrializados.
FoI
FI *0
F I
175
Diogenes Rosales
CiJ
CJ #
C J
En la proposicion (8) esti implicit° el cuantificador "todos";
(10) se interpreta tambien como una proposician universal afir-
mativa porque todos los perros son animales mamiferos; (9) se
entiende como una proposici6n universal negativa, dado que se
interpreta como "ninguna persona feliz es persona que tiene pro-
blemas econ6micos"; (12) se entiende como particular afirmativa,
porque se interpreta como "algunos canarios son animales que
escaparon de la jaula", y (11) es una particular negativa, puesto
que se interpreta como "algunos arboles frutales no son indus-
trializados".
176
El mead° de los dingramas de Venn
HaM/...MeH
HM =0/M11= 4)
H M
DoC / .. C i D
DC # 4) / CD * 0 DC
# 4)
Inferencia vdlida D
r, i I)
- (L a P) / ..
-(LP . 0 /LP *0
LP #0
L P
Inferencia invdlida
(e o F) / (P o C)
(CF # 0) / (P C 4))
CF = / =4)
Inferencia vcilida
178
El mitodo de los diagnimas de Venn
HaM/ HiM
HM / HM
HaM/ HiM
HM = / HM
H
M
179
Diz$genes Rosales
Ra
RE=4)/RC
RC = 4)
/ .•. R o C
4)
U
tio
R * 4)
Inferencia valida
CD
D 15 = 0 / - (15 b = 4))
DP=4)/Pii 4)
D * 4) ; i * 4)
P#4);f#4) D P
180
El metodo de los diagrarnag de Venn
AaV ,- AV =4)
PaA -4 PA =4)
A
PaV - PV = (I)
181
Didgenes Rosales
MeA -) MA = 4)
MiV —> MV * 0
VoA —> V X 4)
A
Silogismo invdlido, porque P R = 0 no se lee en el diagrama; vale
decir que hay un sector de R que no es de F que no cumple con ser vacio.
Ademas, a diferencia de los silogismos hasta aqui estu-
diados, Este se caracteriza por tener cinco terminos ("desafortuna-
dos", "feliz", "religiosos", "afortunados" e "infeliz") y cuya validez o
invalidez es Moil de probar por el metodo de los diagramas, como
queda demostrado.
182
El milodo de los diagrams de Venn
- (C a E) -> CE* 4)
taA -.> RA. 0
AiC -> AC * 4)
La inferencia es vdlida.
Pa E -4 P R = 0
6o P --) d15* 0
.•. - (E e C) -4 EC * 4)
La inferencia no es
vdlida.
P
PeG ,- P G = 4)
- (P o G) -> P d = 4)
- (U i G) -> U G = 4)
La inferencia es vdlida.
P
0
184
El metodo de los dia,gramas de Venn
SeR -> SR = 4)
RaF -> RF = 4)
Prem. Exist —> S * Q. R * 4).F * (1)
185
Didgenes Rosales
(4) Ning-an juez es injusto. Todas las personas justas dicen la
verdad. Por lo tanto, no se da el caso que ninguna persona
que diga la verdad sea no-juez.
Jeg —> a = 4)
SaV --> SV = 4)
J * 4). S * 4). V * 4)
Prem. Exist. —> 1 * 4). S * 4). 71* 4)
- (V e :i ) —> VJ *4)
186
El mitodo de los diagromas de Venn
Ejercicio 9 •
188
El meta& de los diagramas de Venn
189
Didgenes Rosales
10.1. Introduccion
El metodo de los diagramas de Venn visto en el capitulo an-
terior, ha permitido de forma rads simple y sistematica el analisis
de validez de las inferencias de la 16gica tradicional. Este metodo,
sin embargo, presenta serias limitaciones, por cuanto solo puede
analizar inferencias que tienen como maximo cuatro terminos
predicativos o cuatro clases o conjuntos. Por ejemplo, el silogismo, la
inferencia mas importante de la logica tradicional, tiene sola-
mente tres terminos que expresan clases o conjuntos. La intersecciOn
de tres clases puede representarse mediante circulos, pero la inter-
secciOn de cuatro clases tiene que graficarse por medio de rectim-
gulos o cuadrados, dado que es inmanejable mediante circulos. En
este sentido, la logica cuantificacional (LC) puede interpretar for-
malmente proposiciones categoricas con "n" cantidad de terminos
predicativos, y a la vez analizar la validez de inferencias, porque en LC
hay muchos metodos decisorios (como el metodo FH que expon-
dremos en el presente capitulo) que deciden la validez o invalidez
de formulas cuantificacionales de primer grado.
10.2.1. Lenguikje de LC
1. Simbolos predicativos: F, G, H,
2. Constantes individuales: a, b, c,
3. Variables individuales o indefinidas: x, y, z,
4. Cuantificadores: (V) (universal) y (3) (existencial).
5. El lenguaje de LP tambien es valido en este sistema.
191
Didgenes Rosales
10.2.2. Metavariables
1. A, B, C,
2. (I), P, 0, ...
3. a = (a, b, c, x, y, z)
4. 13 = (x, y, z)
5. y = (a, b, c)
Las metavariables 1 pueden representar cualquier formula de
LP o de LC, mientras que las metavariables 2 representan solo
predicados.
192
Cuantificacion
I II III W
(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 sfmbolo predicativo este. seguido solo por un elemento de "a", la for-
mula cuantificacional se llama MONADICA (columna I), cuando est& seguido de dos
elementos de "a" se llama 1/A1mA (columna II), TRIADICA cuando esta seguido de
tree elementos de "a" (columna III), y eat podemos hablar de formulas
cuantificacionalee "n-adicas" (columna IV). En general, cuando un sfmbolo
predicativo esta seguido por mils de un elemento de "a", recibe el nombre de
formula PouAnicA. En el presente texto trabajaremoa basicamente con FOlutarus
MONADICAS de primer grado.
(2) Una formula, en LP o LC, puede tener uno o mas esquemas de formulas, uno de ellos
el mas generic° y otro que puede ser el mas especffico.
193
Diogenes Rosales
194
Cuantification
195
Diagenes Rosales
196
Cuantificcuidn
10.4.Algunas reglas en LC
De la misma manera que en LP (5.3), las reglas 16gicas equi-
valentes nos permitirtm transformar y simplificar formulas en LC,
donde la conclusion respecto de la formula original es equivalente, pero
las reglas implicativas (6.2) nos permitiran obtener conclusiones a partir
de un conjunto de premisas, en este caso la conclusi6n se deriva pero
no es necesariamente equivalente a la premisa. Las reglas que
vamos a enumerar se suman a las citadas en LP.
1. Reglas de intercambio de cuantificadores (RIC)
1.1. (Vx) ctox 4-► (ax) Cox
1.2. — (Vx) ctox 4-+ (3x) - 0:13x
197
▪▪
Didgenes Rosales
199
Dibgenes Rosales
200
Cuantifioaci6n
(3) Este metodo aparece expuesto por Juan B. Ferro en Procedimientos decisorios pare
formulas rnonddicas de primer grado. Cap. VIII, tesis, Lima, UNMSM, 1966.
202
Cuantirwacidn
204
Cuantificacion
(4) 1) Rix) Fx --■ (3x) Gx] A (3x) Fx .-+. (3x) (Gx v Hx) (A)
2) -[-(3x) Fx v (3x) Gx .A. (3x) Fx] v (3x) (Gx v Hx)
Imp.
3) (3x) Fx A (Vx) -Gx .v. (Vx) -Fx v (3x) (Gx v Hx)
DM., RICO, y DN. (B)
4) (Fa v Fb .A. -Ga) .v. -Pb v (Ga v Ha .v. Gb v Hb)
Rii (C)
5) Fa v Fb v -Fb v Ga v Ha v Gb v Hb Abs.
F6rmula vdlida.
205
Didgenes Rosales
(4) 1) p (Vx) (Fx -4 Gx) .A. (3x) -Gx -+ q :v: (3x) (Fx p)
2). [-p v (Vx) (-Fx v Gx) .A. -(3x) -Gx v q] .v.
(3x) (-Fx v p) Imp.
3) [-p v (Vx) (-Fx v Gx) .A. (Vx) Gx v q] .v. (3x) -Fx v p
RICO, DN. y RC
4) [-p v (-Fa v Ga) .A. Gb v q] .v. -Fa v -Fb v p Rii
206
Cuantificaculn
208
Cuantificacidn
209
Di6genes Rosales
210
Cuantificacidn
211
Didgenes Rosales
Ejercicio 10 •
212
Cuantificacidn
213
Didgenes Rosales
214
11. SIMBOLIZACION DE PROPOSICIONES
CATEGORICAS E INFERENCIAS TRADICIONALES
11.1. Introduccion
El objetivo del presente capitulo es la simbolizacion de las
inferencias de la 16gica tradicional en la 16gica cuantificacional. Para
el efecto partiremos de las estructuras formales de las propo-
siciones categericas, dado que la 16gica tradicional aristotelica esta
construida sobre la base de ellas. El analisis de validez inferencial
estara sometido al metodo decisorio FH. Ademas, el poder de la
logica cuantificacional se mostrani claramente al sustituir las re-
glas intuitivas tradicionales por reglas de la 16gica moderna, cuyos
alcances operativos son impresionantes en las demostraciones de la
logica y la matematica.
215
Di6genes Rosales
216
Simbolizacibn de proposiciones categaricas e inferencias tradiciortaks
217
Didgenes Rosales
218
Simbolizackin de proposiciones categoricas e inferenciaa tradicionalee
(4) En este caso, "Mx = x es mortar. En lo sucesivo, por rezones practices, cada tannin°
predicativo se representara simbolicEunente por su respectiva letra inicial ma -
yuscula.
219
Ditigenes Rosales
220
Simbolizocion de proposiciones categOricas e infereneias trot:lieu:moles
0
lo
cg 4 c--\'.?
4e l C,sN.
Pa 0 4w 4
GOB 0,b •t
i 1 ' 0.%
221
Diegenes Rosales
222
Simbolizacien de proposiciones cedegoricas e inferencias tradieionales
223
Diegenes Rosales
224
Sintbolizacian de proposiciones categ6ricas e inferencias tradicionales
225
Diogenes Rosales
226
Simbolizacidn de proposiciones categdricas e inferencias tradicionales
11.6. El silogismo(7)
Las caracteristicas del silogismo tradicional poco importan en el
andlisis de su validez o invalidez dentro de la logica cuantifica-
cional. En la simbolizacion sera suficiente distinguir la conclusion de el
conjunto de premisas; mientras que en el andlisis bastard someter
el silogismo a un metodo decisorio. A continuacion algunos ejemplos:
(1) Todos los drboles son verdes. Todos los pinos son arbo-
les. Luego, todos los pinos son verdes.
Simbolizando y aplicando el metodo FH se tiene:
1) (Vx) (Ax Vx) n (Vx) (Px -k• Ax) (Vx) (Px Vx)
2) -(Vx) (Ax -> Vx) v -(Vx) (Px Ax) v (Vx) (Px -4 Vx)
Imp., DM.
3) (3x) (Ax A -Vx) v (3x) (Px n -Ax) v (Vx) (-Px v Vx)
RIC2, Imp.
4) (Aa A -Va) v (Pa A -Aa) v (-Pa v Va) Rii.
5) Aa v -Aa v -Pa v Va Abs.
(7) Este tema ha sido tratado en el capttulo de la 16gica tradicional. Supra, vease p.
151 y siguientes.
228
Simbolizacian de proposiciones cateericas e inferencias tradicionales
229
Didgenea Rosake
230
SimbolizaciOn de proposiciones categaricas e inferencias tradicionales
Ejercicio 11 •
231
Dibgenes Rosales
232
Simbolizacian de propositions categoricas e inferencias tradicionales
233
Diegenee Rosales
234
12. EL METODO DE LA DERIVACION EN LA LOGICA
CUANTIFICACIONAL MONADICA
DE PRIMER GRADO
12.1. Introduccion
Como ya hemos visto en LP"), el metodo de la derivacion es una
prueba formal para demostrar formulas o inferencias validas. El
proceso de la demostraci6n en LC, ademas de las reglas introdu-
cidas en este sistema, usa las mismas reglas de LP. El unico pro-
blema se presenta cuando se tienen que aplicar las reglas de elimi-
nacian e introducci6n 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 solo en casos necesarios, porque muchas inferencias validas pueden
ser demostradas independientemente de las restricciones.
(Vx) 0:1:1x
235
Diagenes Rosales
:.
Esta regla nos dice que si es verdad que "existe por lo menos un x
tal que x es (1)" en un universo no vacio, entonces se deduce que es
verdad que por lo menos un individuo "a" es "V, y no ne-
cesariamente cualquiera.
3. Introduccian del cuantificador universal (ICU)
(Vx) (Dx
Segtin esta regla, si es verdad que "un individuo arbitraria-
mente elegido a es (D", entonces se sigue "para todo x, x es 0", si y solo
si es verdadero que "4:1:0" tiene un individuo "a" en un universo no vacio.
4. Introduccion del cuantificador existencial (ICE)
(Da
(3x) (Dx
Esta regla nos dice que si es verdad que "a es d)", entonces es licit°
deducir que "existe por lo menos un x tat que x es CD".
236
El metodo de la derivacion en la logics cuantilicacional
239
DiOgenes Rosales
241
Didgenes Rosales
242
El metado de la derivacian en la 16gica cuantifieacional
P.+1 .% A C
. A
•
Prem. Ad.
„
k) C
1) A C
(justificaci6n)
(j-k) PC.
243
Didgenes Rosales
244
El metodo de la derivacion en la logica cuantificacional
245
Diagenes Rosales
246
El mitodo de la derivacian en la 16sica cuantificacional
k) A A -A (justificaci6n)
1) --C (j-k) RA.
11) C (/) DN.
Asi como en PC, la barra de Anderson-Johnstone indica la
subprueba dentro de la derivaci6n principal. A continuaciOn algu-
nos ejemplos ilustrativos.
(1) P1) (Vx) (Mx -■ -Px)
P2) (ax) (Sx A Mx) / (3x) (Sx A -Px)
3) -(3x) (Sx A -Px) Prem. Ad.
4) (Vx) -(Sx n -Px) (3) RIC,
5) Sa A Ma (2) ECE.
6) Ma -Pa (1) RICI,
7) -(Sa A -Pa) (4) RICI,
8) Sa -■ Pa (7) Imp.
9) Ma (5) Simp.
10) -Pa (6,9) MPP.
11) -Sa (8,10) Am.
12) Sa (5) Simp.
13) Sa n -Sa (11,12) Conj.
14) --(3x) (Sx n -Px) (9-13) R.A.
15) (3x) (Sx n -Px) (14) DN.
(7) Cfr., supra, p. 113.
247
DaVenes Rosales
248
El meta& de la derivacidn en la ',Vial euantificacional
gjercicio 12 •
251
Diagenes Rosales
1. NOMBRES Y PREDICADOS
La logica de predicados monddicos(1) trata acerca de los termi -
nos que indican propiedades con respecto a individuos. Por ejemplo, el
termino "mortales", tornado como una propiedad que le concierne a
"Socrates", puede ser expresado en la proposician singular "Socrates es
mortal". Pero, si "mortales" es tambien una propiedad de
"hombres", entonces se puede decir "los hombres son mortales", o
tambien afirmar "Socrates y Platon son mortales", y asi sucesiva-
mente. La Altima proposici6n resume el contenido de las proposi-
ciones "Socrates es mortal" y "Platon es mortal", donde la propiedad
ser "mortal" se refiere a un individuo independientemente del otro.
En este sentido, la logica traditional es una 16gica de predicados
monadicos. Pero, cuando las propiedades designan relaciones entre
individuos, entonces dicha propiedad puede ser un predicado diddico,
triddico, tetradico o n-ddico. A esta clase de predicados los deno-
minaremos predicados policidicos. Por ejemplo:
(1) S6crates fue amigo de Platon.
En este caso la propiedad "ser amigo de" esta relacionando a
"S6crates" y "Platon", porque, segan la proposicion, el "ser amigo
de" no es un atributo independiente de "S6crates" ni de "Platon".
Simbolicamente esta expresi6n se puede representar por la siguiente
f6rmula diddica:
Aab
si "ser amigo de = A", "Socrates = a" y "Platon = b". El mismo caso se
presenta en la proposici6n siguiente:
253
Diogenes Rosales
255
Di6genes Rosales
4. IDENTIDAD
El concepto de identidad en sentido 16gico se refiere, especial-
mente en este acapite, a la relacian de igualdad entre individuos.
Ejemplos:
(1) El Huascaran es el nevado mas alto del Peril.
(2) 2 + 3 es igual a 5.
(3) Ciro Alegria fue el autor de El mundo es ancho y ajeno.
En estas proposiciones el verbo "ser" en sus distintas formas
determina la identidad entre el sujeto y el predicado de la oraci6n. Si
usamos el signo "=" como representaci6n de la identidad, nues-
tros ejemplos pueden expresarse de la siguiente manera•
(1) El Huascaran = el nevado mas alto del Peru.
(2) 2+3 = 5
(3) Ciro Alegria = el autor de El mundo es ancho y ajeno.
257
Di6genes Rosales
5. CUANTIFICADORES NUMERICOS
Un cuantificador numeric° es la cuantificacion, universal o
existencial, de un conjunto de individuos en un universo determi-
nado donde los cuantificadores nos perraiten afirmar que dichos
individuos poseen una determinada propiedad o estan en tal rela-
ci6n. Con ayuda del concepto de identidad, a continuacien vamos a
formular legicamente expresiones sobre cuantificadores numeri-
cos.
1. Hay al menos n individuos tales que P.
Esto significa que hay por lo menos "n" individuos tales que
tienen la propiedad "1)", 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 Predicados Po&knew
Simbolicamente se express:
(3x) Px
(2) Hay por lo menos dos individuos que tienen la propiedad P.
Simbalicamente se tiene:
(3x) (3y) (Px A Py .A. 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) (3y) (3z) [Axa n Aya n Aza y) n (x z) n (y z)]
si "Felipe = a", "Axa = x asalt6 a a", "Aya = y asalt6 a a", "Aza = z asalt6
a a". De igual modo podemos construir formulas con mas individuos.
259
Didgenes Rosales
6. DESCRIPCIONES
Una description se refiere a un rasgo caracterfstico que iden-
tifica a un individuo, rasgo que solo le concierne a dicho individuo. En
este caso la description es definida. Por ejemplo:
(1) La capital del Peru.
(2) El autor de El mundo es ancho y ajeno.
(3) El satelite de la Tierra.
En estos ejemplos (1) denota la ciudad de Lima, porque "la
capital del Peru" le concierne tinicamente a la ciudad de Lima, (2) se
refiere a Ciro Alegria porque solo a el le concierne el ser autor de El
mundo es ancho y ajeno; de igual modo, "el satelite de la Tierra" se
refiere a la Luna.
Para representar la description 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", 'Peru = a", "Ax = x es autor", "El mundo es
ancho y ajeno = b", "Sx = x es satelite" y "Tierra = c", entonces cada
uno de los ejemplos citados puede ser simbolizado respectiva-
mente como sigue:
260
Nociones sobre Predicados Poliludicos
t x (Cxa)
Esta formula se lee "el 'x' tal que 'x' es la capital de 'a". Natese que
el simbolo "t x" cierra la formula y hace que sea verdadera. Lo mismo
ocurre en las siguientes formulas:
t x (Axb)
1 x (Sxc)
A continuacian rads 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 formula 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 [1. x (Axa) t x (Axb)]
En esta formula, a diferencia de (4), "b" simboliza a "Diamantes y
Pedernales".
(6)• El autor de El mundo es ancho y ajeno y el autor de
Diamantes y Pedernales vivieron sus altimos dias en la
capital del Peni.
✓ ([t x (Axa) A t x (Axb)] tx (Cxc))
En esta formula, con respecto a (4) y (5), "Cx = x es capital",
"Vivieron sus filtimos dias = V" y "Peru = c". Como se puede ver,
podemos it combinando Elias expresiones y obtener formulas cada vez
mas complejas.
261
Apendice II
CIRCUITOS LOGICOS
1. CIRCUITOS ELECTRICOS
Entre sus multiples aplicaciones, la logica se aplica a la cons-
trucciOn de circuitos lOgicos y, entre ellos, los circuitos electricos"). Para
cualquier f6rmula proposicional podemos construir un circuito electric°,
que resultara mas facil en tanto la formula tenga solo operadores
"A", "v" y/o "-".
Los circuitos electricos estan formados por conmutadores o
interruptores que son los Organs 16gicos que dejan pasar o no dejan
pasar la corriente electrica.
Un interruptor o conmutador sera representado por
/I 0-- . Cuando el interruptor esta cerrado pasa la corriente
elect/rico, que equivale a un dato verdadero (V), pero cuando el
interruptor esta abierto no pasa la corriente electrica, lo que equi-
vale a un dato falso (F).
"V" y "F" son los estados 16gicos de un circuito. Si un circuito esta
cerrado, la corriente pasa y la lampara se enciende, pero si un circuito
electric° esta abierto, la corriente no pasa y la lampara no se enciende.
En el siguiente cuadro podemos apreciar los estados del interruptor y
de la lampara.
V Cerrado Encendida
F Abierto Apagada
263
Diegenes Rosales
--c
Si anadimos a este circuito la bateria y la lampara, entonces el
grafico es como sigue:
ldmpara
baterta
Para que este circuito quede cerrado y la lampara se encienda, "p"
y "q" deben estar cerrados, esto es, "p" y "q" deben ser ver-
daderos a la vez. En otros terminos, es la aplicacion de la tabla de
verdad de la formula "p A q".
ldmpara
baterta
264
Circuitos logicos
4 0—C4
II
LII
265
Didgenes Rosales
266
Circuital logicoa
0- Zq
ir 0-1q
rc-__ 4
6p
//
6 cr —)
L
A continuacidn otro ejemplo:
(3) 1) (p --► q) A (-r -+ -q) .-►. -p v r
2) -(-p v q .A. r v -q) v (-p v r) Imp., DN.
3) (p A -q) v (-r A q) v (-p v r) DM., DN.
267
Diogenes Rosales
4
Zr o C(q
cip
A
'p
Zr
En la formula 4 se puede ver con mayor claridad que la
disytmcion basica es una tautologia, porque en ella aparece el Tercio
Excluido; en consecuencia, tambien en este circuito la lampara es-
tara siempre encendida; lo que indica a su vez que tanto las formu-
las 3 y 4 como sus respectivos circuitos son equivalentes. Siguiendo este
mismo procedimiento podemos representar graficamente el cir-
cuito electric° de cualquier formula proposicional.
2. COMPUERTAS LOGICAS(3)
Las compuertas 16gicas son bloques de circuitos que producen
sefiales de salida de "16gica 1" o "16gica 0" si se satisfacen las con-
diciones de las entradas legicas. "1" y "0" son las sefiales' binarias
268
Circuitos 16gicos
1 1 1
1 0 0
0 1 0
0 0 0
269
Diagenee Rosales
p p Aq
q
La compuerta AND, en este caso, tiene dos entradas, "p" y "q", pero
puede tener mas de dos entradas. En el grafico la imica salida es "p A q"
y representa a la lampara en el disefio de un circuito electric°.
Compuerta OR. La funcion binaria de la compuerta OR corres-
ponde a la formula "p v q" como sigue:
P p vq
p
q
(p A q)vr
r
270
Circuitoa idgicas
-1>
271
Apendice III
SOLUCION DE ALGUNOS EJERCICIOS
Ejercfcio 1
1.2. Si, es una inferencia. Conjunto de premises: "Si se produjeron cambios socialee en Rusia
entonces Rusie tiende al capitalismo" y "Se produjeron cambios sociales en Rusia". Conclu-
sion: "Rusia tiende al capitalismo".
1.3. No ea una inferencia.
2.3. No. 2.6. No. 2.9. Sf. 2.10. Sf. 2.11. No.
2.13. No. 2.15. Sf. 2.18. Si. 2.19. No. 2.20. Sf.
4.3. "Quanclolukazitia 'cuiclak' al ver el precipicio era ya demasiado tank" cont6 Carlos cuando
L, La
regresaron de una excursion.
4.4. "Aristoteles dijo 'lag ciencias tienen rafces muy emerges Dery los frutos son muv dulcee,
escribi6 Kant.
L,
Ejercicio 2
273
Di6gerses Rosales
Ejercicio 3
Ejercicio 4
i v - q)] (q v r)
d) [( r p) A (P
OF V F V F V VF F V C..) F F
La conjunciOn de B y C implica a E.
F V V FV F FV F V F F F F F FV
274
Soluci6n de algunos ejercicios
a) (p q) A ( - r A q) .++. (q v - p) A ( q n - r)
V V V V® V V F V V F V F F OV
V F OF F VF V ,0 F V V V V V VF
A y E son equivalentee.
c) - (p n - q) A r A - r
V V F FV V VF F FV F VF
F V V VF F VF F V® V VF
O
C y D no eon equivalentee.
4. 1. A y E eon equivalentee.
2. B y F eon equivalentee.
3. C y D eon equivalentee.
5.1. Wide 5.2. Invalida 5.3. Wilda 5.4. Invalida 5.5. VAlida
5.6. Wilda 5.7. Valida 5.8. Valida 5.9. Valida 5.10. Wide
5.11. Invalida 5.12. Invalida 5.13. Invalida 5.14. InvAlida 5.15. Valida
Ejercicio 5
1.2. FNC: p v -q v -r v r
1.5. FNC: (p v -q v r v s) A (p v -q v r,v -t)
1.6. FND: q A -p A r A 8
1.9. FND: (q A - A -p A r) v (q A ••••t. A -p A .41)
1.10) FNC:-pvqvkvrvs)A(-pvqvkvrvt)
2.1. p v -p v -q FNC
2.4. (-p v q) A (-q v p) FNC invalida
2.6. -q vpvr FNC invalida
2.7. (-p v -q v s) A (-r v e v -p) FNC invalida
2.9. (a v p) n (s v -p) n ( -r v p) n (-r v -p) (con Expansion) FNC InvAlida
4.2. La economfa peruana seta en crisis = p, Los capitalistas extranjeros invertiran en el Perd
q, Exists un ajuate eetructural en la administracian = r.
1. (p -■ -q) A (-r 4 p) r q
2. -(p -q) v -(-r -■ p) v -r v q Imp., DM.
3. (p A CD V ( -r A -F) v -r v q Imp., DN.
4. -r v q Abs.
Inferencia invalida.
275
Didgenes Rosales
4.4. La exploracidn de Marte es importante = p, Lea areas worm, de Marta eon desconocidas
q, Se obtienen minerales rase = r, Hay eolamente gases toxicce = a, La inyestigaciiin
cientffica explicara el origen del universo = t.
1. [(q v r) p A (3 -p) A •-•(-r v -s).-). q t
2. -[(q v r) ,- v -(s - -p) v (-r v -a) v -q v t Imp., DM., DN.
3. [(q v r) A -p] v (s A p) v (-r v -s) v -q v t Imp., DN.
4. qvrvpv-rv-ev-qvt Abs.
Inferencia valida.
Ejercicio 6
276
Solucidn de algunos ejercicioa
Ejercicio 7
Ejercicio 8
277
Diogenes Rosales
Ejercicio 9
1.14. u 1.16. u
OD,
278
Solucian de algunoa ejercicios
2.6. LiF
LF.$. donde L = die laborable
F = die featly°
2.11. U
2.14. U
OD
-(PU = d) / -(U 1. d)
P U• e/ UP * e
Inferencia invdlida
4.4. D e J -, DJ = 0
N o D -• N Ti • 4,
N o J -• N .1 • o
Inferencia invalida
279
Di6gertes Rosales
donde
4.8. C a T. -4 CL = 0
L calificado
C i CP • • P capes de scepter
-(P e L) PL *40 sus denotes
Inferencia invalida
. -(A a V) -, A V * $
Ejercicio 10
3.3. -Fy --0 (3x) Gx .4. Ha, -(Vx) Hx (3y) (p v Gy) Fb, -p -0 (3y) q .4. Ha A Gb
8.2. Fy A (3x) (-Hx v Gx) 8.6. -(Vx) (Gx Fx) .v. (Vx) Fx A Gy
8.10. (Vx) Fx A Ha .4. (Vx) -Gx v [(3y) Fy A Ha]
En (..1 = (a) es verdadero: 9.1., 9.2., 9.3., 9.5., 9.6., 9.7., 9.9. y 9.10.
En U = (a, b) es verdadero: 9.1., 9.3., 9.5., 9.7., 9.9. y 9.10.
280
Solucion de algunos ejercicios
Ejercicio 11
5.8. 1. (Vx) (Dx -+ Px) A (Vx) (Dx i Ex) (Pa A Da .--t. Ea)
2. (3x) (Dx A -Px) v (3x) (Dx A - E x) v -Pa v -Da v Ea Imp., DM, RIC.
3. (Da A -Pa) v (Da A -Ea) v -Pa v -Da v Ea Rii
4. -Ea v -Da v -Pa v Ea Abs.
Inferencia vAlida.
5.9. 1. (Vx) (Fx,A Mx .-t. Tx) A (Ma A Fa) A (Vx) (Cx Tx -0 Fx) .- ). (Fa A Ca .-). Ta)
2. (3x) (Fx v Mx .A. -Tx) v -Ma v -F's v (3x) (Cx A Tx A -Fx) v -Fa v -Ca v Ta
Imp., DM, RIC,
3. (Fa v Ma .A. -Ta) v -Ma v -Fa v (Ca A Ta A -Fa) v -Fa v -Ca v Ta Rii
4. Fe v Ma v Ta v -Ma v -Fa v -Fa v -Ca Abs.
5. Fa v Ma v Ta v -Ma v -Fa v -Ca Idem.
Inferencia
281
Diogertes Rosales
{1,2,3) 13) (Vx) (q A -Fx) (12) RC, 16) (Vy) Hy (14,15) MPP.
(1,2,3) 14) (Vx) -(q Fx) (13) Imp. 17) (3y) -(-p A Hy) (2 ) RIC,
{1,2,31 15) -(3x) (q Fx) (14) RIC, 18) (3Y) (p v -HY) (17) DM.
19) p v (3y) -Hy (18) RC,
20) -p (13) Simp.
1.6. Fa -4 (N) Gx 21) (3y) -Hy (19,20) SD.
PI)
P,) (Vx) (3y) (Hy Mx) 22) -(Vy) Hy (21) RIC,
P,) -(dx) -Gx (3x) -Mx 23) (Vy) Hy A -(Vy) Hy (16,22) Conj.
P4) (Vy) (Sy "4 Hy) // Fa -4 -(Vx) Sy 24) --(By) (MY -' P) (5-23) RA.
{2) 5) (Vx) (By) (-Hy v Mx) (2) Imp. 25) (3y) (MY -) p) (24) DN.
(2) 6) (3y) -Hy v (Vx) Mx (6) RC,, RC,
{2) 7) -(3y) -Hy -■ (dx) Mx (6) Imp.
1.9. P,) (Vx) -(Vy) (Fa Gx v My)
(31 8) -(3x) -Mx -4 (dx) -Gx
Pi) (p v Fa) -4 (Vy) (Hy -1, My)
(3) Tramp., DN.
P,)
{2} 9) -(3y) -Hy -, -(3x) -Mx (7) RIC, q ~ (Vy) (Hy •-■ -Gy)
P ,) p (3x) Gx // p 44 q
(2,3) 10) -(3y) -Hy (Vx) -Gx
(1) 5) (Vx) (3y) -(Fe Gx v My)
(8,9) SHP.
(1) RIC,
{2,3) 11) -(Vx) -Gx (3y) --Hy
{1} 6) (Vx) (3y) (Fa A -Gx A -My)
(10) Tramp., DN.
(5) Imp., DM.
(2,31 12) (3x) Gx (3y) -Hy (11) RIC,
(1) 7) Fa A (Vx) -Gx A (3y) -My
(1,2,3) 14) Fe -4 (3y) -Hy (1,12) SHP.
(6) RC., RC,
(4) 15) (Vy) Sy 4 (Vy) Hy (4) RDC,
(1) 8) Fa (7) Simp.
(4) 16) (3y) -Hy -(VY) Sy
{1) 9) pv Fa (8) Ad.
(15) Tramp., RIC,
{1,21 10) (Vy) (Hy -■ My) (2,9) MPP.
(1,2,3,4)17) Fa -4 -(Vy) Sy (14,18) SHP.
{1) 11) (3y) -My (7) Simp.
(1) 12) -Mb (11) ECE.
1.8. Por reduction at absurdo {1,2} 13) (Ha -0 Ma) A (Hb iMb)(10) RICI,
(1,2) 14) Hb -■ Mb (13) Simp.
(1,2) 15) -Hb (12,14) MTT.
282
Solucidn de algunos ejercicios
(1) 16) (Vx) -Gx (7) Simp. (1,2,3) 17) Ls (16,16) MPP.
(1) 17) -Ga A -Gb (16) RICI. {1,2,3) 18) (3x) Lx (17) ICE
(1) 18) -Gb (17) Simp. (1,2,3) 19) -(Vx) -Lx (18) RIC.
(1,2) 19) -Hb A -Gb (15,18) Conj.
{1,2} 20) (Hb A Gb) v (-Hb A -Gb)(19) Ad. 2.6. Pa) Fa v p .-0. (Vx) Gx
(1,2) 21) Hb Gb (20) Eq. P.) (3y) My v Hb .-0. (Vx) Sx
{1,2} 22) (3y) (Hy 4-, Gy) (21) ICE P.) (3y) My -0 (3x) (Sx i -Gx)
(1,2) 23) -(Vy) -(Hy 44 Gy) (22) RIC. Hb .-0. Fa -0 (Vy) -My
(1,2) 24) -Clip (Hy -Gy) (23) NEq. — 4) Hb Prem. Ad.
{1,2,3) 25) -q (3,24) MTT. — Fa Prem. Ad.
(1) 26) -(3x) Gx (16) RIC, 6) Fa v p (6) Ad.
(1,4) 27) -P (4,26) MTT. 7) (Vx) Gx (1,8) MPP.
{1,2,3,4}28) -p A -q (26,27) Conj. 8) (3y) My v Hb (4) Ad.
(1,2,3,4)29) (p A q) v (-p A -q) (28) Ad. 9) (Vx) Sx (2,8) MPP.
(1,2,3,4)30) P " 9 (29) Eq. 10) (Vx) Sx A (Vx) Gx (7,9) Conj.
11) (Vx) (Hz A Gx) (10) RDC,
1.13. 131) (3x) Sx -. la 12) -(3x) -(Sx A Gx) (11) RIC,
Pi) (3x) (Gx A Px) 13) -(3x) (Sx -' -Gx) (12) Imp.
Pa)la -0 (Vx) (Gx - ••13X) (V x) .4 X 14) -(3y) MY (3,13) MIT.
(2) 4) -(Vx) -(Gx A Px) (2) RIC. 15) (VY) -My (14) RIC,
(2) 5) -(Vx) (Gx -' -Px) (4) Imp. 16) Fa -0 (Vy) -My (5-15) PC.
(2,3) 6) -la (3,5) MTT. 17) Hb . Fa -0 (Vy) -My (4-16) PC.
(1,2,3) 7) -(3x) Sx (1,6) MTT.
(1,2,3) 8) (Vx) -Sx (7) RIC, 2.9. P,) (Vy) Fy A Ga .-4. (Vx) (Gb A Hx)
Pa -p v (3x) Mx .-0. (Vx) (Vy) (Sx A Fy)
1.16. P,) (Vx) -Fx -0 (Vx) Rx P.) (3x) (Ga Gb Hx Pa)
P.) -(Vx) (Hx Rx) P,) (3x) -Sx v Ga p -0 (3x) Mx .-0.
P.) (3x) Fx •-, (Vx) (Hx (3x) Px
-(Vx) -Lx 6) p -0 (3x) Mx Prem. Ad.
(2) 4) (3x) -(Hx -0 Rx) 6) -p v (3x) Mx (5) Imp.
(2) 6) (3x) (Hx A -Rx) 7) (Vx) (Vy) (Sx A Fy) (2.6) MPP.
(2) 6) (3x) Hx A (3x) -Rx 8) (Vx) Sx A (Vy) Fy (7) RC,
(2) 7) (3x) -Rx 9) (Vx) Sx (8) Simp.
(2) 8) -(Vx) Rx 10) -(3x) -Sx (9) RIC,
{1,2) 9) -(Vx) 11) Ga (4,10) SD.
(1,2) 10) (3x) Fx (9) RIC.,DN. 12) (Vy) Fy (8) Simp.
(3) 11) (3x) Fx (Vx) (IN Lx) .A. 13) (Vy) Fy A Ga (11,12) Conj.
(Vx) (Hx -0 Lx) -0 (3x) Fx (3) Eq. 14) (Vx) (Gb A Hx) (1,13) MPP.
(3) 12) (3x) (Vx) (Hx -0 Lx) (11) Simp. 16) Gb A (Vx) I-Ix (14) RC,
(1,2,3) 13) (Vx) (Hx Lx) (10,12) MPP. 16) Gb (lb) Simp.
(2) 14) (3x) Hx (6) Simp. 17) Ga A Gb (11,16) Conj.
(2) 15) Ha (14) ECE. 18) (Ga A Gb) v (-Ga v -Gb) (17) Ad.
{1,2,3) 16) Ha -. La (13) RICI, 19) Ga Gb (18) Eq.
283
Didgenes Rosales
20) (3x) (-(Ga 4-, Gb) .v. Hx Px] 20) (Vz) Fz (17,19) SD.
(3) Imp. 21) (3y) Hy -■ (Vz) Fz (6-20) PC.
21) -(Ga 4-0 Gb) v (3x) (Hx -■ Px) 22) (Vz) Fz Prem. Ad.
(20) RC, 23) -(Vy) -Ry (1,22) MPP.
22) (3x) (Hx Px) (19,21) SD. 24) (3y) Ry (23) RIC.
23) (3x) (-11x v Px) (22) Imp. 25) (3x) Sx v (3z) Mz .v. (3y) Ry(24) Ad.
24) (3x) -Hx v (3x) Px (23) RDC, 26) (3x) Sx v (3z) Mz v (3y) Ry .-4.
25) (Vx) Hx (16) Simp. (3y) Hy (4) RC,
26) -(3x) -Hx (25) RIC, 27) (3y) Hy (26,26) MPP.
27) (3x) Px (24,26) SD. 28) (Vz) Fz (3y) Hy (22-27) PC.
28) p (3x) Mx (3x) Px (6-27) PC. 29) (3y) Hy 4 (Vz) Fz .A.
(Vz) Fz (3y) Hy (21,28) Conj.
(Vz) Fz -, -(Vy) -Ry 30) (3y) Hy 4-, (V z) Fz (29) Eq.
(3y) Hy .--o. (3x) -Gx 4-, (3x) Sx
(Vx) Gx .-o. (3z) Mz v (Vz) Fz (Vx) [Ix -+ -(Fx v Bx)]
(3x) (3z) (3Y) (Mz v Sx v Ry) --P (3y) Hy (3x) (Cx A Ix)
-(3x) (3z) (-Sx -+ Mz) (Vx) Ex.-'..(Vx) (-Fx .-o. Gx v Bx)
//... (3y) By 4-, (Vz) Fz //... (Vx) Ex: (Gx A -Bx)
6) (3y) By Prem. Ad. 4) (Vx) Ex Prem. Ad.
7) (3x) -Gx .1-, (3x) Sx (2,6) MPP. 6) (Vx) (-Fx Gx v Bx) (3,4) MPP.
8) (Vx) (Vz) -(-Sx Mz) (6) RIC, 6) Ca A Ia (2) ECE.
9) (Vx) (Vz) (-Sx A -Mz) (8) Imp. 7) Ia -(Fa v Ba) (1) RICI,
10) (Vx) -Sx A (Vz) -Mz (9) RC, 8) -Fa Ga v Ba (5) RICI,
11) (Vx) (10) Simp. 9) Ia (6) Simp.
12) -(3x) Sx (11) RIC, 10) -(Fa v Ba) (7,9) MPP.
13) (3x) -Gx (3x) Sx A. 11) -Fa A -Ba (10) DM.
(3x) Sx -■ (3x) -Gx (7) Eq. 12) -Fa (11) Simp.
14) (3x) -Gx -' (3x) Sx (13) Simp. 13) Ga v Ba (8,12) MPP.
15) -(3x) -Gx (12,14) MTT. 14) -Ba (11) Simp.
16) (Vx) Gx (15) RIC. 16) Ga (13,14) SD.
17) (3z) Mz v (Vz) Fz (3,16) MPP. 16) Ga A -Ba (14,15) Conj.
18) (Vz) -Mz (10) Simp. 17) (3x) (Gx A -Bx) (16) ICE.
19) -(3z) Mz (18) RIC, 18) (Vx) Ex - (3x) (Gx A -Bx)(4-17)PC.
284
BMLIOGRAFIA
285
Didgenes Rosales
286
Bibliografia
287
DiOgenes Rosales
288
Introduccion a /a logica presenta de
manera clara y sencilla los temas y
problemas basicos de la logics moder-
na. En su desarrollo, el autor expone en
base a ejemplos, temas de la logica
propositional y de la logica de predi-
cados monddicos. El objetivo es el and-
lisis de validez de inferencias mediante
procedimientos decisorios, y la demos-
tracion de inferencias validas por el
metodo de la deducci6n natural.
Escrito en un estilo fluido y didic-
tico, este libro se propone introducir al
lector de manera gradual y segura al
fascinante mundo de In Logica.
Didgenes Rosales es un profesor de
reconocida experiencia. Sus trabajos e
investigaciones est4in dedicados espe-
cialmente a temas de la Logical y Filo-
sofia de In 16gica. Es profesor de 1,6gica de
la Universidad Nacional Mayor de San
Marcos y de la Pontificia Universi-
dad Cat6lica del Peru.