You are on page 1of 127

ASIGNATURA

Calidad que se acredita internacionalmente


LGICA
(TEXTO UNIVERSITARIO)




































Material publicado con fines de estudio
Distribucin gratuita
Tercera edicin
Huancayo, 2012
MISIN
Somos una universidad privada,
innovadora y comprometida con el
desarrollo del Per, que se dedica a
formar personas competentes, ntegras y
emprendedoras, con visin internacional;
para que se conviertan en ciudadanos
responsables e impulsen el desarrollo de
sus comunidades, impartiendo
experiencias de aprendizaje vivificantes e
inspiradoras; y generando una alta
valoracin mutua entre todos los grupos
de inters.
VISIN
Ser una de las 10 mejores universidades
privadas del Per al ao 2020,
reconocidos por nuestra excelencia
acadmica y vocacin de servicio, lderes
en formacin integral, con perspectiva
global; promoviendo la competitividad
del pas.
3

Asignatura: Finanzas II
Asignatura: Lgica
Pg
3
PRESENTACIN
Pg
3
Lgica es parte de las asignaturas de formacin integral que consolidan
la formacin profesional, humanstica y cientfica; propugnada por la Universidad
Continental de Ciencias e Ingeniera. Siendo el razonamiento el principal medio
del ser humano para construir conocimiento, la presente asignatura se basa en la
idea de tener no slo conocimientos generales sino competencia prctica en la
deduccin formal. Conoce y aplica las nociones bsicas de la lgica clsica, en
la formulacin de proposiciones e inferencias tanto en la Lgica Proposicional
como en la Lgica Cuantificacional; empleando adecuadamente los operadores
lgicos y variables del lenguaje simblico, asumiendo la responsabilidad en el
anlisis y sntesis de la racionalidad con actitud crtica y reflexiva.
El presente material de aprendizaje est compuesto por 3 unidades en
los cuales se han organizado 14 temas. En la Primera Unidad se tratan aspectos
introductorios sobre la Lgica, ubicacin dentro de la Ciencia y aspectos
relacionados a lo cotidiano del uso de las inferencias, argumentos y falacias. En
la Segunda Unidad ingresamos a la Lgica Proposicional, formalizacin de
enunciados, simbolizacin, operaciones realizadas con tablas de verdad y
diagramas semnticos, manejo de las leyes o principios lgicos y demostracin
de inferencias. En la Tercera unidad se trata la Lgica Cuantificacional, donde
se usar la respectiva formalizacin y demostracin de la validez de inferencias,
validez o invalidez de esquemas cuantificacionales.
Los tpicos mencionados estn debidamente fundamentados en base a
los textos de: Introduccin a la Lgica (KATAYAMA OMURA, Roberto, 2003).
Introduccin a la Lgica (TRELLES MONTERO Oscar, ROSALES PAPA,
Diogenes.2000). Introduccin a la Lgica (IRVING M. COPI Y CARL COHEN,
2009). Matemticas Discreta y Combinatoria (P. GRIMALDI, Ralph, 1997)
Agradecemos al Ing. Oscar Navarro Ramos, Ing. Diana Chipana Gago y
al Ing. Tulio Or La Fuente, quienes fueron entes constructores en diferentes
momentos, del presente material de aprendizaje, con sus aportes y sugerencias
han contribuido a mejorar la presente edicin.
LA COORDINACION
4

Asignatura: Finanzas II
Asignatura: Lgica
NDICE
PRESENTACIN
PRIMERA UNIDAD 9
TEMA N 1: LA PROPOSICIN 9
PROPOSICIN LGICA 9
CULES SON PROPOSICIONES? 9
TIPOS DE PROPOSICIONES 10
PROPOSICIONES SUJ ETO Y PREDICADO (S ES P) 10
PROPOSICIONES CON ESQUEMA RELACIONAL (RAB) 11
PROPOSICIONES QUE PERTENENCIA A GRUPOS O CLASES (A EN G) 11
LAS PROPOSICIONES Y LOS NOMBRES 12
PROPOSICIONES ELPTICAS O ABREVIADAS 12
PROPOSICIN ATMICA Y MOLECULAR 13
ACTIVIDADES 14
TEMA N 2: EL LENGUAJ E DE LA LGICA PROPOSICIONAL 17
SMBOLOS PRIMITIVOS: 17
SMBOLOS USUALES 19
NOTACIONES SIMBLICAS 20
SINNIMOS DE LECTURA DE LOS CONECTORES 21
USO DE LOS CONECTORES 21
METAVARIABLES 22
SIGNOS DE AGRUPACIN 22
REGLAS DE FORMACIN 22
FORMULAS BIEN Y MAL FORMADAS (FBF Y FMF) 23
USO DE LOS SIGNOS DE AGRUPACIN 23
ACTIVIDADES 24
TEMA N 3 : FORMULACIN DE INFERENCIAS 27
QU ES FORMALIZAR? 27
FORMALIZACIN DE PROPOSICIONES ATMICAS 27
FORMALIZACIN DE PROPOSICIONES MOLECULARES 28
FORMALIZACIN DE PROPOSICIONES CON CONDICIONAL INVERSO 29
INFERENCIAS COMPLEJ AS 30
ACTIVIDADES 31
5

Asignatura: Finanzas II
Asignatura: Lgica
TEMA N 4: TABLAS DE VERDAD 35
INTRODUCCIN A LAS TABLAS DE VERDAD 35
QU ES UNA TABLA DE VERDAD? 35
CONECTIVAS DOMINANTES Y EL ORDEN DE PRIORIDAD EN LOS ENUNCIADOS
MOLECULARES 36
EJ EMPLO PRIMERO: 37
EJ EMPLO SEGUNDO: 37
LA CONSTRUCCIN DE TABLAS DE VERDAD (1) 38
LA CONSTRUCCIN DE TABLAS DE VERDAD (2) 42
LA NEGACIN 45
LA CONJ UNCIN 46
LA DISYUNCIN 46
DISYUNCIN EXCLUSIVA 47
CONDICIONAL 47
BICONDICIONAL 47
LA DOBLE NEGACIN 48
NEGACIONES MLTIPLES 48
PROPIEDAD CONMUTATIVA DE LA CONJ UNCIN Y LA DISYUNCIN 48
PROPIEDAD ASOCIATIVA 49
CASOS DE DISYUNCIN EXCLUSIVA 50
ARGUMENTO Y CONDICIONAL 50
RECPROCO DEL IMPLICADOR 50
CONTRARRECPROCO DEL IMPLICADOR 51
SIGNIFICADO DE SI Y SOLO SIEN LA BICONDICIONAL 51
TABLAS DE VERDAD CON MLTIPLES VARIABLES 51
ACTIVIDADES 54
TEMA N 5: DIAGRAMAS SEMNTICOS 59
REPRESENTACIN DE LOS VALORES DE VERDAD 59
ANLISIS DE ESQUEMAS MOLECULARES A TRAVS DE DIAGRAMAS
SEMNTICOS 62
ACTIVIDADES 67
SEGUNDA UNIDAD 69
TEMA N 6: LAS LEYES LGICAS 69
LAS EQUIVALENCIAS TAUTOLGICAS O EQUIVALENCIAS LGICAS 69
TABLA DE RESUMEN DE LAS EQUIVALENCIAS TAUTOLGICAS 71
EL CONCEPTO DE TAUTOLOGA 71
TAUTOLOGAS Y TABLAS DE VERDAD 72
EL CONCEPTO DE CONTRADICCIN 72
EJ ERCICIOS DESARROLLADOS 72
ACTIVIDADES 75
6

Asignatura: Finanzas II
Asignatura: Lgica
TEMA N 7: DEDUCCIN NATURAL 79
REGLAS DE INFERENCIA. 79
MTODOS DE DEDUCCIN NATURAL. 82
PRUEBA DIRECTA (PD). 82
PRUEBA CONDICIONAL (PC). 83
PROCEDIMIENTO: 83
PRUEBA POR LA REDUCCIN AL ABSURDO (PRA). 84
PROCEDIMIENTO. 84
ACTIVIDADES 85
TEMA N 8: LGICA CUANTIFICACIONAL (LC) IMPORTANCIA Y
PROPIEDADES CATEGRICAS TPICAS 89
IMPORTANCIA DE LA LGICA CUANTIFICACIONAL 89
PRESENTACIN DEL LENGUAJ E DE LC 89
PROCESO GENRICO DE FORMALIZACIN DE ENUNCIADOS EN LC 91
FORMALIZACIN DE TRMINOS PREDICATIVOS 91
FORMALIZACIN DE CUANTIFICADORES 91
LOS CUATRO ESQUEMAS PROPOSICIONALES BSICOS 92
EL CUADRO BSICO DE OPOSICIN 93
ACTIVIDADES 94
TEMA N 9: PROPIEDADES LGICAS DE LOS CUANTIFICADORES 95
REGLAS DE INTERCAMBIO DE CUANTIFICADORES 95
PRIMERA REGLA 95
SEGUNDA REGLA 95
TERCERA REGLA 96
CUARTA REGLA 96
ALCANCE DE LOS CUANTIFICADORES 97
ESQUEMAS ABIERTOS Y CERRADOS 97
CIERRE DE ESQUEMAS 98
TEMA N 10: MTODOS DECISORIOS 99
REGLAS LGICAS DE INTRODUCCIN Y ELIMINACIN DE CUANTIFICADORES 99
REGLA DE ELIMINACIN DEL UNIVERSAL (EU) 99
REGLA DE INTRODUCCIN DEL UNIVERSAL (IU) 100
REGLA DE ELIMINACIN DEL EXISTENCIAL (EE) 100
REGLA DE INTRODUCCIN DEL EXISTENCIAL (IE) 101
METODO DECISORIO: DERIVACIONES 102
PARA INFERENCIAS CON PROPOSICIONES CATEGRICAS TPICAS 102
PRIMER ANLISIS DE CASO 102
SEGUNDO ANLISIS DE CASO: 103
PARA INFERENCIAS ASILOGSTICAS 104
RESUMEN DE LA ESTRATEGIA DEMOSTRATIVA 105
LA PRUEBA DE INVALIDEZ 106
7

Asignatura: Finanzas II
Asignatura: Lgica
ACTIVIDADES 107
TERCERA UNIDAD 109
TEMA N 11: RELACIONES INTERNAS 109
DEFINICIN 11.1 109
DEFINICIN 11.2 109
DEFINICIN 11.3 109
DEFINICIN 11.4 109
DEFINICIN 11.5 110
DEFINICIN 11.6 110
DEFINICIN 11.7 110
ACTIVIDADES 110
TEMA N 12: ELEMENTOS NOTABLES DE UNA RELACION 112
DEFINICIN 12.1 112
DEFINICIN12.2 112
DEFINICIN 12.3 113
DEFINICIN 12.4 113
DEFINICIN 12.5 113
DEFINICIN 12.6 113
ACTIVIDADES 114
TEMA N 13: INTRODUCCION A LA TEORIA DE GRAFOS 115
DEFINICIN 13.1 115
DEFINICION 13.2 116
DEFINICIN 13.3 116
DEFINICIN 13.4 116
DEFINICION 13.5 117
DEFINICIN 13.6 117
DEFINICION 13.7 117
DEFINICIN 13.8 118
DEFINICION 13.9 118
ACTIVIDADES 119
TEMA N 14: RECORRIDOS Y CIRCUITOS EULERIANOS 121
DEFINICIN 14.1 121
TEOREMA 121
DEFINICIN 14.2 121
DEFINICION 14.3 122
DEFINICIN 14.4 122
DEFINICIN 14.5 122
TEOREMA 122
ACTIVIDADES 123
8

Asignatura: Finanzas II
Asignatura: Lgica
9

Asignatura: Finanzas II
Asignatura: Lgica
PRIMERA UNIDAD
Tema N 1: LA PROPOSICIN
Una proposicin es cualquier enunciado que potencialmente puede
ser verdadero o falso. El lenguaje natural, como se sabe, tiene
funciones directivas, expresivas e informativas, las proposiciones
estn dentro de estas ltimas porque en el lenguaje cientfico, una
proposicin se refiere a un enunciado que puede ser verdadero o
falso, generalmente es el significado de una oracin informativa.
Ejemplo: La ciudad de La Oroya se encuentra contaminada, este
es un enunciado informativo que puede ser falso o verdadero.
Una proposicin es el elemento bsico y fundamental sobre el que
se construye el lenguaje formal de la lgica. La lgica como otras
ciencias es una construccin a partir de componentes elementales.
Aunque existen lgicas polivalentes, en orden a la claridad del
concepto, aqu consideramos nicamente el valor de Verdad o
Falsedad.
Proposicin Lgica
Con la finalidad de tener mejor criterio sobre las proposiciones, se
presentan los siguientes ejemplos para ver si son o no
proposiciones:
Cules son proposiciones?
1. Carlos y J orge son compadres.
2. Me enoja tu comportamiento, eres indolente.
3. Alberto ama a Teresa y ella a Ral.
4. Todos los felinos son carnvoros y tienen excrementos
pestilentes.
5. Quisiera que me prestes el carro que te vend.
6. El mundo es ancho y ajeno es un libro.
7. La distancia entre Lima y Huancayo es 200 Km.
8. Por favor, ajusten sus cinturones, ya estamos a punto de
aterrizar en el aeropuerto.
9. El problema no es que me mientas, el problema es que te
creo.
10

Asignatura: Finanzas II
Asignatura: Lgica
10.No come ni deja comer.
11.Ningn abogado es honesto.
12.Abre todas las ventanas.
En los ejemplos mostrados, los que estn numerados 2, 5, 8 y 12
no son proposiciones, 2 expresa un sentimiento y est en la forma
expresiva, 5, 8 y 12 son rdenes estn en la forma directiva. El
caso 8 tiene una parte que es proposicin: [estamos a punto de
aterrizar en el aeropuerto de Tacna].
Las que son proposiciones pueden ser de varios tipos tal como se
explica en seguida.
No todas las proposiciones tienen las mismas caractersticas, en
esta parte veremos las proposiciones sujeto predicado, con
esquema relacional y los que pertenecen a grupos o clases.
Tipos de proposiciones
Ejemplo: Maximiliano corre
Proposiciones sujeto y predicado (S es P)
Maximiliano, es un sujeto (S), al que se le atribuye un predicado
(P): la accin de correr. Los sujetos son personas, animales o
cosas de quien se describe alguna caracterstica con un predicado.
Las siguientes proposiciones son de este tipo, el lector debe
encontrar el sujeto y el predicado.
Las gallinas tienen plumas
El mundo es ancho y ajeno es un libro.
Huancayo es la ciudad comercial.
Brasil, Rusia, India y China (BRIC) son considerados pases
emergentes.
Los microclimas son parte de la biodiversidad.
El oso polar es blanco
11

Asignatura: Finanzas II
Asignatura: Lgica
Ejemplo: Pepe ama a Mara
Proposiciones con esquema relacional (Rab)
La relacin ama a se encuentra entre dos sujetos, esta relacin
puede ser de un solo sentido cuando Mara no ama a Pepe. En
general el esquema relacional puede tener un solo sentido o dos
sentidos.
Los ejemplos que tienen un solo sentido son los siguientes:
Ernesto es padre de Liliana
Lima es capital del Per
La Luna es un satlite de la Tierra
Los ejemplos que tienen ambos sentidos son los siguientes:
Carlos es primo de J uan
Viky y Lorena son vecinas
Alfredo boxea con Ramiro
Ejemplo: Las ballenas son mamferos
Proposiciones que Pertenencia a Grupos o Clases (A en G)
En este caso las ballenas pertenecen a un grupo mayor que son
los mamferos. Este tipo de proposiciones indican que un sujeto se
encuentra dentro de un conjunto de sujetos similares. Las
siguientes proposiciones corresponden a este tipo:
La vaca es rumiante
Las provincias estn en los departamentos
Los microbios son seres vivos
Los abogados son profesionales
Las faldas son prendas de damas
Los helados son golosinas
Las aves son ovparas
Existen otros tipos de proposiciones que se vern ms adelante.
12

Asignatura: Finanzas II
Asignatura: Lgica
Los nombres propios no son proposiciones, en la proposicin l es
J os (que puede ser verdadero o falso), se indica un nombre. Sin
embargo J os no es proposicin, es un sujeto. Si reemplazamos
J os por J os Faustino Sanchez Carrin sera el mismo sujeto,
tampoco es proposicin.
Lo mismo ocurre si reemplazamos Carlos por Carlos, el Prncipe
de Gales, ambos son sujetos.
Adems, no son proposiciones porque los sujetos no son
proposiciones.
Veamos la siguiente proposicin: El mundo es ancho y ajeno es
un libro.
Aqu el sujeto es el ttulo del libro y esta proposicin corresponde al
tipo de perteneca a grupos en este caso los libros, puede ser
tambin considerado sujeto predicado, ya que el sujeto es el
ttulo y el predicado indica que este sujeto es un libro.
Al analizar la proposicin: Ciro Alegra escribi El mundo es ancho
y ajeno, encontramos que el sujeto es Ciro Alegra y el predicado
es: escribi El mundo es ancho y ajeno.
Las proposiciones y los nombres
Se puede simplificar las proposiciones, de modo que sean ms
cortas y no pierdan su significado, por ejemplo:
En lugar de decir: Est lloviendo, se puede decir: Llueve
En lugar de decir: Va a nevar, se puede decir: Nevar
En lugar de decir: La casa se est incendiando, se puede decir:
Incendio en la casa o simplemente, Incendio o !Incendio!
Todos ellos pueden ser verdaderos o falsos adems se est
informando que algo sucede, por lo tanto son proposiciones.
Ejemplos de simplificacin son los siguientes:
Se tiene la proposicin: El da de ayer que llovi todo el da, como
nunca, se moj mis zapatos preferidos.
Proposiciones elpticas o abreviadas
Una proposicin equivalente y simplificada ser: Ayer llovi y se
moj mis zapatos.
13

Asignatura: Finanzas II
Asignatura: Lgica
Otra proposicin que se quiere simplificar es: Bajo la actual justicia,
demasiado blanda y permisiva, casi diariamente puede uno
enterarse de casos en los que los delincuentes, luego de cumplir
una condena relativamente breve han delinquido de nuevo.
La proposicin equivalente y simplificada ser: En la actual justicia
permisiva, los delincuentes cometen nuevos delitos.
El lector puede simplificar las siguientes proposiciones:
La mayora de los estudiantes universitarios han ingresado a la
universidad por sus aptitudes vocacionales.
Cceres El brujo de los andes quien derrot a los chilenos en las
batallas de Pucar y Marcavalle, es considerado hroe nacional.
Proposicin atmica es cuando se hace referencia a un nico
contenido de verdad o falsedad; vendra a ser equivalente a la
oracin enunciativa simple en la lengua. Ejemplos: llueve, el
suelo est mojado.
Proposicin molecular cuando est constituida por varias
proposiciones atmicas unidas por ciertas partculas llamadas
conectores o conectivas.
Ejemplos: Si llueve, entonces el suelo est mojado.
El no tener hijos es hereditario; si tus padres no tuvieron ninguno,
lo mas probable es que tu tampoco los tengas.
La siguiente afirmacin es correcta: Cuando en una proposicin
interviene un conector es proposicin molecular.
Llueve, es una proposicin atmica, pero No llueve, es una
proposicin molecular porque existe el conector negacin.
Algunos ejemplos que se muestran permiten mejorar los conceptos
de proposiciones atmicas y moleculares:
Proposicin atmica y molecular
1. J uan y Pedro son Psiclogos
2. Llueve y solea
3. Las armas que tiene nuestro ejrcito son muy obsoletas.
4. La contaminacin ambiental incluye tierra, agua y aire.
14

Asignatura: Finanzas II
Asignatura: Lgica
5. La lgica no trata de demostrar la verdad o falsedad de las
proposiciones, otras ciencias son las encargadas de
hacerlo.
6. Si viene alguien, di que no estoy para nadie
7. Corre y dile que venga.
8. Si investigas, te convencers de la verdad.
Solo la proposicin 3 es atmica. El sujeto es las armas que tiene
nuestro ejrcito y el predicado es son muy obsoletas, describe
cmo son las armas.
La proposicin 1 es molecular, hay dos proposiciones atmicas
porque son dos sujetos J uan y Pedro con un mismo predicado
son Psiclogos, se puede decir de modo equivalente: J uan es
Psiclogo y Pedro es Psiclogo. Aqu puede ser tambin que los
sujetos pertenecen al grupo de psiclogos. La proposicin 2 es
molecular porque hay dos proposiciones atmicas. En la
proposicin 4 existen un sujeto relacionado con tres sujetos, es
decir hay tres proposiciones atmicas, la relacin incluye es de un
solo sentido. Puede construirse proposiciones atmicas
equivalentes al ejemplo la contaminacin ambiental incluye tierra,
la contaminacin ambiental incluye agua y la contaminacin
ambiental incluye aire.
ACTIVIDADES
A. Tipos de proposiciones. En los siguientes enunciados,
identifique e indique si las proposiciones son sujeto
predicado (S es P), relacin entre sujetos (Rab) o
pertenencia a grupos (a en G). Considerar tambin que
algunas de ellas no son proposiciones:
1. Algunos mdicos son
incompetentes.
2. Los ornitorrincos son
ovparos.
3. Carlos odia a
Ricardo.
4. Todos los das no
son calurosos.
5. Luca compite en las
15. Las calles son muy
amplias.
16. Los obreros son
impuntuales.
17. Las botellas
contienen agua.
18. Don Pedrito cocina
bailando.
19. Haba un enorme
15

Asignatura: Finanzas II
Asignatura: Lgica
olimpiadas.
6. Los batracios no son
reptiles.
7. Todos los edificios
son muy altos.
8. Debe tener mas
cuidado con la
salud de los dems.
9. Ana Mara y Alberto
son hermanos
10. Este mundo es
maravilloso.
11. Indira es mi mejor
amiga
12. Gustavo es mi
mdico.
13. Todos los ros
estn
contaminados
14. Es importante que
llegues al lugar.
dinosaurio
sumergindose en el
lago.
20. Los filsofos, como
los asnos, son
mamferos
21. El puente se
desplom ayer!
22. EI proyecto fue
exitoso ya que no
hubo retrasos.
23. El paciente no
sobrevivi a la grave
enfermedad.
24. Estamos fritos no
debimos acercarnos
al precipicio.
B. Construya una lista de 5 proposiciones tipo (S es P), 5 tipo
(Rab) y 5 tipo (a en G)
C.Proposiciones atmicas y moleculares. Seale cules de los
enunciados siguientes son proposiciones atmicas (A) y
cuales son moleculares (M)
16

Asignatura: Finanzas II
Asignatura: Lgica
1. EI proyecto fue
exitoso ya que no
hubo retrasos.
2. Napolen fue
derrotado en
Waterloo.
3. Camina, no corre.
4. El mundo es ancho y
ajeno es el ttulo
de un libro.
5. Huancayo es la
ciudad comercial en
el centro de Los
Andes.
6. Brasil, Rusia, India y
China (BRIC) son
considerados
pases emergentes.
7. Perdieron el partido
porque no
entrenaron bien.
8. Perdieron el partido
porque no
entrenaron bien.
9. Hay viento e
inundaciones
10. Los peces son
acuticos puesto
que respiran por sus
branquias.
11. Estamos a punto de
llegar a la meta.
12. La Luna es un
satlite de la Tierra.
17

Asignatura: Finanzas II
Asignatura: Lgica
Tema N 2: EL LENGUAJE DE LA LGICA
PROPOSICIONAL
Al tratar de la lgica, es muy comn utilizar frases como: "Es
lgico", "hablando con lgica", o, "hay que ponerle lgica al
asunto", las mismas que pueden ser objetivamente reemplazadas
por expresiones como: "Es correcto", "hablando con correccin", y
"hay que ponerle cuidado y correccin al tema". Por tanto, la lgica
trata sobre la correccin, y sta se refiere de alguna manera, al
pensamiento. Y es en este sentido que los tratadistas tradicionales
definieron la lgica como la ciencia que ensea a pensar
correctamente.
Pero debemos distinguir entre el pensamiento como facultad y/o
funcin del pensamiento como producto. Pues, cuando utilizamos
el trmino "pensamiento" podemos significar, segn las
circunstancias, la facultad y/o funcin o el producto, lo que equivale
a distinguir entre el pensar y lo pensado. Por tanto, la lgica no
trata sobre le pensamiento como facultad y/o funcin, sino como
resultado de la funcin de pensar, es decir, de lo que generalmente
llamamos en plural: pensamientos.
Consecuentemente, al abordar la lgica proposicional, debemos
reconocer que una proposicin es una cadena de palabras con
sentido completo, calificable de cierta o falsa, as, por ejemplo, en
la proposicin: "Mariano Melgar naci en Arequipa". Si se
mantienen independientes, son proposiciones atmicas; pero si se
relacionan con alguna conjuncin (u otras partculas) el resultado
es una proposicin molecular, por ejemplo, Arequipa y Lima son
ciudades del Per.
Para construir el lenguaje formal de la lgica se utiliza los smbolos
primitivos que son tres tipos:
Smbolos primitivos:
18

Asignatura: Finanzas II
Asignatura: Lgica
Sobre estos tres smbolos primitivos es necesario hacer algunas
aclaraciones:
Las variables proposicionales representan proposiciones atmicas,
es una letra minscula de p a z. En caso de que faltaran letras se
utilizan subndices p1, p2, p3 . o q1, q2, q3 .
Los conectores lgicos sirven para construir proposiciones
moleculares.
Ejemplo: p . q, se lee: p y q
: equivale a negacin, se lee no
.: equivale a conjuncin, se lee y
v: equivale a disyuncin, se lee o
: equivale a condicional, se lee si entonces .
: equivale a bicondicional, se lee si y solo si
Variables proposicionales:
p, q, r
Conectores lgicos:
, ., v, ,
Signos de agrupacin:
( ), [ ], {}
p
1
,p
2
,p
3
.... o q
1
, q
2
, q
3
....
19

Asignatura: Finanzas II
Asignatura: Lgica
Los smbolos se usan bajo una convencin internacional, sin
embargo existe la posibilidad de utilizar otros smbolos como los
que se muestra en el cuadro siguiente:
Smbolos usuales
OPERADOR SMBO
LO
LENGUA
JE
USUAL
EJEMPLO OPERADOR
Negacin , -, ~ No... No llueve ~p
Conjuntor ., ., & ... y ... Llueve y
truena
p.q
Disyuntor
(inclusivo
o dbil)
v ... o ... Estaba
triste o
preocupad
o (o ambas
cosas)
pv q
Disyuntor
(exclusivo
o fuerte)
v, w,
~
o... o ... Iremos al
cine o al
teatro
(pero no a
ambos
lugares)
p v q
Condicionador , ,

Si...
entonces
...
Si llueve
entonces
habr
cosecha
p q
Bicondicionad
or
, ,

... Si y
slo si ...
Habr
cosecha si
y slo si
llueve
p q
~p
p.q
pv q
p v q
20

Asignatura: Finanzas II
Asignatura: Lgica
Binegador
Negacin
conjuntiva
+ Ni ... ni ... Ni trabaja
ni estudia
p + q
~ p . ~ q
Anticonjuntor
Negacin
disyuntiva
No es
cierto
que ... y
...
No o
no
No es
cierto que
Aldo sea
secretario
y sobrino
del juez
p q
~ (p v q)
~ p V ~ q
En la historia hubo reconocidos personajes que de modo
importante contribuyeron al desarrollo de la lgica proposicional,
ellos utilizaron los signos que se muestra en el siguiente cuadro:
Notaciones simblicas
21

Asignatura: Finanzas II
Asignatura: Lgica
Tabla 1. Sistemas de notaciones simblicas
Puede haber varias maneras de leer un mismo signo tal como se
muestra en seguida:
Para l a negacin:
Sinnimos de lectura de los conectores
no no es el caso que no se da que no ocurre que
Para l a conjunci n: .
y adems agregamos tambin pero sin
embargo aunque punto seguido(.) coma (,)
Para l a di syuncin: v
o uno u otro
Para l a condi cional :
si entonces si . . entonces
Para l a bi condi cional :
si y solo si entonces y solo entonces
Existen algunas reglas de uso de los conectores que son los
siguientes:
La negacin siempre antecede a la variable proposicional. Ejemplo:
p, q, r, s, p1, p2, ..... Esto se debe a que niega a
la proposicin.
Los dems conectores siempre van entre dos proposiciones
atmicas. Ejemplo:
p . q, s v t, p1 q2, p q, p3 . q5,
Conector mondico. La negacin afecta a una sola variable es el
caso de la negacin
Uso de los conectores
22

Asignatura: Finanzas II
Asignatura: Lgica
Conector didico. Los otros conectores afectan a dos variables
Anteriormente dijimos que la siguiente afirmacin es correcta:
Cuando en una proposicin interviene un conector es proposicin
molecular, este conector debe ser mondico.
Llueve, es una proposicin atmica, pero No llueve, es una
proposicin molecular porque existe el conector negacin que es
mondico.
Se sabe que las variables pueden ser p, q, r, etc., estos
representan variables atmicas. Cuando las variables estn
conectadas como pq, rvs, qt, etc. pueden ser
reemplazados por letras maysculas como A, B, C, etc.
Los metavariables representan frmulas construidas con variables
proposicionales o proposiciones moleculares. Ejemplo:
Metavariables
A pq B rvs C tw D r.s
Como ya se present, los signos de agrupacin son: ( ), [ ], {},
||.parntesis, corchetes, llaves. Estos signos de agrupacin se
utilizan para establecer las jerarquas en la solucin con conectores
lgicos. Ejemplo: (p .q)
Significa que la negacin abarca a la conjuncin que se encuentra
entre parntesis.
En cambio en la frmula p . q, la negacin solo afecta a la
variable p.
En la frmula p . q, la negacin solo afecta a la variable q.
Signos de agrupacin
1. Toda variable proposicional es una frmula bien formada
(FBF)
Reglas de formacin
2. Si A es una FBF, entonces A tambin lo es.
3. Si A y B son FBF, entonces:
a) A . B tambin los son
b) b) A v B tambin los son
23

Asignatura: Finanzas II
Asignatura: Lgica
c) A B tambin los son
d) A B tambin los son
4. Una frmula es FBF si y solo si es el resultado de la aplicacin
de las reglas anteriores.
Frmulas mal formadas (FMF). Ejemplos:
Formulas bien y mal formadas (FBF y FMF)
1. p q . r v p
2. q p v q
3. p (r . p)
En 1 no existen signos de agrupacin por lo cual no est definido
las jerarquas y no est claro a qu signos abarcan los conectores.
En 2 es caso es similar. En 3 el primer parntesis no esta bien
ubicado, antes del parntesis debera haber un conector, al abrir
parntesis debe seguir un signo proposicional y no un conector.
Frmulas bien formadas (FBF)
1. (p q) (q . r)
2. (q v r) [(p . q) (r s)]
3. {[(p q) . (r s)] . (p v r)} (q v s)
J erarquas de mayor a menor
1. , son de la misma jerarqua
2. ., v son de la misma jerarqua
Cuando son de la misma jerarqua se establece la menor jerarqua
utilizando signos de agrupacin.
Ejemplo: p. (p v r)
Los signos de agrupacin de interno a externo son: ( ), [ ], {},
En lgica proposicional (LP), los signos de agrupacin son
indispensables para asegurar las FBF. Permite apreciar la jerarqua
entre las distintas variables proposicionales as como conectivas
Uso de los signos de agrupacin
24

Asignatura: Finanzas II
Asignatura: Lgica
lgicas. Permite construir el lenguaje simblico de la lgica formal
que se encuentra libre de cualquier tipo de ambigedades.
ACTIVIDADES
A. Conectores. En las siguientes proposiciones, identificar qu
tipo de conectores se est utilizando:
1. Cuando venga Ins
jugaremos ajedrez.
2. Nunca he odo un
sonido como este.
3. Sers universitario si y
solo si apruebas el
examen de admisin.
4. J ams vendr a
consultar lo mismo.
5. Es rebelde porque es
joven.
6.Tu prima es soltera o es
casada.
7.De salir el sol iremos a la
playa.
8.Es herbvoro slo si se
alimenta de plantas.
9.Rosita es inteligente, sin
embargo es floja.
10.Antonio est presente o
ausente.
B. Reglas de formacin, Indicar con FBF o FMF si son frmulas
bien formadas o frmulas mal formadas e indicar por qu.
1. p s
2. [(pvq) . p] q
3. pvq . s t
4. (p.q)w.s
5. {[(pvq).p] q} s
6. [(rvs) . t] (q s)
7. [(pvq) . p] .q
8. pv(q . p) q
9. (p.q) [(pvq) . p]
10.svt[rv(q . p)]
C. Diga si las siguientes proposiciones son conjuntivas,
disyuntivas, negativas, condicionales o bicondicionales
1. La huelga contina,
pues no hay solucin
2. Todos los cuerpos se
atraen con una
fuerza directamente
proporcional al
producto de sus
masas e
inversamente
proporcional al
cuadrado de la
distancia que los
8. No come, ni deja comer
9. Si se calienta un cuerpo,
entonces se dilata; y si se
enfra, entonces se
contrae.
10.El abuelo y la abuelita
obsequiaron una mueca
a su nieta.
11.Cuando apruebe el
examen de admisin
ingresar a la universidad
25

Asignatura: Finanzas II
Asignatura: Lgica
separa.
3. David no es loretano ni
es limeo
4. Gloria e Irene son de
la misma ciudad
5. Si consigo una beca,
entonces y solo
entonces viajar al
extranjero.
6. Rosario es muy
inteligente, sin
embargo es floja.
7. El lago se seca cuando
hace mucho sol.
12.Nos vamos en avin o en
tren rpido
13.Las estrellas nacen y
viven, pero tambin
mueren
14.Todos los que vuelan son
pjaros, pero el avin no
lo es.
15.La ciudad crece porque
hay migracin.
D. Identifique los conectores en los siguientes ejemplos:
1. Si ves al cometa Halley,
tendrs una inolvidable
experiencia.
2. La filosofa se entiende si y
slo si tiene una mente
crtica.
3. Pedro es callado, pero
inteligente.
4. Los ejercicios de lgica
facilitan su aprendizaje.
5. Si no pagan hoy viernes,
tendremos un mal fin de
semana.
6. Scrates es un filsofo
griego.
7. Scrates fue maestro de
Platn.
8. Platn fue maestro de
Aristteles y de Alcibiades.
9. Si estudias pasarn en el
21. Se hubiera impedido el
asalto al banco si la alarma
hubiera sonado
oportunamente.
22. Tendremos muchas flores en
el jardn, si la estacin es
propicia y las semillas no
estn malogradas.
23. Ral no trabaja en la
empresa, sin embargo visita
la empresa todos los das y
se rene con los
trabajadores.
24. O Carlos es matemtico y
profesor universitario, o es
empresario y dueo de una
editorial.
25. Los filsofos, como los
asnos, son mamferos.
26. Los fines que son a la vez
deberes son la propia
26

Asignatura: Finanzas II
Asignatura: Lgica
examen.
10. De la verdad de Todos los
hombres son mortales se
deriva la verdad de
Algunos hombres son
mortales.
11. El Huascarn est en la
Cordillera Blanca de la
regin Chavn.
12. Anbal cruz los Alpes y
Csar pas el Rubicn.
13. Coln descubri Amrica el
12 de octubre de 1492.
14. El conocimiento emprico
no es abstracto.
15. El Per, o exporta trigo o
exporta arroz.
16. Si el cielo est nublado
entonces el avin no
despegar del aeropuerto.
17. En el imperio de los incas,
la llama era usada como
animal de carga.
18. Un nmero es positivo si es
mayor que cero.
19. No es el caso que Brasil o
Mjico pertenezcan al
Pacto Andino.
20. Ni Ecuador ni Bolivia son
productores de algodn.
perfeccin y la felicidad
ajena.
27. El mundo es la totalidad de
los hechos, no de las cosas.
28. No hay un camino hacia la
paz, la paz es el camino.
29. Una gran filosofa no es la
que instala una verdad
definitiva, es la que produce
una inquietud
30. Isabel y Oscar son primos.
31. J os es vecino de Carlos.
32. Mafalda toma sopa o helado.
33. Sal y Pimienta son
hermanos.
34. Los marineros besan y se
van.
35. El principito no poda
comprender a la gente
adulta.
36. Si los hombres son mortales
entonces la especie est en
extincin.
37. Cuba es potencia en deporte
tambin China
38. La manzana es rica tambin
la papaya.
39. J ugaste luego llegaras a
dormir.
40. Me voy de vacaciones cada
vez que solicito permiso.
.
27

Asignatura: Finanzas II
Asignatura: Lgica
Tema N 3: FORMULACIN DE INFERENCIAS
Formalizar es pasar las proposiciones del lenguaje natural al
lenguaje formal. Formalizar es reemplazar una proposicin
mediante smbolos de la lgica formal.
La proposicin expresada en lenguaje natural, se transfiere al
lenguaje de la lgica formal, esta ltima es conocida tambin como
lgica simblica.
El razonamiento expresado en nuestro lenguaje natural puede
convertirse en razonamiento de la lgica formal, esto facilita la
verificacin o comprobacin y el anlisis de nuestro razonamiento
mediante las inferencias de la lgica formal.
Qu es formalizar?
Fig. 1. Formalizacin
Es colocar una variable proposicional a cada proposicin
expresada en lenguaje natural.
Formalizacin de proposiciones atmicas
Fig. 2. Formalizacin de proposiciones atmicas
La primera variable que se asigna es 'p', esto es en el caso de
tener nicamente una proposicin que se quiere formalizar.
En caso de que son varias proposiciones cada uno tendr su
variable proposicional. Ejemplo:
Lenguaje natural
(lgica natural)
Lenguaje Formal
(lgica cientca)
Proposicin atmica en
lenguanje natural
p, q, r,
s, t, etc.
28

Asignatura: Finanzas II
Asignatura: Lgica
Hoy llueve p
Tengo 5 hijos q
Estamos de noche r
El derecho es una ciencia s
Los psiclogos estudian la depresin w
Los ingenieros realizan construcciones t
Incendio x
Iniciaremos con el siguiente ejemplo: Pedro es contador y J ulin es
administrador
Al identificar las proposiciones tenemos: Pedro es contador y J ulin
es administrador
Al asignar variables proposicionales a cada una de las
proposiciones tenemos:
Formalizacin de proposiciones moleculares
Pedro es contador y J ulin es administrador
p q
Luego identificamos la conectiva proposicional y obtenemos:
Pedro es contador y J ulin es administrador
p y q
Finalmente, al formalizar la conectiva proposicional obtenemos:
Pedro es contador y J ulin es administrador
Primer paso: Identificar cada una de las proposiciones que
componen el enunciado.
p . q
Por lo cual podemos decir que esta proposicin molecular equivale
al siguiente esquema formal: p . q
Proceso de formalizacin de proposiciones moleculares
Se deber seguir las siguientes reglas:
Segundo paso: Asignar a cada una de las proposiciones una
variable proposicional empezando por la letra 'p'.
29

Asignatura: Finanzas II
Asignatura: Lgica
Tercer paso: Identificar cada una de las conectivas
proposicionales.
Cuarto paso: Asignar a cada una de las conectivas
proposicionales su smbolo respectivo.
Uno de los temas que causa mayor problema es simbolizar el
conector condicional, especialmente para aquellos que recin se
inician en esta actividad.
El condicional tiene la formulacin "Si A, entonces B". Se simboliza
como A B. Esto nos indica que, si se da A, se deber de dar B.
Pero tambin puede expresarse de otra forma: B es causado por A.
Cuando expresamos en lenguaje natural se puede decir, que se dio
A porque se dio B.
Ejemplo: Arranc el carro porque tena combustible
Esto, podemos expresar como: A porque B. Al simbolizar, podra
ser: AB. Pero esta expresin est invertida. Lo correcto es: BA
Otro ejemplo de condicional inverso:
"El descontento de los trabajadores se debe a que hubo una mala
administracin de los recursos humanos"
Aplicando la primera regla tenemos:
"
Formalizacin de proposiciones con condicional inverso
El descontento de los trabajadores se debe a que hubo una mala
administracin de los recursos humanos"
Aplicando las otras reglas tenemos:
"El descontento de los trabajadores se debe a que hubo una mala
administracin de los recursos humanos
q p
"
p q
Lo cual nos llevara a creer que el esquema de LP sera: p q
Sin embargo esto es errneo ya que el descontento de los
trabajadores no fue la causa de la mala administracin de los
recursos humanos, sino a la inversa; la mala administracin de los
recursos humanos ha sido la causa del descontento de los
trabajadores. Por ello la simbolizacin exacta es ms bien:
30

Asignatura: Finanzas II
Asignatura: Lgica
Se pueden presentar no solo dos proposiciones, si no varias como
en el siguiente caso:
Si llueve, habr humedad. No hay humedad. Entonces no llovi.
Aplicando la primera regla (identificacin de proposiciones)
tenemos:
Si
Inferencias complejas
llueve, habr humedad. No hay humedad. Entonces no llovi.
Aplicando la segunda regla (asignacin de variables
proposicionales a cada proposicin) tenemos:
Si llueve, habr humedad. No hay humedad. Entonces no llovi.
p q q p
Aplicando la tercera regla (identificar cada una de las conectivas
proposicionales):
Si llueve, habr humedad. No hay humedad. Entonces no llovi.
p q q p
Aplicando la cuarta regla (formalizacin de las conectivas
proposicionales). Esto equivale a:
Si llueve, habr humedad y No hay humedad. Entonces no llovi
Pues la respuesta es que se deriva de la conjuncin de ambos. Es
decir la causa es:
.
p q . q p
Representando esta inferencia en lenguaje de LP tendramos:
p q . p q
Al hacer un mejor anlisis observamos que "Si llueve, habr
humedad" se puede reconocer que hay una condicional (p q) y
que es un primer enunciado, luego del cual va un punto seguido, y
hemos ya establecido que el punto seguido indica conjuncin, al
unir con el enunciado No hay humedad" se tendr:
(p q) . q
La expresin que sigue es: "Entonces no llovi" que hemos
simbolizado con 'p'. Para ver la consecuencia de la falta de
humedad nos preguntamos, se deriva nicamente del enunciado
"No llovi" o de la conjuncin de los enunciados "Si llueve, habr
humedad" y "No llovi"?
31

Asignatura: Finanzas II
Asignatura: Lgica
[(p q) . q].
As, es necesario agrupar ambos enunciados y luego, como un
todo nico, conectarlos con 'p'
[(p q) . q] p
ACTIVIDADES
A. Ejercicios resueltos. Formalizar las siguientes proposiciones:
1. Francisco es mi mejor amigo y J anet mi mejor amiga.
Adems, sus respectivos padres son amigos de los mos.
Francisco es mi mejor amigo y J anet mi mejor amiga p . q
Los padres de Francisco son amigos de mis padres r
Los padres de J anet son amigos de mis padres s
El resultado es: (p . q) . (r . s)
2. Ni Vilma, ni Anglica, ni Silvia ingresaron la Universidad.
Vilma no ingres a la Universidad p
Anglica no ingres a la Universidad q
Silvia no ingres a la Universidad r
El resultado es: p . q . r
3. El paciente falleci debido a que no recibi la atencin
necesaria.
El paciente falleci p
no recibi la atencin necesaria q
Aparentemente el resultado es: p q
Pero el resultado correcto es: q p
4. Si Csar es guitarrista, entonces es msico. No es el caso
que Csar sea msico. Luego, Cesar no es guitarrista.
Si Csar es guitarrista, entonces es msico p q
No es el caso que Csar sea msico q
Conclusin: Cesar no es guitarrista p
32

Asignatura: Finanzas II
Asignatura: Lgica
El resultado es: [(p q) . q] p
5. Ral viajar a Ro de J aneiro, puesto que obtuvo la beca y
habla correctamente el portugus.
Reformulando se tiene:
Si Ral obtuvo la beca y habla correctamente el portugus,
entonces viajar a Ro de J aneiro.
Premisa: Ral obtuvo la beca y habla correctamente el
portugus p . q
Conclusin: Ral viajar a Ro de J aneiro v
Resultado: (p . q ) v
6. Si llueve, habr humedad. Si sale el sol, habr calor. Llover
o saldr el sol. Entonces; habr humedad o habr calor.
Las premisas son:
Si llueve habr humedad p q
Si sale el sol habr calor r s
Llover o saldr el sol p v r
La conclusin es:
Habr humedad o habr calor q v s
El resultado es: [(pq).(rs).(pvr)] (qvs)
7. Sin carbono, oxgeno, nitrgeno e hidrgeno no hay vida. En
consecuencia, hay carbono o hay oxgeno o hay nitrgeno o
hay hidrgeno, si hay vida.
Sin carbono p Sin oxgeno q Sin nitrgeno s
Sin hidrgeno t
No hay vida v
Premisa: Sin carbono, oxgeno, nitrgeno e hidrgeno no
hay vida
(p . q . s . t) v
Conclusin: Hay carbono o hay oxgeno o hay nitrgeno o
hay hidrgeno, si hay vida (p v q v s v t) v
33

Asignatura: Finanzas II
Asignatura: Lgica
Resp: [(p . q . s . t) v] [(p v q v s v t) v]
8. Ejercicios para resolver
1. A nadie quiso escribir, ni a sus ms ntimos amigos.
2. Aunque est enfermo, no faltar a la reunin.
3. No como ni duermo.
4. Vino el ingeniero y subi a la torre de comunicaciones.
5. Tom el avin porque compr el pasaje que estaba en
oferta.
6. Si Carlos estudia y obtiene buenas calificaciones,
entonces lo premiarn con una beca.
7. Gaby est hospitalizada debido a que tiene bulimia y
anorexia.
8. La vida est en serios riesgos a causa de que
actualmente se est contaminando el agua, el aire o la
tierra.
9. Si Cceres manda atacar a los chilenos, la artillera har
fuego y la caballera pasar a la retaguardia. En caso de que
mande atacar a los chilenos, la infantera deber abrir fuego.
Luego, si la caballera no pasa a la retaguardia, la infantera
abrir fuego o atacar con sables.
10.Si el testigo dice la verdad entonces el asesino hizo tres
disparos. Adems el revlver tena cinco balas. Si el revlver
tena cinco balas, el asesino hizo slo un disparo y no tres.
Entonces, el testigo no ha dicho la verdad.
11.Carlos recibe cursos a distancia pero si viaja a Lima entonces
estudiar en la universidad o en un instituto tcnico
12.No es el caso de que. Si no hace fro y el sol salga, nevar
13.Si el jugador va al estadio entonces no es el caso de que, no
juegue y este en la banca
14.Vas a la conferencia. Si no tienes auto, irs en taxi.
15.Si no es el caso que, no juegas ajedrez y comes cancha;
saldrs a la fiesta
16.teniendo en cuenta que las proposiciones son:
34

Asignatura: Finanzas II
Asignatura: Lgica
17.Un nmero es divisible por 2 si termina en cero o en cifra par.
Un nmero es divisible por 5 si termina en cero o en 5. Por
consiguiente, un nmero es divisible por 2 si no termina en 5
18.Si no apruebas o no resuelves este problema, entonces es
falso que, hayas estudiado o domines la deduccin lgica.
Aunque es falso que resuelvas este problema y no hayas
estudiado.
35

Asignatura: Finanzas II
Asignatura: Lgica
Tema N 4: TABLAS DE VERDAD
Ya hemos sugerido en apartados anteriores que algunos enunciados
son equivalentes a otros.
Por ejemplo, hemos hablado de la equivalencia del enunciado (pvq)vr y
pv(qvr), hecho al que denominbamos propiedad asociativa de la
disyuncin. Pues bien, en este apartado referido a las tablas de verdad,
estableceremos de una forma ms precisa qu queremos decir al hablar
de equivalencia lgica, y tambin estudiaremos cierto tipo de
enunciados que pueden ser o bien "auto-evidentes" (tautologas) o bien
"evidentemente falsos" (contradicciones).
Introduccin a l as tabl as de verdad
Ya hemos tenido una aproximacin intuitiva al concepto de tabla de
verdad. Digamos ahora, ms explcitamente que una tabla de verdad es
el resultado de aplicar un procedimiento que utilizamos para calcular
todos los posibles valores de verdad de un enunciado molecular.
Recordemos un caso conocido: la tabla de verdad de la negacin. En
este caso, la tabla de verdad es. Fijmonos en los elementos de la tabla
de verdad
Qu es una tabl a de verdad?
p p
V F
F V
Wittgenstein denominaba "estados de cosas" a cada una de las posibles
combinaciones de verdad o falsedad para un enunciado (en este caso
atmico). Otros autores hablan de "interpretaciones" para cada una de
estas posibles combinaciones de verdad o falsedad para un enunciado.
Veamos ahora qu sucede con los enunciados moleculares...
Analicemos ahora el caso de la tabla de verdad de la conjuncin.
Primero, los elementos de esta tabla de verdad:
- En las dos primeras columnas aparecen todas las posibles
combinaciones de valores de verdad de los enunciados p y q (p
36

Asignatura: Finanzas II
Asignatura: Lgica
verdadero y q verdadero, p verdadero y q falso, p falso y q
verdadero, y, por ltimo, p falso y q falso). Estos son todos los
posibles "estados de cosas" o "interpretaciones".
- En la columna tercera aparecen los valores de verdad de la
conjuncin de p y q para todas las posibles combinaciones de
valores de verdad de p y de q. As, la primera fila muestra el valor
de p.q en caso de que p sea verdadero y q sea tambin
verdadero, la segunda fila muestra el valor de p.q en caso de
que p sea verdadero y q falso, etc.
p q p.q
V V V
V F F
F V F
F F F
Por lo tanto, podemos concluir que una tabla de verdad de un enunciado
(molecular) muestra el valor de verdad de dicho enunciado para todas
las posibles combinaciones de los valores de verdad de las
proposiciones que lo componen, o de manera ms breve, una tabla de
verdad de un enunciado muestra el valor de verdad de dicho enunciado
para todas sus interpretaciones.
Teniendo en cuenta que los enunciados moleculares se componen de
enunciados atmicos, comenzaremos estableciendo el principio de que
el valor de verdad de un enunciado (molecular) equivale al valor de
verdad de la conectiva dominante.
En este punto, la pregunta clave es cmo podemos saber, dado un
enunciado molecular, cual es la conectiva dominante? Pues bien, para
ello debemos fijarnos en el orden de prioridad que hay entre las
conectivas de los enunciados moleculares. Y esto lo aprenderemos en la
siguiente seccin.
37

Asignatura: Finanzas II
Asignatura: Lgica
Para saber cul debe ser el orden de prioridad entre las conectivas que
ya conocemos (negacin, conjuncin y disyuncin), hay que fijarse en
los parntesis. La regla bsica a seguir es la siguiente: es preciso
calcular primero el valor de verdad de las expresiones que estn entre
los parntesis (y que son ms concretas), y posteriormente, las
relaciones que hay entre las conectivas que unen dichas expresiones.
Cuando un parntesis contiene otros parntesis, entonces se calculan
primero los parntesis ms concretos (ms "interiores").
Veamos algunos casos prcticos para ilustrar la determinacin de la
conectiva dominante en los enunciados moleculares:
Respondamos a dos cuestiones: (a) Qu orden hay que seguir para
calcular el valor de verdad del siguiente enunciado: (pvq)?, y (b) cul
es la conectiva dominante?
Es un caso sencillo. (a) El orden que hay que seguir para calcular el
valor de verdad de la proposicin molecular (pvq) es el siguiente:
Ejemplo primero:
- Primero se calcula el valor de verdad de la disyuncin (pvq)
- En segundo lugar se aplica la definicin de la negacin a dicha
disyuncin (es decir, se invierte el valor de verdad de la
disyuncin): (pvq).
En la siguiente tabla aparece esquematizado el orden que hay que
seguir para calcular el orden de verdad de la expresin (los nmeros en
rojo indican el orden a seguir):
(b) La conectiva dominante es la negacin (el nmero ms alto)
(Recuerda que es til saber esto porque el valor de verdad de un
enunciado viene determinado por el valor de verdad de la conectiva
dominante en dicho enunciado.)
Conectivas dominantes y el orden de prioridad en los
enunciados mol ecul ares
38

Asignatura: Finanzas II
Asignatura: Lgica
Averigemos (a) Qu orden hay que seguir para calcular el valor de
verdad del enunciado: ((p.q)vr) . p? y (b) cul es la conectiva
dominante?
a) En este caso, el orden de prioridad para calcular el valor de
verdad de la expresin ((p.q)vr) . p es el siguiente (las cifras
en rojo indican el orden a seguir). Observa que en este
ejemplo:
- Primero se calcula el valor de verdad de la conjuncin (p.q),
que es el parntesis ms "interior", tomando en cuenta los
valores de p y de q.
- En segundo lugar, se calcula tanto la disyuncin (tomando
en cuenta los valores de 1 y de r) como la negacin
(tomando en cuenta el valor de p), que estn en un nivel
similar en la jerarqua.
- Por ltimo se calcula el valor de verdad de la conjuncin de
los resultados de las operaciones 2
b) El conector dominante es la segunda conjuncin (el nmero 3).
Por lo tanto, el valor de verdad de la expresin objeto de
estudio, viene dada por el conjuntor 3.
Es hora de practicar lo aprendido sobre dominancia de conectivas con la
prctica de la siguiente seccin.
Despus de esta prctica, veamos en la siguiente seccin cmo aplicar
estos conocimientos a la construccin de tablas de verdad para
enunciados con un cierto grado de complejidad.
Comencemos con el ejemplo de la tabla de verdad del siguiente
enunciado: (pvq).
Como paso previo, observa bien el anunciado:
La construccin de tabl as de verdad (1)
- En este enunciado hay dos conectores: la negacin y la
disyuncin v de las que hay que tener presentes sus
respectivas tablas de verdad.
Ejemplo segundo:
39

Asignatura: Finanzas II
Asignatura: Lgica
- En el enunciado hay tambin dos enunciados atmicos, que
son las proposiciones p y q.
- Observa las relaciones de prioridad que hay entre los
conectores: el conector dominante es la negacin, que afecta a
todo lo que hay entre parntesis. Por lo tanto, hay que calcular
primero el valor de verdad del contenido del parntesis (pvq) y
posteriormente, calcular el valor de verdad de (pvq).
El primer paso consiste en poner los enunciados atmicos presentes en
el enunciado del que queremos calcular su tabla de verdad en tantas
columnas como enunciados atmicos tengamos. Como debe haber
tantas columnas como enunciados atmicos tengamos, en este caso
tenemos 2 columnas (una para el enunciado p y otra para el enunciado
q):
En las celdillas de dicha tabla hay que ubicar todas las combinaciones
posibles de verdad o falsedad para los enunciados que contenga el
enunciado objeto de estudio.
p Q
V V
V F
F V
F F
Hay un algoritmo que permite enumerar fcilmente todas las
combinaciones de verdad o falsedad de dos o ms enunciados:
a. En la primera columna contando desde la derecha se pone, de
arriba hacia abajo, en las celdillas Vs y Fs de modo alternado.
b. En la columna siguiente, siempre de arriba hacia abajo, se pone
en dos celdillas las Vs, luego en los dos siguientes las Fs, es
decir de modo alternado de dos en dos.
c. En la columna siguiente, si la hubiere, se pondra de cuatro en
cuatro y as sucesivamente.
40

Asignatura: Finanzas II
Asignatura: Lgica
Para dos variables Para tres variables
p q P q r
V V V V V
V F V V F
F V V F V
F F V F F
F V V
F V F
F F V
F F F
Llamamos atribuciones veritativas a todas las combinaciones de
verdad y falsedad de las proposiciones atmicas de una frmula.
El nmero de estas atribuciones veritativas aumenta rpidamente a
medida que se incrementa el nmero de proposiciones de la frmula.
Para n proposiciones, la frmula 2
n
nos da el nmero de estas
atribuciones veritativas. As:
- Para dos proposiciones: 2
n
=2
2
=22=4
- Para tres proposiciones: 2
n
=2
3
=222=8
- Para tres proposiciones: 2
n
=2
4
=2222=16 etc.
A continuacin hay que poner tantas columnas como conectores que
unan enunciados atmicos. [En nuestro ejemplo tenemos dos
conectores ( y v), por lo que aadimos dos nuevas columnas.]
41

Asignatura: Finanzas II
Asignatura: Lgica
p q
V F
V F
F V
F F
- En cuarto lugar, se pone, encabezando cada columna, los
enunciados atmicos, siguiendo el orden de dominancia de las
conectivas. Primero se ponen los enunciados ms concretos
(los parntesis), y por ltimo las ms generales:
p q (pvq) (pvq)
V F
V F
F V
F F
- A continuacin se procede a determinar el valor de verdad de
cada celdilla, una tras otra. Hay que tener en cuenta la
definicin de cada conector involucrado en la columna
correspondiente, y los valores de V o F que corresponden a
cada fila.
- Fjate que la tercera columna es exactamente igual a la tabla de
verdad que mencionbamos cuando definimos la disyuncin, y
que la cuarta columna muestra los valores de verdad opuestos
a los de la tercera columna (de acuerdo con la definicin de la
negacin).
42

Asignatura: Finanzas II
Asignatura: Lgica
p q (pvq) (pvq)
V F V F
V F V F
F V V F
F F F V
- Hay una forma equivalente muy similar de representar el mismo
proceso que hemos explicado, y consiste en aadir una sola
columna con el enunciado (pvq) completo. A continuacin se
va poniendo debajo de cada conectiva el valor de verdad que le
corresponda, respetando el orden de prioridad que marquen los
parntesis, veamos:
p q (pvq)
V F F V
V F F V
F V F V
F F V F
- Los valores de verdad del enunciado (pvq) son los de su
conectiva dominante, que en este caso es la negacin, y que
aparecen en la columna con las Vs y Fs rojas.
- Recomendamos este segundo mtodo slo cuando ya se haya
cogido soltura con el explicado en primer lugar.
Veamos un ejemplo un poco ms complejo. Calculemos la tabla de
verdad del siguiente enunciado: (pvq).p. Determinamos la conectiva
dominante, que en este caso es la conjuncin, ya que se comenzara
con el enunciado de dentro del parntesis (una disyuncin). Aqu
tenemos la tabla de dominancia de las conectivas:
La construccin de tabl as de verdad (2)
43

Asignatura: Finanzas II
Asignatura: Lgica
Como enunciados atmicos tengamos:
p q
V V
V F
F V
F F
A continuacin ponemos todas las posibles combinaciones de verdad y
falsedad para p y q:
p q
V F
V F
F V
F F
Seguimos aadiendo tantas columnas como enunciados atmicos tenga
el enunciado objeto de estudio (en este caso, dos: uno para (pvq) y otro
para (pvq) .p.
44

Asignatura: Finanzas II
Asignatura: Lgica
p Q
V F
V F
F V
F F
Seguimos aadiendo los enunciados siguiendo el orden de dominancia
de las conectivas sealado al principio de esta pgina:
p q (pvq) (pvq) .p
V F
V F
F V
F F
El orden de las conectivas, en este caso es el siguiente:
Por ltimo, procedemos a averiguar el valor de verdad de cada una de
las celdillas de la tabla que hemos construido, teniendo en cuenta las
definiciones, ya conocidas, de los conectores involucrados.
45

Asignatura: Finanzas II
Asignatura: Lgica
p q (pvq) (pvq) .p
V V V V
V F V V
F V V F
F F F F
La tercera columna es exactamente igual a la tabla de verdad de la
definicin del disyuntor. La ltima columna, que es la que determina el
valor de verdad de (pvq).p por ser la dominante, la determinamos
aplicando la definicin del conjuntor a la columna tercera y a la primera.
1. La primera celdilla de la cuarta columna es V porque pvq es V
(columna 3, fila 1) y p es V (columna 1, fila 1), y de acuerdo con
la definicin de la conjuncin (su tabla de verdad), si ambos
trminos son V, entonces la conjuncin es V.
2. La segunda celdilla de la cuarta columna es V por el mismo
motivo.
3. La tercera celdilla de la cuarta columna es F porque pvq es V
(columna 3, fila 3) pero p es F (columna 1, fila 2), y segn la
definicin de la conjuncin, si un trmino es V y el otro F,
entonces la conjuncin es F.
4. La cuarta celdilla de la cuarta columna es F porque pvq es F
(columna 4, fila 4) y p tambin es F (columna 1, fila 4), y segn
la definicin de la conjuncin, si los dos trminos de la
conjuncin son F, su conjuncin es F.
Las tablas de verdad permiten resolver una serie de problemas que se
vern ms adelante, las tablas de verdad son herramientas de la lgica
que se construyen para cada uno de los conectores y las combinaciones
de estos. Veremos primero las tablas de verdad para cada uno de los
conectores.
Toda proposicin puede ser negada y su valor de verdad ser
simplemente lo contrario.
La negacin
46

Asignatura: Finanzas II
Asignatura: Lgica
Lo importante de la
negacin es que si p es
verdadero, entonces p es
falso, y viceversa. Esto se
puede resumir en la tabla de
verdad de la negacin:
p p
V F
F V
La conjuncin une dos o
ms proposiciones, el
enunciado p . q se lee
"p y q". Su valor de
verdad queda definido
por la siguiente tabla de
verdad. Solo cuando
ambas proposiciones
son verdaderas la
conjuncin de ambas es
verdadera, en los dems
casos es falso.
La conjuncin
p q p.q
V V V
V F F
F V F
F F F
La disyuncin enlaza
dos o ms
proposiciones. Si se
tiene p y q, el enunciado
p v q se lee "p o q". Su
valor de verdad viene
dado por la siguiente
tabla de verdad, en este
caso, solo cuando
ambas proposiciones
son falsas el resultado
es falso, en los dems
casos es verdadero.
La disyuncin
p q pvq
V V V
V F V
F V V
F F F
47

Asignatura: Finanzas II
Asignatura: Lgica
Se presenta cuando
ninguno de los dos p y q
se pueden presentar
simultneamente.
Si ambas son verdaderas
o si ambas son falsas, la
disyuncin exclusiva es
falsa.
Para esto, utilizamos el
smbolo "v" o el smbolo
"w":
Disyuncin exclusiva
p q pvq
V V F
V F V
F V V
F F F
El condicional pq se
lee "p implica q" o bien
"si p, entonces q". Un
condicional siempre es
verdadero, excepto
cuando el antecedente
es verdadero y el
consecuente falso.
Condicional
p q pq
V V V
V F F
F V V
F F V
Hemos comprobado que
pq no es lo mismo que
qp. Sin embargo,
puede ocurrir que tanto
pq como qp sean
verdaderos.
Bicondicional
El bicondicional o
coimplicador pq, que
se lee "p si y slo si q" o
"p es equivalente a q", se
p q
pq
V V V
V F F
F V F
F F V
48

Asignatura: Finanzas II
Asignatura: Lgica
define por la siguiente
tabla de verdad:
F F V
Qu sucede si nos proponemos negar la expresin p?
Evidentemente, tendramos la expresin (p), que es lo mismo que
p.
Pues bien, la negacin de la negacin de un enunciado, es la afirmacin
de dicho enunciado; en forma simblica:
p p
La doble negacin
Y qu ocurrira si negsemos una doble negacin?
Es decir, (p), o lo que es lo mismo: p.
En este caso, simplemente aplicando la definicin de la negacin
llegamos a la conclusin de que (p) p. As:
p p
p p
p p
p p
Negaciones mltiples
Dos enunciados son equivalentes si sus tablas de verdad son iguales,
as es como sucede con p.q y con q.p. En la conjuncin el orden en
que se presentan las proposiciones no altera el resultado, esto se
observa tanto en la conjuncin como en la disyuncin en las siguientes
tablas de verdad.






Propiedad conmutativa de la conjuncin y la disyuncin
49

Asignatura: Finanzas II
Asignatura: Lgica
Propiedad conmutativa de la
conjuncin
p q p.q q.p
V V V V
V F F F
F V F F
F F F F
Propiedad conmutativa de la
disyuncin
p q pvq qvp
V V V V
V F V V
F V V V
F F F F
El ejemplo siguiente es una aplicacin de la propiedad conmutativa.
Sean:
p Rosario es ta de Patricia. q Rosario es abuela de
Patricia.
La conjuncin de estas proposiciones es: p . q Rosario es ta de
Patricia y Rosario es abuela de Patricia.
Una simplificacin sera: p . q Rosario es ta y abuela de Patricia.
Al aplicar la propiedad conmutativa se tiene: q . p Rosario es abuela
y ta de Patricia.
La disyuncin de las proposiciones es: p v q Rosario es ta de
Patricia o Rosario es abuela de Patricia.
Una simplificacin sera: p v q Rosario es ta o abuela de Patricia.
Al aplicar la propiedad conmutativa se tiene: p v q Rosario es
abuela o ta de Patricia.
Cuando hacemos la conjuncin de tres variables, existen las siguientes
posibilidades: Una posibilidad de asociacin es: (p.q).r, otra: p.(q.r) y
otra es: (p.r).q, todas stas son equivalentes, porque se puede asociar
cualquier de las variables con cualquier otro. Ocurre con la conjuncin
lo mismo que nos pasa en las matemticas con la multiplicacin o suma:
(3x2)x4 =3x(2x4) =2x(3x4) y (5+2)+3 =5+(2+3) =2+(5+3). El orden de
Propiedad asociativa
50

Asignatura: Finanzas II
Asignatura: Lgica
los factores no altera el resultado. En lgica, como en matemticas,
tambin podemos eliminar los parntesis.
As mismo, cuando hacemos la disyuncin de tres variables, existen las
siguientes posibilidades, Una posibilidad de asociacin es: (pvq)vr, otra
es: pv(qvr) y otra es: (pvr) vq, todas stas son equivalentes, porque se
puede asociar cualquier de las variables con cualquier otro. Ocurre con
la disyuncin lo mismo que nos pasa en las matemticas con la
multiplicacin o la suma.
Hay casos en el lenguaje natural donde empleamos el sentido exclusivo
de la disyuncin.
Un ejemplo es: cuando decimos que alguien viaja por un medio u por
otro medio. Si alguien viaje por avin no podr hacerlo por tren o si viaja
por tren no puede hacerlo por avin, son situaciones excluyentes.
La situacin excluyente tambin se presenta cuando decimos que una
actividad se realiza o se suspende, es una de las dos, no las dos.
Entonces hay dos tipos de disyuncin; inclusivo y exclusivo.
Casos de disyuncin exclusiva
En el enunciado pq, se dice que p es el antecedente y q el
consecuente, o tambin que p es la hiptesis y q la conclusin. El
antecedente es tambin conocido como la premisa. El consecuentes es
tambin conocido como la conclusin. La condicional establece tambin
causas y efectos
Argumento y Condicional
El implicador no tiene la
propiedad conmutativa,
esto se puede apreciar en
las tablas de verdad de
pq y de su recproco
qp, los resultados son
distintos, por lo cual no son
equivalentes.
Recproco del implicador
p q pq qp
V V V V
V F F V
F V V F
F F V V
51

Asignatura: Finanzas II
Asignatura: Lgica
El enunciado
pq es lo
mismo que
qp.
Vemoslo
comparando
tablas de
verdad, en este
caso los
resultados de la
tercera y sexta
columnas son
iguales, esto
demuestra que
la condicional es
equivalente a su
contrarrecproco
.
Contrarrecproco del implicador
p q pq q p qp
V V V F F V
V F F V F F
F V V F V V
F F V V V V
Al introducir el primer condicional "si" (en "si y slo si"), introduzco el
antecedente, y por tanto afirmo que pq, (es decir aprobar Filosofa si
saco 11 o ms en el examen de Lgica),
Al introducir "slo si" (en "si y slo si"), introduzco el consecuente,
buscando comunicar que qp, (es decir, que si saco un 11 o ms en el
examen de Lgica, entonces apruebo la Filosofa), y
Expresiones equivalentes de la bicondicional
p si y slo si q ; p es necesario y suficiente para q ; p es equivalente
a q
Observar que pq y qp tendran totalmente los mismos valores de
verdad. Al utilizar la partcula "y" (en "si y slo si"), lo que se hace es
comunicar la conjuncin de pq con qp.
Significado de si y solo si en la bicondicional
Tabla de verdad de una variable
Tablas de verdad con mltiples variables
52

Asignatura: Finanzas II
Asignatura: Lgica
p p
V F
F V
Tabla de verdad de dos variables
p q p.q
V V V
V F F
F V F
F F F
Tabla de verdad de tres variables
p q r p.q q.r p.r
V V V V V V
V V F V F F
V F V F F V
V F F F F F
F V V F V F
F V F F F F
F F V F F F
F F F F F F
53

Asignatura: Finanzas II
Asignatura: Lgica
Tabla de verdad de cuatro variables
p q r s
V V V V
V V V F
V V F V
V V F F
V F V V
V F V F
V F F V
V F F F
F V V V
F V V F
F V F V
F V F F
F F V V
F F V F
F F F V
F F F F
Lo que se observa en estas tablas es que la ltima variable se alterna V
y F, la penltima se alterna dos veces V y 2 veces F, la antepenltima se
alterna 4 veces V y 4 veces F. Siguiendo esta regla, se puede construir
tablas de 5, 6 o ms variables
54

Asignatura: Finanzas II
Asignatura: Lgica
ACTIVIDADES
A. Ejercicios resueltos
1. Construir la tabla
de verdad para:
(p v q) (p . q)
p q pvq p.q (pvq)(p.q)
V V V V V
V F V F F
F V V F F
F F F F V
2. Construir la tabla
de verdad para:
pq p v q
p q pq p p v q
V
V
F
F
V
F
V
F
V
F
V
V
F
F
V
V
V
F
V
V
3. Construir la tabla
de verdad para:
(p.q) v r
p q r p.q r (p.q) v r
V V V V F V
V V F V V V
V F V F F F
V F F F V V
F V V F F F
F V F F V V
F F V F F F
F F F F V V
55

Asignatura: Finanzas II
Asignatura: Lgica
4. Construir la tabla
de verdad para
(p v q) r
p q r pvq r (p.q) r
V V V V F F
V V F V V V
V F V V F F
V F F V V V
F V V V F F
F V F V V V
F F V F F V
F F F F V V
5. Se sabe que p es
verdadero, r
puede tomar
cualquier valor.
Cul es el valor
de la expresin r
v p?
p r p r v p
V V
V F
F
F
V
F
56

Asignatura: Finanzas II
Asignatura: Lgica
6. En la expresin
q p v r el
resultado es falso.
Qu valores toman
p, q y r
p q r
pvr q p v r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
V
V
V
V
V
F
V
F
V
V
V
V
V
F
V
V
B. Ejercicios para resolver:
a. Se tienen las siguientes posposiciones:
pestoy alegre qeres inteligente r soy flaco
La proposicin p es no estoy alegre, con este ejemplo hacer
las equivalencias y escribir las proposiciones que resultan de
las siguientes combinaciones:
1. q v r
2. pr
3. p r
4. q p
b. Se tienen las siguientes posposiciones:
s el joven gan el
premio
t la chica gan el
premio
u la nia gan el
premio
57

Asignatura: Finanzas II
Asignatura: Lgica
La proposicin s v t es o el joven o la chica ganaron el premio, con
este ejemplo, escribir las proposiciones que resultan de las
siguientes combinaciones:
1. t . u
2. (s v t) v u
3. (s t) u
4. (s t) u
c. Indicar si las afirmaciones siguientes son verdaderas (V) o
falsas (F):
1. Si el antecedente es verdadero y el consecuente es falso
la condicional es falsa.
( )
2. Si las proposiciones de una disyuncin exclusiva son
iguales el resultado es falso.
( )
3. Si las proposiciones de una bicondicional son distintas el
resultado es verdadero:
( )
4. Un nmero par de negaciones es equivalente a una
afirmacin.
( )
5. La disyuncin inclusiva es falsa cuando las dos
proposiciones son iguales.
( )
C. Se tienen las proposiciones atmica p, q, r y s, con los cuales
se construyen las proposiciones moleculares de la siguiente
tabla en el cual tambin se estableces condiciones para cada
caso. Indicar con V o F el resultado que corresponde.
Proposicin
molecular
Condiciones Result.
1. pq.r p y r son verdaderos(V), q es falso(F)
2. (p.q) q es verdadero(V), p es falso(F)
3. (p.q)v(p.q) p es verdadero(V), q es falso(F)
4. (qp) p y q son falso(F)
5. q .pr.q p y r son falsos(F), q es verdadero(V)
6. pvs(q.r) p y r son verdaderos(V), q y s son
falsos(F)
58

Asignatura: Finanzas II
Asignatura: Lgica
7. (pvq).(pvr) p es verdadero(V), q y r son falsos(F)
8. pqvs p es verdadero(V), q y s son falsos(F)
D. Demostraciones:
1. Demostrar la propiedad asociativa en la disyuncin exclusiva:
pv(qvr) (pvq)vr
2. Demostrar que pv(qr) no es equivalente a (pvq) r
3. Demostrar la equivalencia: p.q (pvq)
4. Demostrar la equivalencia: (pvq) pq
E. Sabiendo que el esquema: p (~r v s) es falso.
Indicar cules de las siguientes proposiciones son verdaderas:
I) p (p v s) II) p r III) ~s r IV) r p
F. Determina los valores de verdad de las siguientes
proposiciones:
- (10 - 15 =5) v (20 x 10 =200)
- (\81=9 . \100 = 10) (4
3
=12)
- (5
2
=25 \25 = 5) . (10
3
<100)
- (100 <99) (140/10>15)
G. Si el esquema: (p ~q) v (~r s) es falso. Hallar el valor de:
I) (~p . ~q) v ~q
II) [(~r v q) . q] [(~q v r) . s]
III) (p r) [(p v q) . ~q]
H. Dado: p #q = {[(p q) p] v q}. p. Entonces al evaluar:
[(~p . r) #q] #(p q), se obtiene:
I. Si: A0B =(A v B) y A/B= (AB)
Calcular: {[(p0q) 0(p/q)] /p}
59

Asignatura: Finanzas II
Asignatura: Lgica
Tema N 5: DIAGRAMAS SEMNTICOS
Un instrumento o mtodo decisorio alternativo al de las Tablas de
Verdad es el de los Diagramas Semnticos.
Representacin de los valores de verdad
Negacin: Como ya sabemos, si una proposicin o esquema es
verdadero, su negacin es falsa y viceversa. En ese sentido la
negacin, de acuerdo a los diagramas semnticos, se representara
del siguiente modo:
a) F [A]
V [A]
b) V [A]
F [A]
Que se lee:
A. A es falso si y solo si A es verdadero
B. A es verdadero si y solo si A es falso
Conjuncin: Para que un esquema conjuntivo sea verdadero
ambos miembros de la conjuncin deben de serlo. Esto es, basta
que uno de ellos sea falso para que dicho esquema sea falso. Por
otro lado, en la lgica estndar hay slo 2 valores de verdad; lo
verdadero y lo falso. En ese sentido tenemos dos posibilidades:
a) Con respecto a una
variable:
F [p]
V [p]
b) Con respecto a un
esquema:
V [(pq)]
F [(pq)]
60

Asignatura: Finanzas II
Asignatura: Lgica
a) F [A . B]
F [A] F[B]
b) V [A . B]
V [A]
V [B]
Que se lee:
A. A . B es falso, cuando cualquiera de los dos, A o B son
falsos.
B. A . B es verdadero, nicamente cuando los dos, A y B son
verdaderos.
El lector puede observar que en el diagrama a) los valores de
verdad de ambos miembros de la conjuncin al ser analizados son
escritos de manera horizontal. Esto indica que no se requiere que
ambos miembros tengan el valor expresado (en este caso el de lo
falso) sino que basta que uno lo tenga para que todo el esquema
sea falso.
En el diagrama b), en cambio, los valores de verdad de los
respectivos miembros de la conjuncin estn ordenados de manera
vertical, ello indica que para que la conjuncin pueda ser
considerada como verdadera, tanto el miembro de la derecha como
el de la izquierda debern de tener el valor de verdad de lo
verdadero. Los respectivos valores de cada una de las variables
proposicionales estn expresados a la izquierda de cada uno.
Este orden de diagramacin se sigue con todos los dems
operadores (disyuncin, condicional y bicondicional). Veamos una
aplicacin de loanterior:
Sea el esquema:
[(p q) . (r p)] el cual se nos dice que es verdadero.
Por loanterior tendremos que representarlo del siguiente modo:
61

Asignatura: Finanzas II
Asignatura: Lgica
V [(p q) . (r p)]
V [(p q)]
V [(r p)]
a) F [A v B]
F [A]
F [B]
b) V [A v B]
V [A] V [B]

Por otro lado: F [(p q) . (r p)]
F [(p q)] F [(r p)]
Disyuncin: Una disyuncin es falsa nicamente cuando ambos
miembros de ella son falsos, en todos los dems casos es
verdadera.
a) V [A v B]
V [A] V [B]
b) F [A v B]
F [A]
F [B]
A. A v B es verdadero, cuando cualquiera de los dos, A o B son
verdaderos.
B. A v B es falso, nicamente cuando los dos, A y B son falsos.
Condicional: El condicional es falso nicamente cuando el ante-
cedente es verdadero y el consecuente es falso.
62

Asignatura: Finanzas II
Asignatura: Lgica
a) F [A B]
V [A]
F [B]
b) V [A B]
F [A] V [B]

Bicondicional: El bicondicional es verdadero en dos casos; o
bien cuando ambos miembros del esquema son verdaderos o bien
cuando ambos son falsos. En cambio si estos tienen valores de
verdad alternados entonces ser falso.
a) V [A B]
V [A] F [A]
V [B] F [B]
b) F [A B]
V [A] F [A]
F [B] V [B]
1. Dar un valor de verdad al esquema.
Anlisis de esquemas moleculares a travs de Diagramas
Semnticos
2. En base al valor de verdad del esquema ir analizando cada
miembro o sub esquemas de este.
3. Ir numerando, a la derecha, el orden en que se han ido
analizando los esquemas y sub esquemas.
Dado el siguiente esquema: [(p . q) (r v s)]
Nosotros podemos partir para el anlisis suponiendo que o es
verdadero o es falso, se recomienda optar, siempre que se pueda,
por la posibilidad que menos bifurcaciones origine. En el presente
caso la mejor posibilidad es considerar el esquema como falso.
Considerando falso el esquema se tiene: F [(p . q) (r v s)]
Como en este caso el valor de verdad es lo falso y la conectiva
principal del esquema es la condicional, tenemos que asignarle al
antecedente el valor de verdad de verdadero y al consecuente el
valor de verdad de falso.
63

Asignatura: Finanzas II
Asignatura: Lgica
F [(p . q) (r v s)] (1)
V [(p.q)]
F [(rvs)]
Como este esquema original ha sido el primero en ser analizado
enumeramos a su derecha, con el numero uno. Realizando el
anlisis partiendo del esquema conjuntivo y que a su vez tiene
como valor de verdad lo verdadero, obtenemos losiguiente:
F [(p . q) (r v s)](1)
V [(p.q)] (2)
F [(rvs)]
V [(p.q)] (2)
V [p]
V [q]
Ahora pasamos a analizar el otro sub esquema que an nos falta:
F [(p . q) (r v s)] (1)
V [(p.q)] (2)
F [(rvs)] (3)
V [p]
V [q]
F [r]
F [s]
Es en este nivel que pasamos al cuarto paso, conocido como anlisis de
ramas.
Efectuemos el anlisis de ramas:
Las "ramas" son las lneas finales que quedan al trmino del paso dos.
64

Asignatura: Finanzas II
Asignatura: Lgica
En el caso que estamos analizando slo hay una rama.
Rama 1: V (p), V (q), F (r), F (s)
Este anlisis de rama arroja como resultado que nuestro esquema es
falso slo cuando p es verdadero, q es verdadera y r es falso, esto es
cuando estas tres variables aparecen con este valor de verdad
simultneamente.
Tenemos ahora un quinto paso: Anlisis de Estados Posibles del
Mundo (E.P.M.)
En este quinto paso se realiza un anlisis de todas las
posibilidades lgicas para ver en que casos se cumple la
posibilidad indicada por el anlisis de ramas. Para ello se realiza
una tabulacin de valores de verdad similar al de las Tablas de
Verdad, con la nica diferencia de que cada posibilidad es
numerada puesto que representa un EPM, esto es, una posibilidad
lgica teniendo en cuenta que, desde un punto de vista lgico
veritativo, cada variable proposicional tiene slo dos posibilidades;
o lo verdadero o lo falso.
EPM p q r s
1) V V V V
2) V V V F
3) V V F V
4) V V F F
5) V F V V
6) V F V F
7) V F F V
8) V F F F
9) F V V V
10) F V V F
11) F V F V
12) F V F F
13) F F V V
14) F F V F
15) F F F V
16) F F F F
65

Asignatura: Finanzas II
Asignatura: Lgica
Luego de ello se analiza en que caso (E.P.M.) se presenta la
posibilidad sealada en el anlisis de rama.
Efectuado el anlisis slo el segundo caso o E.P.M. cumple.
Caso de rama abi erta: [A]
[B]
Una rama es abierta slo cuando no aparece en una misma lnea
una misma variable proposicional con valores de verdad diferente.
V [(p v q)] (1)
V [p] V [q] (2)
R 1
F [q]
R 2
Caso de rama cerrada: [A]
[B]
Una rama es cerrada cuando en una misma lnea aparece una o
ms variables proposicionales con valores de verdad diferentes.
V [(p.p)] (1)
V [p]
V [p] (2)
V [p] (2)
F [p]
====== (Rama cerrada)
Esto nos indica que la rama ha sido "eliminada" y no se la cuenta
en el anlisis de ramas. Ilustraremos lo anterior con otro ejemplo.
Sea:
(p v q) [(p . p) v (qr)]
66

Asignatura: Finanzas II
Asignatura: Lgica
V {(pvq) [(p.p) .q]} (1)
F [(pvq)] (2) V [( p .p).(q r)] (3)
F [p] V [(p.p)] (4)
F [q] V [q r)]
V [p]
V [p] (5)
F [p]
======
En el ejemplo slo hay una rama abierta por lo tanto slo ella
cuenta como rama. Observe que en el esquema de la parte
derecha an queda una frmula por analizar (q r) sin embargo
no se la ha analizado. Por que? Porque una vez que se detecta
una contradiccin en una rama esta se cierra as queden aun
formulas por analizar al interior de ella.
Cual es la relevancia de lo anterior? En el anlisis de ramas slo
se debern de considerar las ramas que queden abiertas. Por
que? Porque una rama cerrada indica la existencia de una
contradiccin.
Si al hacer el anlisis de un esquema, todas las ramas se cierran
el valor de verdad de dicho esquema es el opuesto al valor de la
hiptesis. En el caso de que ninguna o slo algunas ramas se
cierren tendremos que llegar hasta el anlisis de E.P.M. para
poder determinar si es T, o Q. A diferencia de las Tablas de
Verdad donde se comienza por el operador de menor jerarqua, en
los Diagramas Semnticos el anlisis se empieza por el operador
de mayor jerarqua
67

Asignatura: Finanzas II
Asignatura: Lgica
ACTIVIDADES
A. Analice mediante diagramas semnticos los siguientes
esquemas (aplique nicamente los pasos 1-3)
1. (p q) . r
2. (p v q) r
3. [(p v q) r]v(p. q)
4. (p q). s
5. [p (p v r)] v (q v q)
B. Determine mediante diagramas semnticos en qu y en
cuntos E.P.M. los siguientes esquemas son verdaderos
1. (r q) v p
2. {[(p . q) r] . (p v q)} r
3. (q p) (p . q)
C. Determine la validez de la siguiente inferencia mediante el
mtodo de los diagramas semnticos, sealando previamente
las variables, estructura formal y simbolizacin.
Si Felipe es ingeniero y tiene ms de cinco aos de
experiencia, entonces dirigir la construccin de una
hidroelctrica si es contratado. Pero, todos los que tienen ms
de cinco aos de experiencia adems son ingenieros. Luego, si
Felipe tiene ms de cinco aos de experiencia, entonces
algunos dirigirn la construccin de una hidroelctrica si son
expertos.
D. Determine mediante el mtodo de los diagramas semnticos si
A implica a B.
A = Los argumentos lgicos involucran proposiciones lgicas;
ya que, si las proposiciones se relacionan entre nexos lgicos,
entonces el lector se ve obligado a reconocerlos.
B = Las proposiciones se relacionan entre nexos lgicos; por
eso, si el lector se ve obligado a reconocerlos entonces los
argumentos lgicos involucran proposiciones lgicas.
68

Asignatura: Finanzas II
Asignatura: Lgica
E. Por el mtodo de los diagramas semnticos, determine si la
formula siguiente es tautologa, contradictorio o contingente:
{[ p ( q . r ) ] ( ~ r v ~ p ) }
F. Por el mtodo de los diagramas semnticos, decida la validez o
no de la siguiente inferencia:
Si existen sustancias compuestas entonces el tomo es una
sustancia compuesta. Si existen sustancias simples entonces
el electrn es una sustancia simple. Existen sustancias simples
y compuestas. Por lo tanto, el tomo es una sustancia
compuesta y el electrn es una sustancia simple.
G. Simbolice los siguientes enunciados, luego determine si son
equivalentes o no, mediante los diagramas semnticos:
A = No es posible que sea terico y prctico, sin embargo es
prctico, en consecuencia no es prctico.
B = Si es terico, practico; no obstante no es terico ni practico.
69

Asignatura: Finanzas II
Asignatura: Lgica
SEGUNDA UNIDAD
Tema N 6: LAS LEYES LGICAS
Una forma proposicional es una ley lgica si y solo si cualquiera que sea
la interpretacin formalmente correcta que se haga de la misma, se
obtiene como resultado una verdad lgica. A estas formas se les
denomina Principios Lgicos y son :
Las equivalencias tautolgicas tienen la forma AB donde A y B son
enunciados (atmicos o moleculares) que son lgicamente equivalentes.
En otras palabras, si AB es tautolgica, entonces AB.
Las equivalencias tautolgicas o equivalenci as lgicas
H. Las equivalencias tautolgicas son las siguientes:
Doble negacin o involucin p (p)
Propiedad conmutativa de la conjuncin p.q q.p
Propiedad conmutativa de la disyuncin pvq qvp
Propiedad asociativa de la conjuncin p. (q.r) (p.q).r
Propiedad asociativa de la disyuncin pv (qvr) (pvq) vr
Leyes de DeMorgan
(p.q) (p) v (q)
(pvq) (p) . (q)
Ley de Identidad p p T
Ley de no contradiccin ~ (p . ~ p) T
Ley del tercio excluido p v ~ p T
70

Asignatura: Finanzas II
Asignatura: Lgica
Definicin del implicador pq pvq
Contrarrecproco del implicador pq qp
|Definicin del coimplicador pq (pq) . (qp)
Idempotencia de la conjuncin p . p p
Idempotencia de la disyuncin p v p p
Absorcin
p . ( p v q ) p
p v ( p . q ) p
p . (~p v q ) p . q
p v (~p . q ) p v q
Distributiva
p . (q v r) (p . q) v (p . r)
p v (q . r) (p v q) . (p v r)
Identidad
T v p T
T . p p
C v p p
C . p C
Tabla 2. Cuadro de equivalencias lgicas
71

Asignatura: Finanzas II
Asignatura: Lgica
Tabla de resumen de l as equivalencias tautolgicas
DENOMINACIN FORMA ATOMICA FORMA MOLECULAR
Doble negacin p (p) A (A)
Propiedad conmutativa
de la conjuncin
(p.q) (q.p) A.B B.A
Propiedad conmutativa
de la disyuncin
(pvq) (qvp) AvB BvA
Propiedad asociativa de
la conjuncin
(p. (q.r)) ((p.q).r) A.(B.C) (A.B).C
Propiedad asociativa de
la disyuncin
(pv (qvr)) ((pvq)vr) Av(BvC) (AvB)vC
Leyes de DeMorgan
((p.q)) ((p) v (q)) (A.B) (A) v (B)
(pvq) ((p) . (q)) (AvB) (A) . (B)
Definicin del implicador (pq) (pvq) AB AvB
Contrarrecproco del
implicador
(pq) (qp) AB BA
Definicin del
coimplicador
(pq) ((pq).(qp)) AB (AB).(BA)
En esta seccin sobre tablas de verdad, nos hemos topado con el
concepto de equivalencia lgica, y dijimos que dos frmulas son
lgicamente equivalentes cuando todas sus posibles interpretaciones
son iguales por tomar los mismos valores de verdad.
El concepto de Tautologa
En este apartado hablaremos de un tipo peculiar de frmulas
(enunciados moleculares), llamadas tautologas, que tienen la
peculiaridad de que todas sus posibles interpretaciones son siempre
verdaderas. Qu significa que todas las interpretaciones de un
enunciado molecular sean todas verdaderas? Pues que dichas frmulas,
72

Asignatura: Finanzas II
Asignatura: Lgica
que de aqu en adelante llamaremos tautologas, son verdaderas
independientemente de si los enunciados atmicos que las
constituyan sean verdaderos o falsos. Una consecuencia profunda de
las tautologas es que son verdaderas independientemente de cmo sea
el mundo. No son verdaderas en virtud de cmo es el mundo, sino por
su forma lgica (por la forma en que se relacionan las partculas
conectivas que la constituyen).
Para averiguar si un enunciado molecular es tautolgico, podemos
elaborar su tabla de verdad. Estamos ante una tautologa si en la
columna de su conectiva principal nos encontramos con que todos los
valores de verdad de todas las interpretaciones posibles son verdaderos.
Tautologas y tabl as de verdad
Las contradicciones son falsas bajo cualquier posible interpretacin.
En este caso tambin ocurre que estos enunciados son falsos no porque
el mundo sea de una determinada manera, sino porque las relaciones
que se establecen entre sus conectivas impiden que tengan alguna
interpretacin verdadera. Las contradicciones, en consecuencia, son
falsas independientemente de los valores de verdad que adopten las
atmicas que las constituyen.
Por ejemplo, si p: "Llueve", p.(p) significara "llueve y no llueve", lo que
en rigor es contradictorio. Aunque en nuestra experiencia cotidiana
podamos encontrarnos situaciones en las que no sepamos a ciencia
cierta si llueve o no, es lgicamente imposible (en una lgica bivalente,
como la que estamos estudiando) que llueva y no llueva
simultneamente.
El enunciado p.(p) refleja de forma cristalina otra forma de definir una
contradiccin: una contradiccin consiste en afirmar un enunciado
conjuntamente con su negacin.
Contradicciones y tablas de verdad : La forma ms sencilla para
averiguar si un enunciado es contradictorio consiste en elaborar su tabla
de verdad. Si en la columna de la conectiva principal nos encontramos
con que todas sus posibles interpretaciones son falsas, entonces
estamos ante una contradiccin.
El concepto de Contradi ccin
1. Simplificar utilizando los principios lgicos y las equivalencias
tautolgicas los siguientes esquemas moleculares:
Ejercicios Desarrollados
73

Asignatura: Finanzas II
Asignatura: Lgica
1.1. p (q r) q (p r)
p (q r) ~p v (~q v r) Implicador
(~p v ~q) v r Asociativa
(~q v ~p) v r) Conmutativa
~q v (~p v r) Asociativa
q (p r) Implicador
1.2. (p q) p p . q
(p q) p [(p q) p] . [p (p q)] Bicondicional
[~(p q) v p] . [~p v (p q)] Implicador
[~(~p v q) v p] . [~p v (~p v q)] Implicador
[(p . ~q) v p] . [~p v (~p v q)] De Morgan
p . [~p v (~p v q)] Absorcin
p . [(~p v ~p) v q] Asociativa
p . (~p v q) Idempotencia
p . q Absorcin
1.3. (p q) v (p r) p (q v r)
(p q) v (p r) (~p v q) v (~p v r) Implicador
[(~p v q) v ~p] v r Asociativa
[~p v (~p v q)] v r Conmutativa
[(~p v ~p) v q] v r Asociativa
(~p v q) v r Idempotencia
~p v (q v r) Asociativa
p (q v r) Implicador
74

Asignatura: Finanzas II
Asignatura: Lgica
1.4. ~p ~q p q
~p ~q (~p ~q) . (~q ~p) Bicondicional
[~(~p) v ~q] . [~(~q) v ~p] Implicador
(p v ~q) . (q v ~p) Doble negacin
(~q v p) . (~p v q) Conmutativa
(q p) . (p q) Implicador
(p q) . (q p) Conmutativa
p q Bicondicional
1.5 ~(p q) ~p q
~(p q) ~[(p q) . (q p)] Bicondicional
~[(~p v q) . (~q v p)] Implicador
~(~p v q) v ~(~q v p) De Morgan
[~(~p) . ~q] v [~(~q) . ~p] De Morgan
(p . ~q) v (q . ~p) Doble negacin
[(p . ~q) v q] . [(p . ~q) v ~p] Distributiva
[(p v q) . (~q v q)] . [(p v ~p) . (~q v ~p)]
[(p v q) .T] . [T. (~q v ~p)] Tercio Excluido
[(p v q) . (~q v ~p)] Identidad
[~(~p) v q] . (~q v ~p) Doble negacin
(~p q) . (q ~p) Implicador
~p q Bicondicional
1.6. (p q) q p v q
(p q) q [(p q) q] . [q (p q)] Bicondic.
75

Asignatura: Finanzas II
Asignatura: Lgica
[~(p q) v q] . [~q v (p q)] Implic.
[~(~p v q) v q] . [~q v (~p v q)] Implic.
{[~(~p) . ~q)] v q]}. [~q v (~p v q)] De M
[(p . ~q) v q] . [~q v (~p v q)] D. negac.
[(p . ~q) v q] . [~q v (q v ~p)] Conmutat.
[(p . ~q) v q] . [(~q v q) v ~p] Asociativa.
[(p . ~q) v q] . [T v ~p)] Tercio excluido
[(p . ~q) v q] . T Identidad
[(p . ~q) v q] Identidad
p v q Absorcin.
1.7 (p r) v (q r) (p . q) r
(p r) v (q r) (~p v r) v (~q v r) Implicador
~p v [r v (~q v r)] Asociativa
~p v [(r v ~q) v r] Asociativa
~p v [(~q v r) v r] Conmutativa
~p v [~q v (r v r)] Asociativa
~p v (~q v r) Idempotencia
(~p v ~q) v r Asociativa
~(p . q) v r De Morgan
(p . q) r
ACTIVIDADES
Simplificar utilizando los principios lgicos y las equivalencias
tautolgicas los siguientes esquemas moleculares:
1. [ ~( p ~q ) v ~q ] . ~q
2. [ ~( p ~q ) . ~q ] . ~q
76

Asignatura: Finanzas II
Asignatura: Lgica
3. [ ( p q ) v ~q ] v ( p . q )
4. [~ (~ p r ) ~ ( q ~ r ) ] v ( p . q )
5. ~ [~ (~ q r ) . ~ ( r ~ p ) ] v ( p . q )
6. ~ [~ (~ p . r ) v ~ ( q ~ r ) ] v ( p . q )
7. ~ [~ (~ p r ) ~ ( q v ~ r ) ] ( p . q )
8. ~ {~ [~ ( ~ q . p ) ( p v r ) ] ~ q }( p . r )
9. ~ {~ [~ ( ~ p p ) ( p r ) ] . ~ q }. ( p . r )
10. ~ {~ [~ ( ~ r . p ) ( q v r ) ] v ~ q }v ( p v r )
11. [ ~( p ~q ) v ~q ] ~q
12. [ ~( r ~q ) v ~q ] . ~p
13. [ ( p q ) v ~p ] v ( p q )
14. [~ (~ p v r ) ~ ( q ~ r ) ] v ( p q )
15. ~ [~ (~ p r ) . ~ ( r ~ p ) ]
16. ~ [~ (~ p r ) ~ ( q ~ r ) ] ( p . q )
17. ~ [~ (~ p . r ) ~ ( q . ~ r ) ] ( p . q )
18. ~ {~ [~ ( ~ q p ) ( p v q ) ] ~ q }
19. ~ {~ [~ ( ~ p p ) ( p . r ) ] . ~ p }. ( p r )
20. ~ {~ [~ ( ~ r p ) ( p v r ) ] v ~ p }v ( p v r )
21. [~ (~ p r ) . ~ ( q ~ r ) ] ( p . q )
22. [~ (~ p v r ) ~ ( q . ~ r ) ] ( p . q )
23. ~ [~ ( ~ q p ) ( p v q ) ]
24. ~ {~ [~ ( ~ p . p ) . ( p . r ) ] v ~ p }. ( p r )
77

Asignatura: Finanzas II
Asignatura: Lgica
25. ~ {~ [~ ( ~ p r ) ( p v r ) ] v ~ r }v ( p v r )
26. Demostrar utilizando leyes y equivalencias que el argumento No
es verdad que Portugal celebra el descubrimiento y la conquista
de Brasil, equivale a Si Portugal celebra la conquista entonces
no celebra la conquista de Brasil.
27. Demostrar utilizando leyes y equivalencias que el argumento El
Per es democrtico pero no hay elecciones, excepto que, el
Per no es democrtico y hay elecciones, equivale a Es falso
que el Per es democrtico si y solo si hay elecciones.
28. Demostrar utilizando leyes y equivalencias que el argumento Es
falso que hable alemn a menos que hable francs, equivale a
Es falso que si no hablo alemn, hablo francs.
29. Demostrar utilizando leyes y equivalencias que el argumento No
es cierto que no haya recesin a menos que haya progreso,
equivale a No hay progreso sin embargo hay recesin.
30. Demostrar utilizando leyes y equivalencias que el argumento Los
obreros trabajan pero no son millonarios, equivale a No es cierto
que los obreros no trabajan salvo que sean millonarios.
31. Demostrar utilizando leyes y equivalencias que el argumento
Rosa canta pero no llora, excepto que, no cante pero llore,
equivale a Es mentira que Rosa canta siempre que llora.
32. Demostrar la validez del siguiente argumento utilizando leyes y
equivalencias: Como es hora de clases, se concluye que en el
aula hay profesores y alumnos, dado que, si es hora de clases,
en el aula hay profesores, y hay alumnos si en el aula hay
profesores.
33. Demostrar la validez del siguiente argumento utilizando leyes y
equivalencias:
Si J uan participa en un comit electoral de la Universidad entonces
los estudiantes se enojaran con el, y si no participa en un comit
electoral de la Universidad entonces las autoridades
universitarias se enojaran con el. Pero J uan participara en un
comit electoral de la universidad o no participara. Por lo tanto,
los estudiantes o las autoridades universitarias se enojaran con
el.
78

Asignatura: Finanzas II
Asignatura: Lgica
34. Demostrar la validez del siguiente argumento utilizando leyes y
equivalencias:
Si Anita deca la verdad, entonces Scrates corrompa a la juventud
y si el tribunal lo condeno equivocadamente, entonces Anita no
es culpable. Pero, Scrates no corrompa a la juventud o Anita es
la culpable. Por lo tanto, Anita no deca la verdad o el tribunal no
condeno a Scrates equivocadamente.
35. Sean p y q dos proposiciones cualesquiera. Se define el
conectivo * en la forma siguiente:
p * q ~p . ~q
Expresar solo en trminos del conectivo * cada una de las
siguientes proposiciones:
a) ~p v q
b) p q
c) Simplificar [(p*q)*q] * [(p*p)*~q]
d) Simplificar [(q*q)*q] * [(p*q)*~q]
e) Simplificar [(q*q)*p] * [(q*p)*~q]
79

Asignatura: Finanzas II
Asignatura: Lgica
Tema N 7: DEDUCCIN NATURAL
Se presenta como reglas para construir derivaciones, deducciones o
pruebas formales. De acuerdo al mtodo de la deduccin natural, para
evaluar una inferencia, es decir, para mostrar que la conclusin de una
inferencia se sigue lgicamente de las premisas, es preciso indicar las
reglas de inferencia validas elementales que conducen de las premisas
a la conclusin. Estas reglas de inferencia se estudian a continuacin.
1. Modus Ponens (MP). Indica que si se afirma el antecedente de
una premisa condicional se concluye en la afirmacin del
consecuente.
Reglas de Inferenci a.
Ejemplo:
Premisa 1. Si el esta en el partido de futbol,
entonces el esta en el estadio.
Premisa 2. El est en el partido de futbol.
Conclusin. El est en el estadio.
Simblicamente sea:
p: El esta en el partido de futbol.
q: El esta en el estadio.
Entonces:
Premisa 1. p q
Premisa 2. p
q
2. Modus Tollens (MT). Indica que si se niega el consecuente de una
premisa condicional, se concluye en la negacin del antecedente.
Ejemplo:
Premisa 1. Si tiene luz propia, entonces el astro es
una estrella.
Premisa 2. El astro no es una estrella.
Conclusin. No tiene luz propia.
Simblicamente sea:
p: Tiene luz propia.
q: El astro es una estrella.
Entonces:
Premisa 1. p q
Premisa 2. ~q
~p
80

Asignatura: Finanzas II
Asignatura: Lgica
3. Adjucion (A). Esta regla permite pasar de dos premisas a la
conclusin.
Ejemplo:
Premisa 1. J uan es ganadero.
Premisa 2. Rosa es costurera.
Conclusin. J uan es ganadero y Rosa es costurera.
Simblicamente sea:
p: J uan es ganadero.
q: Rosa es costurera.
Entonces:
Premisa 1. p
Premisa 2. q
p . q
4. Simplificacin (S). Indica que de una premisa conjuntiva se puede
concluir en cualquiera de sus componentes.
Ejemplo:
Premisa 1. J uan es ganadero y Rosa es costurera.
Conclusin 1. J uan es ganadero
Conclusin 2. Rosa es costurera
Simblicamente sea:
p: J uan es ganadero.
q: Rosa es costurera.
Entonces:
Premisa 1. p . q
Conclus 1. p
Premisa 1. p . q
Conclus 2. q
5. Silogismo Disyuntivo (SD). Indica que negando un miembro
cualquiera de una disyuncin se concluye afirmando el otro miembro.
Ejemplo:
Premisa 1. J uan es ganadero o Rosa es costurera.
Premisa 2. J uan no es ganadero.
Conclusin. Rosa es costurera.
Simblicamente sea:
p: J uan es ganadero.
81

Asignatura: Finanzas II
Asignatura: Lgica
q: Rosa es costurera.
Entonces:
Premisa 1. p v q
Premisa 2. ~p
q
6. Adicin (LA). Expresa el hecho de que si se tiene una proposicin
verdadera, se concluye con la disyuncin de esta proposicin y otra
cualquiera.
Ejemplo:
Sean las proposiciones:
p: Este libro es azul
q: Este libro es rojo
Premisa 1. Este libro es azul.
Conclusin. Este libro es azul o este libro es rojo.
Entonces:
Premisa 1. p
p v q
7. Ley del Silogismo Hipotetico (HS). Indica que la condicional es
transitiva.
Ejemplo:
Premisa 1. Si el agua se hiela, entonces sus
molculas forman cristales
Premisa 2. Si las molculas forman cristales,
entonces el agua aumenta de
volumen.
Conclusin. Si el agua se hiela, entonces aumenta
de volumen.
Simblicamente sea:
p: El agua se hiela.
q: Sus molculas forman cristales
r: El agua aumenta de volumen
Entonces:
Premisa 1. p q
Premisa 2. q r
p r
82

Asignatura: Finanzas II
Asignatura: Lgica
8. Ley del Dilema Constructivo (DC). Empieza con una disyuncin y
dos condicionales.
Ejemplo:
Premisa 1. Llueve o el campo esta seco.
Premisa 2. Si llueve, entonces jugaremos
adentro.
Premisa 3. Si el campo esta seco, entonces
jugaremos baloncesto.
Conclusin: J ugaremos adentro o jugaremos
baloncesto.
Simblicamente sea:
p: Llueve.
q: El campo esta seco
r: J ugaremos adentro
s: J ugaremos baloncesto
Entonces:
Premisa 1. p v q
Premisa 2. p r
Premisa 3. q s
r v s
Mtodos de deduccin natural.
Sea la siguiente inferencia en su forma lgica:
Prueba Directa (PD).
1. Si hay abundancia de peces, entonces habr abundante harina de
pescado
2. Si hay abundante harina de pescado, entonces se incrementa la
exportacin.
3. 3. La exportacin no se incrementa.
4. Hay abundancia de peces o ser preciso recurrir a otras actividades
Luego, ser preciso recurrir a otras actividades
Determinamos las variables proposicionales:
p: Hay abundancia de peces
q: Hay abundancia de harina de pescado.
r: Se incrementa la exportacin.
83

Asignatura: Finanzas II
Asignatura: Lgica
s: Sera preciso recurrir a otras actividades
Simblicamente se expresa as:
1. p q
2. q r
3. ~r
4. p v s / s
Efectuamos las derivaciones:
5. p r HS 1,2
6. ~p MT 5,3
7. s SD 4,6
Habindose obtenido la conclusin, puede afirmarse que la
inferencia original es vlida.
Este mtodo se aplica en los casos en que una inferencia tenga
conclusin condicional o implicativa. Siendo la conclusin una formula
condicional necesariamente tendr antecedente y consecuente. Para
saber si una conclusin de este tipo se deriva de las premisas dadas se
agrega el antecedente de la conclusin a las premisas, y, luego,
aplicando a este nuevo conjunto de premisas las reglas o leyes lgicas,
se realizan las derivaciones.
Prueba Condicional (PC).
1. Se toma primeramente su antecedente y se introduce como una
nueva premisa (PA: premisa adicional).
Procedimiento:
2. Se efectan las derivaciones hasta hallar el consecuente de la
conclusin.
3. Se une implicativamente la premisa adicional con el ultimo paso
logrado volviendo la demostracin hacia la izquierda, a la posicin
original.
4. Ejemplo: Sea la forma inferencial siguiente:
5. s r
6. s v p
7. p q
84

Asignatura: Finanzas II
Asignatura: Lgica
8. r t / ~q t
9. Introducimos la premisa adicional:
10. ~q (antecedente de la conclusin)
11. Efectuamos las derivaciones:
12. ~p MT 3,5
13. s SD 2,6
14. r MP 1,7
15. t MP 4,8
16. Se unen implicativamente la premisa adicional con el ultimo paso
logrado:
17. ~q t PC 5,9
Resulta de la fusin de la regla de la prueba condicional y de la nocion
de contradiccin. Consiste en introducir como premisa adicional la
negacin de la conclusin para llegar a encontrar una contradiccin en
las premisas.Es decir, se supone la falsedad del consecuente para llegar
a la falsedad del antecedente, mostrando de esta manera que la
conclusin se halla implicada en las premisas (demostracin indirecta).
Prueba por l a reduccin al absurdo (PRA).
1. Se niega la conclusin y se introduce como una nueva premisa
(premisa adicional).
Procedimiento.
2. Se efectan las derivaciones hasta encontrar una contradiccin.
3. Se une en forma condicional o implicativa la premisa adicional con la
contradiccin hallada, a travs de la regla de la prueba condicional
(PC), volviendo la demostracin a la posicin original.
4. Se establece la conclusin deseada como una inferencia
lgicamente deducida de las premisas originales, aplicando la regla
de la prueba por la reduccin al absurdo (PRA):
5. [p (q . ~q)] ~p
85

Asignatura: Finanzas II
Asignatura: Lgica
6. Ejemplo: Sea la forma inferencial siguiente:
7. ~(p . q)
8. ~r q
9. ~p r / r
10. Se introduce la premisa adicional:
11. ~r (premisa adicional =negacin de la conclusin)
12. Efectuamos las derivaciones:
13. p MT 3,4
14. q MP 2,4
15. ~p v ~q De Morgan 1
16. ~p SD 7,6
17. p . ~p A 5,8 (contradiccin)
18. Se aplica la regla de la PC:
19. ~r (p . ~p) PC 4,9
20. Se aplica la regla de la PRA:
21. r PRA 10
ACTIVIDADES
Realizar las siguientes demostraciones utilizando las leyes reglas de
inferencia:
1.1. 1. p q
2. ~q
3. ~p r / ~(~r)
1.2. 1. ~A ~B
2. B / A
1.3 1. G H
2. ~G ~(~F)
1.17. 1. (~P . Q) (~R v ~S)
2. ~(P v ~Q)
3. (T v M) . (N . P)
4. ~(R . S) ~T / (P . M) v (P . ~Q)
1.18 1. ~P ~T
2. R ~(P . ~Q)
3. (P Q) ~P
3. ~H / F 4. R . S / S . ~T
86

Asignatura: Finanzas II
Asignatura: Lgica
3. ~H / F
1.4. 1. x =y x =z
2. x =z x =1
3. x =0 x= 1
4. x =y / x= 0
1.5 1. x =y y =z
2. y =z y =w
3. y =w y =1
4. y = 1 / y =W
1.6. 1. B
2. B ~D
3. A v D / A . B
1.7. 1. T P v Q
2. ~(~T)
3. ~Q / P
1.8. 1. ~P . Q R
2. (~P . Q) v ~T
3. T . ~S / (R v U) .
~S
1.9. 1. P . ~T
2. S T
3. S v Q
4. Q v P U / U
1.10. 1. x +2 = 5 v 2x =6
2. x +2 = 5 x= 3
3. 2x 2 =8 2x = 6
4. x +3 =8 . 2x 2 =8
/ x= 3 v x >2
1.11. 1. ~R S
2. S P . Q
4. R . S / S . ~T
1.19. 1. (~P v Q) v ~R
2. S P
3. ~T v Q
4. S v T / R Q
1.20. 1. ~(R v S) v T
2. P ~T
3. ~P S / R S
1.21. 1. R S
2. P v R
3. P Q / ~Q (S v R)
1.22. 1. (P . Q) (R v S)
2. ~R . ~S / P ~Q
1.23. 1. P ~Q
2. R v ~S
3. S v ~P
4. ~R / P(~Q . ~S . R)
1.24. 1. P Q
2. Q ~R
3. S v T
4. R v ~S / ~T ~P
1.25. 1. ~P
2. ~R T
3. S v P / ~(R . S) T
1.26. 1. ~P v ~Q
2. Q v ~S
3. (P ~S) ~T
4. ~R v T / ~R
1.27. 1. R ~Z
87

Asignatura: Finanzas II
Asignatura: Lgica
3. R T
4. ~T / Q
1.12. 1. ~S
2. P ~Q
3. Q . ~R
4. ~P (~S ~M) / ~M
1.13 1. ~(P Q) v ~R
2. Q v (~Q . ~P)
3. Q . (~Q v R)
4. T /
(
(~P v S) . T
1.14. 1. x = y y <x
2. (x >5 y <x) y =5
3. y = 5 v x =6
4. x >5 x= y / x =6 v x >6
1.15. 1. (P ~Q) T
2. T ~(Q S)
3. ~Q v ~T
4. ~(P . Q) / (~P v W) . ~S
1.16. 1. (P . Q) v ~[~(R P)]
2. (~P . R) . (Q v R)
3. (P ~S) ~[~(P ~Q)] /
(S v M) . R
2. (T v S) R
3. Z v ~S
4. ~T / ~(T v S)
1.28. 1. P (Q R)
2. P (S T)
3. P . (Q v S)
4. ~R / T
1.29. 1. (P ~Q) . (Q R)
2. R P
3. ~S Q / S
1.30. 1. (P ~Q) . (R S)
2. (~Q T) . (S ~X)
3. (T ~Y) . (~X Z)
4. P . R / ~Y . Z
I. Aplique las implicaciones notables y obtenga la conclusin de cada
una de los siguientes argumentos:
1. Si los eucaliptos no crece, entonces o necesitan a ms agua o
necesitan mejor abono. Los eucaliptos no crecen. Luego.
2. Si es imposible que la matemtica sea ambigua y difcil de
comprender, entonces la matemtica no es una ciencia exacta.
88

Asignatura: Finanzas II
Asignatura: Lgica
Es imposible que la matemtica sea ambigua y difcil de
comprender. Luego.
3. La teora de la relatividad no es absoluta. Si la materia no es
eterna y Dios existe, entonces la teora de la relatividad es
absoluta. Luego
4. Si J uan asiste a clases y cumple con sus tareas, entonces
obtendr buenas notas si aprueba el ao acadmico. No es el
caso que si aprueba el ao acadmico entonces obtenga buenas
notas. Luego
5. No es posible que las manzanas sean duras y las naranjas sean
cidas, o las uvas sean verdes, Las manzanas son duras y las
naranjas son cidas. Luego,
6. El vendedor de helados obtiene buenas ganancias, y no es el
caso que los helados sean caros o no se vendan en la playa.
Luego
7. Si Coprnico deca la verdad entonces los planetas giran
alrededor del sol, y la hiptesis de Tolomeo fue errnea entonces
la Tierra no es plana. Coprnico deca la verdad o la hiptesis de
Tolomeo fue errnea. Luego
8. Si los astronautas viajan a Marte, entonces llevarn vveres y
oxgeno, y si los astronautas viajan a explorar el espacio o a traer
muestras de la Luna, entonces llevarn instrumentos especiales.
Pero, los astronautas viajan a Marte, o viajan a explorar el
espacio o a traer muestras de la Luna. Por lo tanto,
89

Asignatura: Finanzas II
Asignatura: Lgica
Tema N 8: LGICA CUANTIFICACIONAL (LC)
IMPORTANCIA Y PROPIEDADES CATEGRICAS
TPICAS
La lgica cuantificacional, predicativa o de los trminos (clases o
conjuntos) es aquella que permite hacer un anlisis mas profundo,
refinado y riguroso que la lgica proposicional. La razn bsica es que
esta lgica permite el anlisis de la CANTIDAD y CALIDAD de las
proposiciones llamadas CATEGRICAS. Ejemplo:
Todos los alumnos son inteligentes
Si bien la lgica proposicional es un instrumento relativamente potente
para el anlisis de las inferencias tiene tambin, no obstante sus
virtudes, sus limitaciones. Ejemplo:
La siguiente inferencia es intuitivamente vlida:
Todos los hombres son mortales. Scrates es un hombre. Por lo tanto
Scrates es mortal.
Sin embargo si la analizamos a travs del lenguaje y los mtodos de la
lgica proposicional nos daremos cuenta, que ella no sera lgicamente
vlida.
La LC es llamada tambin "lgica de las proposiciones analizadas" ya
que, a diferencia de la lgica proposicional, no slo analiza la conexin
y/o relacin lgico estructural entre las distintas proposiciones sino que
tambin analiza la estructura interna de estas, esto es, cmo los
distintos elementos internos de cada proposicin estn estructurados y/o
conectados entre s a la vez que interproposicionalmente.
Importancia de la Lgica Cuantificacional
Trmino de cantidad
de Universal
Cual idad: Afirmati va
90

Asignatura: Finanzas II
Asignatura: Lgica
1. Smbolos pri miti vos
Variables proposicionales: p, q, r, s, ...
Conectivas u operadores: , ., v, ,
Smbolos auxiliares: ( ), [ ], I I
Variables individuales: a, b, c, d,
Constantes individuales: x, y, z,
Smbolos predicativos: F, G, H,
Cuantificadores: (), ()
2. Regl as de Formacin
Todo smbolo proposicional es una FBP.
Todo predicado seguido de una variable individual o una constante
individual es una FBF
Si A es una FBF, entonces A tambin lo es.
Si A y B son FBF, entonces:
A . B ; A v B; A B ; A B. Tambin son FBF
Las constantes individuales, por otro lado, tiene por funcin representar
a cualquier variable individual, no en el sentido de metavariable sino en
el sentido genrico de que ese lugar debe ser ocupado por algn sujeto
u objeto aunque no sabemos exactamente cul en particular. En ese
sentido es similar a la funcin que cumplen las variables x, y, z, en el
algebra o a, b, c, en la aritmtica, las cuales indican que representan un
nmero si bien, por si mismas, no nos dicen que nmero es.
Por ejemplo:
Algunos pjaros =Algunos x que son pjaros.
Algunos solteros o casados =Algunos x que son solteros o algunos y
que son casados.
Todos los cocodrilos =Todos los x que son cocodrilos.
Los smbolos predicativos representan, por otro lado, no a los objetos
(individuos) que poseen tales o cuales propiedades sino a dichas
propiedades. Se representan con las letras maysculas del alfabeto, de
la A hasta la Z, pudindose utilizar, en caso de necesitarse mayores
smbolos predicativos, smbolos con subndices.
Presentacin del l enguaj e de LC
91

Asignatura: Finanzas II
Asignatura: Lgica
Proceso genrico de formalizacin de enunci ados en LC
Se realiza a travs de las letras maysculas del alfabeto. Por ejemplo,
los predicados 'mortal', 'inmortal', 'envenenado' se suelen representar
por las letras maysculas 'M', 'I' y 'E' respectivamente.
Formalizacin de enunciados con variables individuales y trminos
predicativos. Ejemplos:
Asignando un trmino predicativo:
Pepe es mortal: Formalizacin: Mp
p M
Casos:
Primer caso
Mario es gordo y J esualdo es delgado. :
Formalizacin: Gm . Dj
Segundo caso
Miriam y J avier son primos : Formalizando: Pmj . Pjm
m j P
Si se tendra como ejemplo: 'Miriam es prima de J avier', en este caso la
formalizacin hubiese sido: Pmj.
Formalizacin de trmi nos predicati vos
Todos los enunciados formalizados en LC, para el anlisis de validez,
debern incluir cuantificadores, estos, como sabemos, pueden ser el
universal () que se lee "para todo(s)" y el particular () que se lee
"existe algn(os)".Ejemplos:
Todos los x son sapos.
Formalizando el trmino cuantificacional tendramos:
( x) x es sapo
A su vez, si asumimos que 'sapo' es un trmino predicativo,
tendramos el siguiente esquema:
Formalizacin de cuantificadores
92

Asignatura: Finanzas II
Asignatura: Lgica
(x) Sx : Que se lee 'Para todo x, x es sapo'
Los cuatro esquemas proposicionales bsicos
El Universal Afirmativo
Su forma es: 'Todos los S
son P'
Donde:
P' representa cualquier
predicado posible.
'S' cualquier objeto del
cual se predica.
Formalizando tenemos:
(S) PS
Que se lee: 'Para todo S,
S es P
El Universal Negativo
Su forma es: 'Ningn S es
P'
Donde:
'P' representa cualquier
predicado posible.
'S' cualquier objeto del
cual se predica.
Formalizando tenemos:
(S) PS
Que se lee: 'Para todo S, S
no es 3
El Parti cular Afirmativo
Su forma es: 'Algunos S que
son P
Donde:
'P' representa cualquier
predicado posible.
'S' cualquier objeto del cual
se predica.
Formalizando tenemos:
( S) PS
Que se lee: 'Existe(n)
algn(os) S que son P'
EI Parti cular Negativo
Su forma es: 'Algunos S
no son P'
Donde:
'P' representa cualquier
predicado posible.
'S' cualquier objeto del
cual se predica.
Formalizando tenemos:
( S) PS
Que se lee: 'Existe(n)
algn(os) S que no son 3'
93

Asignatura: Finanzas II
Asignatura: Lgica
El cuadro de oposicin es un instrumento que nos permite
establecer de manera automtica una serie de relaciones lgicas
interproposicionales para proposiciones categricas.
Subalternante (S) 3S Contrarios (S) 3S Subalternante
El cuadro bsico de oposi cin
Subalterna (S) 3S Sub contrarios (S) 3S Subalterna
Expliquemos el cuadro. Supongamos que tenemos el enunciado
'Todos los x son mortales', que simbolizamos como (x)Mx, el
enunciado lgicamente contrario es 'Ningn x es mortal', que
simbolizamos como (x)Mx. En ese sentido, generalizando,
podemos concluir que un enunciado universal afirmativo
cualquiera es contrario a un enunciado universal negativo
cualquiera siempre y cuando ambos se refieran al mismo objeto y
tengan el mismo predicado (si bien uno afirmativo y el otro
negativo).
Por otro lado, como un enunciado universal engloba o abarca un
enunciado particular, entonces los enunciados particulares, tanto
positivos como negativos, son subordinados o subalternos a los
enunciados universales respectivos los cuales son as los
subordinantes o subalternantes.
Finalmente, si nosotros sostenemos un enunciado de la forma
'Todos los x son ' estamos diciendo que todos los individuos u
objetos de una clase determinada poseen la caracterstica , por lo
tanto basta que un individuo de la clase x no posea la
caracterstica , para contradecir a lo mentado por el primer
Contradictorios
94

Asignatura: Finanzas II
Asignatura: Lgica
enunciado. As, si decimos que todos los x son negros y luego
aparece aunque sea un x que no es negro, ese solo hecho basta
para contradecir nuestro primer enunciado.
ACTIVIDADES
A. Formalice los siguientes enunciados (no use cuantificadores)
1. J uan juega.
2. Maria trabaja.
3. Pepe es abogado y Melchor es ingeniero.
4. Si Bernardo trabaja, J ose estudia. Pero si Bernardo no
trabaja, entonces J ose tendr que hacerlo.
5. Ganare la Tinka slo en el caso que acierte los seis
nmeros.
B. Formalice los siguientes enunciados (use cuantificadores)
1. Algunos x son abogados.
Todos los x son estudiantes y empleados.
2. Algunos x son profesionales.
3. Algunos x trabajan y otros estudian.
4. Ningn x es militar ..
C. Determine el enunciado que cumple con la relacin lgica que
se Ie pide
1. El subalterno de: 'Ningn x trabaja'.
2. El contrario de: 'Todos los x son futbolistas'.
3. El contradictorio de: 'Algunos x no son grises'.
4. El sub contrario del contradictorio del contrario de:
'Todos los xson hombres.'
5. El subalternante del contradictorio del contrario de:
'Ningn x est vivo.
95

Asignatura: Finanzas II
Asignatura: Lgica
Tema N 9: PROPIEDADES LGICAS DE LOS
CUANTIFICADORES
Las reglas de intercambio de cuantificadores son relaciones lgicas
de equivalencia que permiten reemplazar un cuantificador universal
por otro particular y viceversa. A continuacin pasaremos a explicar
las cuatro reglas bsicas de intercambio de cuantificadores.
Reglas de intercambio de cuantificadores
Supongamos que tenemos el siguiente enunciado: 'Todos los x son
abogados'.
Este enunciado nos dice que una propiedad distintiva de todos los
individuos x es ser abogados. Por lo tanto es equivalente al
enunciado: 'No existe algn x que no sea abogado'.
Formalizando tenemos el siguiente esquema para el caso del
primer enunciado: (x) Ax. Y el siguiente esquema para el segundo
enunciado: (x) Ax. Por lo que podemos formular la siguiente
equivalencia lgica:
(x) Ax (x) Ax
Ahora bien, si sostenemos que representa cualquier predicado
lgicamente posible podemos formular esta primera regla de
manera general del siguiente modo:
(x) x (x) x
Primera regla
Supongamos que tenemos el siguiente enunciado: 'Ningn x es
abogado'
Este enunciado nos dice que una propiedad distintiva de todos los
individuos x es no ser abogados. Por lo tanto es equivalente al
enunciado: 'No existe algn x que sea abogado'
Formalizando tenemos el siguiente esquema para el caso del
primer enunciado: (x) Ax. Y el siguiente esquema para el
segundo enunciado: (x) Ax. Por lo que podemos formular la
siguiente equivalencia lgica:
(x) Ax (x) Ax
Segunda regla
96

Asignatura: Finanzas II
Asignatura: Lgica
Ahora bien, si sostenemos que representa cualquier predicado
l6gicamente posible podemos formular esta primera regla de
manera general del siguiente modo:
(x) x (x) x
Supongamos que tenemos el siguiente enunciado: 'Algunos x son
abogados'
Este enunciado nos dice que una propiedad distintiva de algunos de
los individuos x es ser abogados. Por lo tanto es equivalente al
enunciado: 'No todos los x son no abogados' (ya que existen
algunos x que s loson).
Formalizando tenemos el siguiente esquema para el caso del
primer enunciado: (x) Ax. Y el siguiente esquema para el segundo
enunciado: (x) Ax. Por lo que podemos formular la siguiente
equivalencia lgica:
(x) Ax (x) Ax
Ahora bien, si sostenemos que representa cualquier predicado
lgicamente posible podemos formular esta primera regla de
manera general del siguiente modo:
(x) x (x) x
Tercera regla
Supongamos que tenemos el siguiente enunciado: 'Algunos x no
son abogados'
Este enunciado nos dice que una propiedad distintiva de algunos de
los individuos x es no ser abogados. Por lo tanto es equivalente al
enunciado: 'No todos los x son abogados' (ya que existen algunos x
que no lo son).
Formalizando tenemos el siguiente esquema para el caso del
primer enunciado: (x)Ax. Y el siguiente esquema para el segundo
enunciado: (x) Ax. Por lo que podemos formular la siguiente
equivalencia lgica:
(x)Ax (x) Ax
Cuarta regla
Ahora bien, si sostenemos que representa cualquier predicado
16gicamente posible podemos formular esta primera regla de
manera general del siguiente modo:
97

Asignatura: Finanzas II
Asignatura: Lgica
(x) x (x) x
Estas reglas pueden aplicarse fcilmente a proposiciones del tipo
categricas, por ejemplo, sea la proposicin: (x) (Sx Px).
Si consideramos la primera proposicin nos dice 'Todos los S son
P', entonces es fcil deducir su equivalente: 'No existe algn S que
no sea P' Lo cual representamos formalmente del siguiente modo:
(x) (Sx .Px).
El alcance de un cuantificador es el rango del alcance de este,
hacia la derecha, para ligar las ocurrencias o apariciones de la
variable a que este se refiere. Este alcance esta limitado por los
signos de agrupacin. Veamos algunos casos:
Alcance de los cuantificadores
A. (x) (Ex) . (y) (Py)
B. (x) (Ax . By)
C. (x) [Ax (Bx . Cx)]
En el caso a), el alcance del cuantificador universal es slo hasta
cierre del primer parntesis, esto es, cuantifica slo la variable
adjunta al termino predicativo 'E'. Por otro lado, el alcance del
cuantificador particular abarca slo a la variable adjunta al termino
predicativo 'P'.
En el caso b), el alcance del existencial abarca slo la variable
adjunta al termino predicativo 'A' puesto que la variable adjunta a
'B' no es la variable cuantificada 'x' sino la variable sin cuantificar
'y'.
Casi distinto es el de c), en este esquema todas las ocurrencias de
la variable 'x' estn abarcadas por el cuantificador universal puesto
que el alcance de este va desde el inicio del corchete hasta el final
de este.
98

Asignatura: Finanzas II
Asignatura: Lgica
Un esquema o frmula se considera abierto slo si por lo menos
una ocurrencia de por lo menos una de sus variables del tipo x, y,
z, no esta bajo el alcance de un cuantificador (variable libre).
Un esquema o frmula se considera cerrado slo si todas las
ocurrencias de todas sus variables estn bajo el alcance de un
cuantificador (variable ligada).
Para que un esquema en LC o una inferencia formalizada en LC
pueda ser analizada en una prueba de validez, se requiere que sea
una frmula cerrada. Ya que slo si esta delimitada o cuantificada
todas las variables del tipo x, y, z podemos saber con exactitud la
verdad o falsedad del enunciado, esto es, recin en ese caso es
una proposici6n en trminos de LC.
En caso de que luego del proceso de una formalizacin de una
inferencia en LC hayan quedado variables del tipo x, y, z, libres se
proceder a ligar estas, para cerrar el esquema, por medio de
cuantificadores universales. Por otro lado, si estamos frente a un
esquema en LC que tiene variables libres se proceder a ligar
estas introduciendo cuantificadores universales en las posiciones
pertinentes.
Ci erre de esquemas
Esquemas abi ertos y cerrados
99

Asignatura: Finanzas II
Asignatura: Lgica
Tema N 10: MTODOS DECISORIOS
Como este tema ya ha sido explicado en detalle en la parte corres-
pondiente a LP aqu slo nos ocuparemos de algunas reglas
adicionales que son necesarias para trabajar en LC as como
tambin a presentar de manera genrica dicho metodo.
Estas reglas se requieren ya que nicamente las frmulas cerradas
son consideradas in stricto sensu proposiciones, por lo que slo se
trabajan con esquemas totalmente cuantificados.
No obstante lo anterior, para poder aplicar las distintas reglas de
equivalencia y de implicancia (en general las reglas de inferencias),
se requiere que los distintos elementos que componen los
esquemas proposicionales se encuentren libres por lo que, durante
el proceso operativo, no pueden estar cuantificados. De ah la
necesidad de estas reglas.
Reglas lgicas de introduccin y eliminacin de
cuantificadores
Consiste en eliminar el cuantificador universal y reemplazar la
variable cuantificada por una variable libre ya sea una constante
individual o una variable individual. Por ejemplo:
Sea el esquema el siguiente: (x)(Hx Px)
Por la Regla de Eliminacin del Universal obtenemos el siguiente
esquema no cuantificado: Hx Px. Tambin es posible: Hy Py, o
incluso Ha Pa
Por que? Porque una proposicin con un cuantificador universal
nos dice que todos los elementos que constituyen la clase tienen la
caracterstica que se predica por lo que puede ser cualquiera de
ellos en general (simbolizado por la misma constante 'x' o si
queremos por otra constante) o cualquiera de ellos en concreto
(simbolizado en este caso por las variables de individuo 'a',
tambin poda haber sido cualquier otra)
Generalizando: (x) x

Regla de Eliminacin del Universal (EU)


Donde: '' representa cualquier enunciado posible (tanto categrico
tpico como no), '' representa a cualquier individuo, ya sea en
100

Asignatura: Finanzas II
Asignatura: Lgica
general (constante individual) o en concreto (constante individual) y
'x' representa una variable cuantificada.
Es la regla inversa a la anterior. En ella iniciamos con un esquema
no cuantificado, por ejemplo; Hy Py.
Este esquema es luego cuantificado, pero, as como al
descuantificar en el caso anterior se reemplaz una variable
cuantificada por otra no cuantificada, igual, en este caso, tenemos
que reemplazar la variable no cuantificada por otra cuantificada.
Por la Regla de Introduccin del Universal obtenemos el siguiente
esquema cuantificado: (x) (Hx Px).
No seguimos usando 'y' por cuanto es una variable no cuantificada,
por lo que, al cuantificar el esquema es necesario reemplazar
tambin la variable cuantificada por otra. Sin embargo no tiene por
qu ser necesariamente 'y' -podra tambin haber sido 'z', '', etc.
esto es cualquier constante o variable la que estuviese
descuantificada y luego hubiramos de cuantificar.
Generalizando:
(x) x
Donde: '' representa cualquier enunciado posible (tanto categrico
tpico como no), '' representa a cualquier individuo, ya sea
variable individual o constante individual y 'x' representa ''
cuantificada.
Regla de Introduccin del Universal (IU)
El procedimiento es similar al de la eliminacin del Universal
nicamente con la salvedad que indicaremos mas adelante.
Consiste en eliminar el cuantificador existencial y reemplazar la
variable cuantificada por una variable libre ya sea una constante
individual o una variable individual. Por ejemplo:
Sea el esquema el siguiente: (x) (Hx . Px).
Por la Regla de E El obtenemos el siguiente esquema no
cuantificado: Hy . Py.
Regla de Eli minacin del Existencial (EE)
No seguimos usando 'x' por cuanto es una variable cuantificada,
por lo que, al descuantificar el esquema es necesario reemplazar
101

Asignatura: Finanzas II
Asignatura: Lgica
tambin la variable cuantificada por otra. Sin embargo no tiene por
que ser necesariamente 'y' -podra tambin haber sido 'z'- sino que
hemos decidido usar 'y' ya que 'y' sigue en orden alfabtico a 'x'.
Generalizando: (x) x

Donde: ' ' representa cualquier enunciado posible (tanto
categrico tpico como no), '' representa a cualquier individuo, ya
sea variable individual o constante individual y 'x' representa una
variable cuantificada.
Llegados a este punto es necesario indicar la salvedad a la que
nos referimos anteriormente. Cuando se aplica la Eliminacin del
Existencial el objeto de referencia cuantificado debe ser
reemplazado por un nombre propio o constante individual esta no
tiene que haber sido aun utilizada, para evitar confusiones. De ah
que en caso de tener que aplicar una EU y una EE, se proceda
primero con la EE y luego, al aplicar la EU se represente la variable
descuantificada de este ltimo por aquella que reemplaza a la del
existencial.
Si no se hace esto entonces podemos llegar de premisas como
'hay un animal que es murcilago' y 'hay un animal que es ballena'
a concluir que 'hay animales que son simultneamente murcilagos
y ballenas' Por qu? Por que al reemplazar los respectivos
existenciales se utiliz la misma variable o constante.
Es la regla inversa a la anterior. En ella iniciamos con un esquema
no cuantificado, por ejemplo; Hy . Py.
Este esquema es luego cuantificado, pero, as como al
descuantificar en el caso anterior se reemplaz una variable
cuantificada por otra no cuantificada, igual, en este caso, tenemos
que reemplazar la variable no cuantificada por otra cuantificada.
Por la Regla de Introduccin del Existencial obtenemos el siguiente
esquema cuantificado: (x) (Hx . Px).
Regla de Introduccin del Existencial (IE)
Al igual que en los casos anteriores, no seguimos usando 'y' por
cuanto es una variable no cuantificada, por lo que, al cuantificar el
esquema es necesario reemplazar tambin la variable cuantificada
por otra. Sin embargo no tiene por que ser necesariamente 'x'
102

Asignatura: Finanzas II
Asignatura: Lgica
podra tambin haber sido 'z', 'a', etc. esto es cualquier constante o
variable la que estuviese descuantificada y luego hubiramos de
cuantificar.
Generalizando: (x) x

Donde: '' representa cualquier enunciado posible (tanto categ6rico
tpico como no), '' representa a cualquier individuo, ya sea
variable individual o constante individual y 'x' representa ''
cuantificada.
Se sigue el mismo procedimiento mencionado slo que se pueden
ir "eliminando" las constantes 'x', 'y', 'z' reemplazndola por alguna
que ya este presente.
Ejemplo:
(x) (y) (Axy Axy)
Podramos eliminar 'y' quedarnos slo con 'x' reemplazando 'y' por
'x' al momento de eliminar el cuantificador e indicndolo de la
siguiente manera 'x/y'. Este artificio es til cuando se realizan
anlisis de validez para proposiciones con predicados de grado dos
o superiores.
El procedimiento es el mismo que el visto para LP slo que ahora
tenemos las cuatro reglas adicionales acabadas de presentar. En
ese sentido, ms que dar una explicacin terica de este, lo que
haremos ser realizar la presentacin de algunos casos. En todos
ellos procederemos a travs de la Prueba Directa, sin embargo
tambin pueden implementarse las pruebas Condicional y por
Reduccin al Absurdo:
Metodo decisorio: Derivaciones
Para inferencias con proposiciones categricas tpicas
Sea nuestra inferencia a analizar la siguiente:
"Todos los hombres son mortales. Scrates es hombre. Por lo tanto
Scrates es mortal"
Primer anlisis de caso
103

Asignatura: Finanzas II
Asignatura: Lgica
El lector recordar que al inicio de nuestro estudio de LC
analizamos esta inferencia bajo LP y vimos que el resultado era que
dicha inferencia era lgicamente invlida. Tambin recordara el
lector que nosotros sostuvimos que no lo era y que si as apareca
en LP era por la falta de potencia de dicho lenguaje lgico. Pues
bien, ha llegado la hora de cumplir con lo ofrecido y demostrar en el
lenguaje de LC que esta inferencia s es valida.
Formalizando tenemos:
1. (x) (Hx Mx)
2. Hs / Ms
Que se lee:
Para todo x, si x es hombre entonces x es mortal. Scrates es
Hombre.
Por lotanto Scrates es Mortal.
Aplicando las reglas inferencia que hemos aprendido podemos
proceder de la siguiente manera para probar la validez de la
siguiente inferencia.
3. Hs Ms De 1 por EU
4. Ms De 2 y 3 por MP
De este modo hemos demostrado que la inferencia es valida ya que
de las premisas dadas s se deriva la conclusin propuesta.
Sea la inferencia a analizar:
Todas las criaturas agresivas son vistas con desconfianza. Todas
las vboras son criaturas agresivas. Luego, todas las vboras son
vistas con desconfianza.
Formalizando tenemos:
Segundo anlisis de caso:
1. (x) (Cx Vx)
2. (x) (Ix Cx) / (x) (Ix Vx)
Que se lee:
Para todo x, si x es una criatura agresiva entonces x es vista con
desconfianza. Para todo x, si x es una vbora, entonces x es una
criatura agresiva. Por lo tanto, para todo x, si x es una vbora,
entonces x es vista con desconfianza.
104

Asignatura: Finanzas II
Asignatura: Lgica
Aplicando las reglas de inferencia que hemos aprendido podemos
proceder de la siguiente manera para probar la validez de la
inferencia formalizada.
3. Cx Vx De 1 por EU
4. Ix Cx De 2 por EU
5. Ix Vx De 4 y 3 por SH
6. (x)(Ix Vx) De 5 por IU
Al igual que en el caso anterior, de este modo hemos demostrado
que la inferencia es vlida ya que de las premisas dadas s se
deriva la conclusin propuesta.
Una inferencia asilogstica es un razonamiento en cuya estructura
hay proposiciones cuyo esquema no se corresponde con el de las
proposiciones categricas tpicas. Sin embargo es necesario hacer
la salvedad que nosotros nos ocuparemos nicamente de
esquemas bsicos, esto es, esquemas que contienen una sola
variable de individuo.
El procedimiento visto es universal, esto es, puede aplicarse tanto
a proposiciones categricas como no categricas. En ese sentido,
lo nico que cambia es el aspecto formal de las premisas y / o de
las conclusiones mas metodolgicamente todo se mantiene igual.
Veamos ahora un caso de inferencia con proposiciones no
categricas.
Las hostales son baratas pero sucias. Adems algunas hostales
son srdidas. Por lo tanto algunas cosas baratas son srdidas.
Como se trata de un caso de inferencia asilogstica iremos
explicando nuestro procedimiento de manera mas detallada.
En primer lugar tenemos que formali zar:
El primer enunciado (premisa) sostiene que las hostales son a la
vez que baratas, sucias. En otras palabras ambas propiedades se
predican del mismo sujeto de manera general, de ah que su
simbolizacin sea:
(x) [Hx (Bx . Sx)]
Para inferencias asilogsticas
105

Asignatura: Finanzas II
Asignatura: Lgica
El segundo enunciado (segunda premisa) sostiene que algunas
hostales tienen la propiedad de ser srdidas. Como no se trata de
las hostales en general sino de algunas, procede el cuantificador
existencial. Formalizando tenemos:
(x) (Hx . Ox)
Como trmino predicativo de 'srdido' no podemos usar 'S' puesto
que ya ha sido utilizada en la anterior premisa para representar
'sucio', de ah que utilicemos 'O'.
Finalmente el tercer enunciado (conclusin) sostiene que algunas
cosas baratas son srdidas. Igual que en caso anterior, estamos
frente a un predicado existencial. Formalizando:
(x) (Bx Bx)
Pasemos ahora a la determinacin de la validez de la inferencia ya
formalizada:
1. (x) [Hx (Bx . Sx)]
2. (x) (Hx . Ox) / (x) (Bx Sx)
3. Ha . Oa De 2 por EE
4. Ha (Ba Sa) De 1 por EU
5. Ha De 3 por Simp.
6. Ba Sa De 4 y 5 por MP
7. (x) (Bx Sx) De 6 por IE
Con esto hemos demostrado que la conclusin si se deriva de las
premisas por locual la inferencia es valida.
En base a lo anterior podemos decir que, de manera
extremadamente general, la estrategia a seguir en una prueba de
validez para una inferencia en LC es la siguiente:
Resumen de la estrategia demostrativa
1. Formalizacin de la inferencia.
2. Eliminacin de los cuantificadores siguiendo las reglas
respectivas.
106

Asignatura: Finanzas II
Asignatura: Lgica
3. Derivacin de la conclusin utilizando tanto las Reglas de
Implicancia como las Reglas de Equivalencia.
4. Introduccin de cuantificadores siguiendo las reglas
respectivas.
Consiste de probar que la conclusin propuesta no se deriva de las
premisas dadas. Dos son los mtodos ms comunes: Refutacin
por analoga y Refutacin a travs del Cuadro de la Oposicin.
La prueba de invalidez
1. Refutacin por analoga: Este mtodo consiste en buscar un
razonamiento estructuralmente idntico al que se desea refutar
pero que ponga en evidencia que la estructura lgica
subyacente a dicho argumento no es vlida. Veamos un
ejemplo:
Tenemos el siguiente razonamiento: Todos los demcratas son
opositores de los republicanos, algunos delegados son
opositores de los republicanos, por lo tanto; algunos delegados
son demcratas.
Un razonamiento anlogo pero con una conclusin absurda es
el siguiente: Todos los leones son carnvoros, algunas aves son
carnvoras, por lotanto; algunas aves son leones.
De este modo, por analoga lgica, se ha demostrado o probado
la invalidez de la inferencia analizada.
2. Refutacin a travs del Cuadro de Oposicin: Aqu la
refutacin esta basada en relacin lgica. Si podemos demostrar
respecto a la conclusin de una inferencia o incluso a un
enunciado que un enunciado o inferencia lgicamente
contradictoria con el primero es vlida, se concluye que el
primero no loes. De ah que, a manera de hiptesis, se parta del
enunciado contradictorio para derivar de ella negacin del
enunciado primitivo. Veamos un ejemplo:
Sea nuestra conclusin o enunciado primitivo: Todos los
Hombres son inmortales.
El enunciado lgicamente contradictorio es: Algunos hombres no
son inmortales.
Se parte de la hiptesis lgicamente contradictoria pero ya
formalizada:
107

Asignatura: Finanzas II
Asignatura: Lgica
1. (Ha . Ia)
Ahora se intenta derivar la negacin del enunciado original.
Veamos:
2. (x) (Hx . Ix) De 1 por IE
3. (x) (Hx v Ix) De 2 por TDM
4. (x) (Hx Ix) De 3 por Def. Cond.
5. (x) (Hx Ix) De 4 por Reg. Interc. Cuant.
De este modo hemos probado que de la hiptesis lgicamente
contradictoria s se deriva la negacin de la conclusin o enunciado
original. Con ello queda demostrada la invalidez del enunciado
original.
ACTIVIDADES
A. Construya una prueba de validez para las siguientes inferencias
1. (x) (Ax Bx)
2. (x) (Cx Ax) / (x) (Cx Bx)
3. (x) (Ax v Bx)
4. (x) (Fx .Ax) / (x) (Fx v Bx)
5. (x) (y) (Mxy Myx) / (x) (M xx)
Para este ejercicio, reemplcese la 'y' por la 'x' al eliminar el
Universal.
B. Formalice las siguientes inferencias y luego efecte una prueba
de validez
1. Todos los hombres son racionales. Ningn delfn es
racional. Por tanto, ningn delfn es un hombre.
2. Existen abogados no corruptos. Luego, no todos los
abogados son corruptos.
3. Si son personas altas o fuertes, entonces son
guardaespaldas o agentes de seguridad. Por tanto, todas
las personas fuertes son guardaespaldas.
108

Asignatura: Finanzas II
Asignatura: Lgica
4. Si una primera persona es bisabuela de una segunda,
entonces la segunda no puede ser bisabuela de la primera.
En consecuencia, ninguna persona es bisabuela de si
misma. (Para realizar la prueba de validez reemplcese la
'y' por 'x' al eliminar el cuantificador)
109

Asignatura: Finanzas II
Asignatura: Lgica
TERCERA UNIDAD
Tema N 11: RELACIONES INTERNAS
Si A, B son conjuntos, una relacin de A en B es cualquier subconjunto
de A X B. A los subconjuntos de A X A se les llama relaciones internas.
a) Definimos la relacin R sobre el conjunto Z como a R b, o (a,b) e R, si
a s b. Este subconjunto de Z X Z es la relacin ordinaria menor o igual
que sobre el conjunto Z, y tambin puede definirse sobre Q o R, pero no
sobre C.
b) Para el universo U = {1, 2, 3, 4, 5, 6, 7}consideremos el conjunto C _
U donde C ={1, 2, 3, 6}, definimos la relacin R sobre P(U) como A R B
si A C = B C. Entonces los conjuntos {1, 2, 4, 5}y {1, 2, 5, 7}estn
relacionados, ya que {1, 2, 4, 5} C ={1, 2}={1, 2, 5, 7} C
Definicin 11.1
Una relacin R sobre un conjunto A es Reflexiva si para todo x e A, (x,x)
e R. Decir que la relacin R es reflexiva significa simplemente que cada
elemento x de A se relaciona consigo mismo.
Para A ={1, 2, 3, 4}una relacin R _ A es reflexiva si y solo si:
R _ {(1, 1), (2, 2), (3, 3), (4, 4)}
Definicin 11.2
Una relacin R sobre un conjunto A es Simtrica si (x, y) e R (y, x) e
R, para todo x, y e A
Si A ={1, 2, 3}, tenemos:
Definicin 11.3
a) R
1
={(1, 2), (2, 1), (1, 3), (3, 1)}es una relacin simtrica pero no es
reflexiva
b) R
2
={(1, 1), (2, 2), (3,3), (2, 3), (3, 2)}es una relacin simtrica y
tambin reflexiva.
Una relacin R sobre un conjunto A es transitiva si para todo x, y, z e A,
(x, y), (y, z) e R (x, z) e R
Definicin 11.4
Definimos la relacin R sobre el conjunto Z
+
como a R b si a divide
exactamente a b; es decir, b =ca para algn c e Z
+
. Ahora bien, si x R y
110

Asignatura: Finanzas II
Asignatura: Lgica
y y R z, tenemos x R z. Sabemos que x R y y =sx para algn s e Z
+
y y R z z =ty donde t e Z
+
. En consecuencia, z =ty =t(sx) =(ts)x para
ts e Z
+
, por lo que obtenemos x R z y R es transitiva.
Dada una relacin R sobre un conjunto A, R es antisimetrica si para todo
a, b e A (a R b y b R a) a =b. (En este caso, la nica forma en que
podramos tener a relacionado con b y b relacionado con a es cuando
a y b son el mismo elemento de A
Definicin 11.5
Una relacin R sobre un conjunto A es un orden parcial, o una relacin
de orden parcial, si R es reflexiva, antisimetrica y transitiva.
El ejemplo de la definicin 11.1 es un orden parcial
Definicin 11.6
Una relacin de equivalencia R sobre un conjunto A es una relacin que
es reflexiva, simtrica y transitiva
Si A ={1, 2, 3}, entonces:
R1 ={(1. 1), (2, 2), (3, 3)},
R2 ={(1, 1), (2, 2), (2, 3), (3, 2), (3, 3)}y
R3 ={(1, 1), (1, 3), (2, 2), (3, 1), (3, 3)}
Son relaciones de equivalencia sobre A
Definicin 11.7
ACTIVIDADES
1. Si A ={1, 2, 3, 4}de un ejemplo de una relacin sobre A que sea:
a) Reflexiva y simtrica, pero no transitiva
b) Reflexiva y transitiva, pero no simtrica
c) Simtrica y transitiva, pero no reflexiva
2. Para cada una de las siguientes relaciones, determine si la relacin es
reflexiva, simtrica, antisimetrica o transitiva:
a) R es la relacin sobre Z tal que a R b si a divide exactamente a b
b) R es la relacin sobre Z tal que x R y si x +y es par
c) R es la relacin sobre Z tal que x R y si x y es par
111

Asignatura: Finanzas II
Asignatura: Lgica
d) R es la relacin sobre Z
+
tal que x R y si mcd(a, b) = 1; es decir si a y
b son primos relativos.
e) R es la relacin sobre Z X Z tal que (a, b) R (c, d) si a s b
3. Cual de las relaciones del ejercicio anterior son rdenes parciales y
cuales son de equivalencia
4. Si A = {w, x, y, z}determine el numero de relaciones sobre A que son
(a) reflexivas, (b) simtricas, (c) reflexivas y simtricas y (d)
antisimetricas.
5. Qu tiene de incorrecto el siguiente argumento?
Sea A un conjunto y R una relacin sobre A. Si R es simtrica y
transitiva, entonces R es reflexiva
5. Una relacin R sobre un conjunto A es irreflexiva si para todo a e
A, (a, a) e R
a) De un ejemplo de una relacin R sobre Z tal que R sea
irreflexiva y transitiva pero no simtrica
b) Sea R una relacin no vaca sobre un conjunto A. Demuestre
que si R satisface dos cualesquiera de las siguientes
propiedades (irreflexiva, simtrica y transitiva) entonces no
puede satisfacer la tercera
112

Asignatura: Finanzas II
Asignatura: Lgica
Tema N 12: ELEMENTOS NOTABLES DE UNA
RELACION
Si R es un orden parcial sobre un conjunto finito A, construimos un
Diagrama de Hasse para R sobre A trazando un segmento de x hacia
arriba, hacia y, si x, y e A son tales que x R y y, lo que es mas
importante, si no existe otro elemento z e A tal que x R z y z R y. (As,
no hay nada en medio de x y y). Si adoptamos el convenio de leer el
diagrama de abajo hacia arriba, no es necesario dirigir las aristas.
Definimos R sobre A ={1, 2, 3, 4}como x R y si x divide exactamente a
y. Entonces R ={(1, 1), (2, 2), (3, 3), (4, 4), (1, 2), (1, 3), (1, 4), (2, 4) es
un orden parcial y (A, R) es un conjunto parcialmente ordenado. Si
consideramos el grafo dirigido, la figura (a) es la representacin grafica
de R y la figura (b) es el diagrama de Hasse de R.
Definicin 12.1
Cuando sabemso que una relacion R es un orden parcial sobre un
copnjunto A, podemos eliminar los lazos de los vertices de su grafo
dirigido. Como R es transitiva, basta con tener las aristas (1, 2) y (2, 4)
para garantizar la existencia de la arista (1, 4).
Si (A, R) es un conjunto parcialmente ordenado, decimos que A es
totalmente ordenado si para todo x, y e A ocurre que x R y o y R x.
En este caso decimos que R es un orden total
Definicin12.2
Sobre el conjunto N, la relacin R dada por x R y si x s y es un orden
total
113

Asignatura: Finanzas II
Asignatura: Lgica
Si (A, R) es un conjunto parcialmente ordenado, entonces un elemento x
e A es un elemento maximal de A si para todo a e A, a = x x no esta
relacionado con a. Un elemento y e A es un elemento minimal de A si
para todo b e A, b = y, entonces b no esta relacionado con y.
Sea U ={1, 2, 3}y A =P(U)
Definicin 12.3
a) Sea R la relacin de inclusin sobre A. Entonces U es maximal y C
es minimal para el conjunto parcialmente ordenado (a, _)
b) Para B, la coleccin de subconjuntos propios de {1, 2, 3}. Sea R la
relacin de inclusin sobre B. En el conjunto parcialmente ordenado (B,
_), los conjuntos {1, 2}, {1, 3}y {2, 3}son elementos maximales; C sigue
siendo el nico elemento minimal
Si (A, R) es un conjunto parcialmente ordenado, entonces decimos que x
e A es un elemento mnimo se x R a para todo a e A. El elemento y e A
es un elemento mximo si a R y para todo a e A.
Sea U ={1, 2, 3}y R la relacin de inclusin
Definicin 12.4
a) Si A =P(U), el conjunto parcialmente ordenado (A, _) tiene a C
como elemento mnimo y U como elemento mximo.
b) Si B es la coleccin de los subconjuntos no vacios de U, el conjunto
parcialmente ordenado (B, _) tiene a U como elemento mximo. En
este caso no existe el elemento mnimo, pero hay tres elementos
minimales.
Sea (A, R) un conjunto parcialmente ordenado con B _ A. Un elemento x
e A es una cota inferior de B si x R b para todo b e B. De manera
similar, un elemento y e A es una cota superior de B si b R y para todo b
e B.
Definicin 12.5
Un elemento x e A es un nfimo de B si es una cota inferior de B y si
para todas las dems cotas inferiores x de B tenemos que x R x. En
forma anloga, ye A es un supremo de B si es una cota superior de B y
si y R y para todas las dems cotas superiores y de B.
Definicin 12.6
114

Asignatura: Finanzas II
Asignatura: Lgica
Sea U ={1, 2, 3, 4}, con A =P(U) y sea R la relacin de inclusin sobre
A. Si B ={{1}, {2}, {1,2}}, entonces {1, 2}, {1, 2, 3}, {1, 2, 4}y {1, 2, 3, 4}
son cotas superiores para B, mientras que {1, 2}es supremo para B. Por
otro lado, un nfimo para B es C, que no esta en B.
ACTIVIDADES
1. Trace el diagrama de Hasse para el conjunto parcialmente ordenado
(P(U), _) Tal que U ={1, 2, 3, 4}
2. Sea A ={1, 2, 3, 6, 9, 18}y defina R sobre A por x R y si x divide
exactamente a y. Trace el diagrama de Hasse para el conjunto
parcialmente ordenado (a, R)
3. Sean (A, R
1
), (B, R
2
) dos conjuntos parcialmente ordenados. En A X
B, defina la relacin R como (a, b) R (x, y) si a R
1
x y b R
2
y. Demuestre
que R es un orden parcial.
4. Si las relaciones R
1
y R
2
del ejercicio anterior son ordenes parciales.
Es R un orden total?
5. Demuestre que un conjunto parcialmente ordenado finito (A, R) tiene
un elemento minimal.
6. Demuestre que si un conjunto parcialmente ordenado (A, R) tiene un
elemento mnimo, este es nico.
7. De un ejemplo de un conjunto parcialmente ordenado con cuatro
elementos maximales pero que no tenga elemento mximo.
8. Sea U ={1, 2, 3, 4}, con A =P(U) y sea R la relacin de inclusin
sobre A. Para cada uno de los siguientes subconjuntos B (de A),
determine el nfimo y el supremo:
a) B ={{1},{2}}
b) B ={{1},{2},{3},{1,2}}
c) B ={C,{1},{2},{1,2}}
9. Sea U ={1, 2, 3, 4, 5, 6, 7}, con A =P(U) y sea R la relacin de
inclusin sobre A. Para B ={{1},{2},{2,3}}_ A determine:
a) El numero de cotas superiores para B
b) El numero de cotas inferiores para B.
115

Asignatura: Finanzas II
Asignatura: Lgica
Tema N 13: INTRODUCCION A LA TEORIA DE
GRAFOS
Sea V un conjunto finito no vacio, y sea E _ V x V. El par (V, E) es un
grafo dirigido (sobre B), donde V es el conjunto de vrtices, o nodos y E
es el conjunto de aristas. Escribimos G =(V, E) para denotar tal grafo
dirigido o dgrafo.
Definicin 13.1
La figura de la izquierda es un grafo no dirigido y la de la derecha es un
dgrafo.
En la figura a) se muestra un grafo no dirigido, este grafo es una forma
mas compacta de describir el grafo dirigido de la figura b)
116

Asignatura: Finanzas II
Asignatura: Lgica
Sean x, y vrtices (no necesariamente distintos) de un grafo no dirigido
G =(V, E). Un camino x y en G es una sucesin alternada finita (sin
lazos) de vrtices y aristas de G, que comienza en l vrtice x y termina
en el vrtice y. La longitud de un camino es n, el nmero de aristas que
hay en el camino. (Si n =0, no existen aristas, x =y, y el camino se
denomina trivial.
Cualquier camino x y donde x = y (y n > 1) es un camino cerrado, en
caso contrario el camino es abierto.
Definicion 13.2
Consideremos un camino x y en un grafo no dirigido G =(V, E)
Definicin 13.3
a) Si no se repite ninguna arista en el camino x y, entonces el camino
es un recorrido x y. Un recorrido x x cerrado es un circuito.
b) Cuando ningn vrtice del camino x y se presenta mas de una vez,
el camino es un camino simple x y. El termino ciclo se usa pata
describir un camino simple cerrado x x
Sea G =(V, E) un grafo no dirigido. Decimos que G es conexo si existe
un camino simple entre cualesquiera dos vrtices distintos de G.
El siguiente grafo no dirigido no es conexo:
Definicin 13.4
117

Asignatura: Finanzas II
Asignatura: Lgica
Para cualquier grafo G =(V, E), el numero de componentes de G se
denota por k(G).
Para los grafos de la definicin 13.1 k(G) = 1 y para el grafo de la
definicin 13. 4 k(G) =2
Definicion 13.5
Un grafo G =(V, E) es un multgrafo si existen a, b e V, a = b, con dos o
mas aristas de la forma (a) (a, b) (para un grafo dirigido) o (b) {a, b}
(para un grafo no dirigido).
La siguiente figura muestra un multgrafo dirigido, donde hay 3 aristas de
a hacia b, por lo que podemos decir que (a, b) tiene multiplicidad 3:
Definicin 13.6
Si G =(V, E) es un grafo (dirigido o no), entonces G
1
=(V
1
, E
1
) es un
subgrafo de G.
Definicion 13.7
La figura muestra un grafo no dirigido G y dos de sus subgrafos G
1
y G
2
.
Los vrtices a y b son aislados en el subgrafo G
1
. La parte (b) de la
118

Asignatura: Finanzas II
Asignatura: Lgica
figura nos muestra un ejemplo de grafo dirigido. Aqu el vrtice w es
aislado en G:
Sea V un conjunto de n vrtices: El grafo completo sobre V, que se
denota con K
n
, es un grafo no dirigido sin lazos tal que para todo a, b e
B, a = b, existe una arista {a, b}.
La figura proporciona los grafos completos K
n
, para 1 s n s 4
Definicin 13.8
Sean G
1
=(V
1
, E
1
) y G
2
=(V
2
, E
2
) dos grafos no dirigidos. Una funcin f:
V
1
V
2
es un isomorfismo de grafos si (a) f es inyectiva y sobreyectiva
Definicion 13.9
119

Asignatura: Finanzas II
Asignatura: Lgica
y (b) para todo a, b e V
1
, {a, b}e E
1
si y solo si {f(a), f(b)}e E
2
. Cuando
existe tal funcin, G
1
y G
2
son grafos isomorfos.
En la siguiente figura (a) y (b) son isomorfos, sin embargo (c) y (d) no
son grafos isomorfos:
ACTIVIDADES
1. Para el grafo de la siguiente figura, determine (a) un camino de b a d
que no sea un recorrido; (b) un recorrido b d que no sea un
camino simple: (c) un camino simple de b a d; (d) un camino cerrado
de b a b que no sea un circuito; (e) un circuito de b a b que no sea
un ciclo:
2. Para el grafo de la figura anterior Cuntos caminos simples existen
de b a f?
3. Cuntos caminos simples diferentes existen entre los vrtices a y f
en el grafo dado:
120

Asignatura: Finanzas II
Asignatura: Lgica
4. Si G = (V, E) es un grafo no dirigido con , V , = v, , E , = e y no hay
lazos, demuestre que 2e s v
2
v
5. Encuentre todos los grafos no dirigidos no isomorfos (sin lazos) con
cuatro vrtices. Cuntos de estos grafos son conexos?
6. Cuntos caminos simples de longitud 4 hay en el grafo completo
K
7
?
7. El entrenador Rodrguez debe planear un calendario para los cinco
equipos de futbol de su liga. Si cada equipo juega contra otros dos,
disee un calendario posible usando un grafo.
121

Asignatura: Finanzas II
Asignatura: Lgica
Tema N 14: RECORRIDOS Y CIRCUITOS
EULERIANOS
Sea G un grafo o multgrafo no dirigido. Para cualquier vrtice v de G, el
grado de v, que se denota como grad(v), es el numero de aristas en G
que son incidentes con v. En este caso, un lazo en un vrtice v se
considera como dos aristas incidentes en v.
Para el grafo de la figura:
Definicin 14.1
grad(b) = grad(f) = grad(g) = grad(c) = grad(d) = 4; grad(e) =0 y grad(h)
= 1. Para el vrtice a se tiene que grad(a) = 3 ya que contamos el lazo
dos veces. Como h tiene grado 1, se le llama vrtice colgante.
Si G = (v, E) es un grafo o multgrafo no dirigido, entonces
E
v
e
V
grad(v) = 2 , E ,
Teorema
Un grafo o multgrafo no dirigido donde los vrtices tienen el mismo
grado se denomina grafo regular. Si grad(v) = k para todos los vrtices v,
entonces el grafo es k regular. Es posible tener un grafo 4 regular
con 10 aristas?
Del teorema anterior 2 , E , = 20 = 4 , V ,, por lo que tenemos 5 vrtices
de grado 4. La figura proporciona dos ejemplos no isomorfos que
satisfacen lo solicitado:
Definicin 14.2
122

Asignatura: Finanzas II
Asignatura: Lgica
Sea G =(V, E) un grafo o multgrafo no dirigido sin vrtices aislados.
Entonces G tiene un circuito euleriano si existe un circuito en G que
recorre cada arista del grafo exactamente una vez. Si existe un recorrido
abierto de a hacia b en G que recorre cada arista de G exactamente una
vez, este recorrido se llamara recorrido euleriano.
Definicion 14.3
Si G es un grafo o multgrafo no dirigido sin vrtices aislados, entonces
podemos construir un recorrido euleriano en G si y solo si G es conexo y
tiene exactamente dos vrtices de grado impar.
Definicin 14.4
Sea G =(V, E) un grafo o multgrafo dirigido. Para cualquier v e V
Definicin 14.5
a) El grado de entrada de v es el numero de aristas de G que llegan a v
y se denota como ge(v)
b) El grado de salida de v es el numero de aristas de G que parten de v
y se denota con gs(v).
c) Si el grafo o multgrafo dirigido tiene uno o mas lazos, cada lazo de
un vrtice dado v contribuye con una unidad a ge(v) y a gs(v)
Sea G un grafo o multgrafo dirigido sin vrtices aislados. El grafo G
tiene un circuito euleriano dirigido si y solo si G es conexo y ge(v) =gs(v)
para todo v e V.
Teorema
123

Asignatura: Finanzas II
Asignatura: Lgica
ACTIVIDADES
1. Determine , V , para los siguientes grafos o multgrafos G.
a) G tiene nueve aristas y todos los vrtices tienen grado 3
b) G es regular con 15 aristas
c) G tiene 10 aristas don dos vrtices de grado 4 y los dems de
grado 3.
2. Si G = (V, E) es un grafo conexo con , E , = 17 y grad(v) > 3 para todo
v e V, Cul es el valor mximo para , V ,?
3. Sea G = (V, E) un grafo conexo no dirigido.
a) Cul es el valor mas grande posible para , V , si , E , =19 y
grad(v) > 4 para todo v e V.
b) Trace un grafo para mostrar cada caso posible de la parte (a)
4. Sea G =(V, E) un grafo no dirigido conexo sin lazos, que sea 3
regular. SI , E , = 2 , V , - 6. cuanto valen , V , y , E ,?
5. a) Sea v = {a, b, c, d, e, f}. Dibuje 3 grafos no dirigidos sin lazos G1 =
(V, E1), G2 =(V, E2) y G3 =(V, E3) tales que, en los tres grafos,
grad(a) = 3, grad(b) = grad(c) = 2 y grad(e) = grad(f) = 1
b) Cuntos de los grafos de la parte (a) son conexos?

You might also like