Académique Documents
Professionnel Documents
Culture Documents
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