Documente Academic
Documente Profesional
Documente Cultură
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP1Prof. C.Duran
| 37
38 |
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP1Prof. C.Duran
8. Todo lo reprimido tiene que permanecer inconsciente; pero queremos dejar sentado
desde un principio que no forma por s solo todo el contenido de lo inconsciente. Lo
reprimido es, por tanto, una parte de lo inconsciente. (S. Freud, Lo inconsciente ).
9. ``Y porque la condicin del hombre (...) es una condicin de guerra de todos contra
todos, en la cual cada uno se rige por la propia razn, y no hay nada de lo que pueda
hacer uso que no pueda servirle de ayuda para preservar su vida contra sus enemigos;
se sigue de ah que, en tal situacin, cada hombre tiene derecho para cualquier cosa;
aun para el cuerpo de los dems. Y, por consiguiente, todo el tiempo que dure ese
derecho natural de cada hombre para cualquier cosa, no puede haber seguridad para
nadie (...), de vivir durante todo el tiempo que la naturaleza concede normalmente
vivir a los hombres''. (T. Hobbes, Leviathan)
10.
``Si se llegara al punto en que dispusiramos de los medios de conocer lo que
sucede en el cerebro de una persona y pudiramos usar esto como base para predecir
lo que har, y adems si este conocimiento se extendiera a nuestra propia conducta
futura, es improbable que nuestra actual visin de la vida permaneciera la misma.''
(A. Ayer, El concepto de persona)
11.
``El hombre forma parte de un todo poltico y es conducido por un impulso
ntimo hacia tal asociacin. De acuerdo con esto, el hombre, que siendo el primero en
formar una asociacin de tal naturaleza, fue el mayor beneficiado. Porque el hombre,
al perfeccionarse, es el mejor de los animales; pero sin ley y sin justicia es el peor de
todos.'' (Aristteles, Poltica)
12.
''S, y si los bueyes y los caballos y leones tuvieran manos y pudieran pintar con
sus manos y elaborar obras de arte como hacen los hombres, los caballos pintaran a
sus dioses como caballos, los bueyes como bueyes, y haran sus cuerpos a la imagen
de sus diversas especies.'' (Jenfanes, Fragmento 15)
13.
``La madera, las piedras, el fuego, el agua, la carne, el hierro y las cosas
semejantes que yo nombro y de que hablo son cosas que yo conozco. Y no las habra
conocido si no las hubiere percibido por mis sentidos; y las cosas percibidas por los
sentidos son percibidas inmediatamente, y las cosas inmediatamente percibidas son
ideas, y las ideas no pueden existir fuera de la mente; por lo tanto, su existencia
consiste en ser percibidas ...'' (G. Berkeley, Tres dilogos entre Hylas y Philonous)
14.
``A ... [la] guerra de todos contra todos va inherente esto: que nada puede ser
injusto. Las nociones de derecho y no derecho, de justicia e injusticia, no tienen aqu
lugar. Donde no hay poder comn, no hay ley; donde no hay ley, no hay injusticia.''
(T. Hobbes, Leviathan)
15.
``Es intil que llame -dijo el Criado- y esto por dos razones: primero, porque los
dos estamos del mismo lado de la puerta; segundo, porque all dentro estn haciendo
tal ruido, que sera imposible que la oyeran.''(L. Carroll, Alicia en el pas de las
maravillas)
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP1Prof. C.Duran
16.
``..., si sabemos que existe algn ser real, y que el no-ser no puede producir
ningn ser real, es una demostracin evidente de que algo ha existido desde toda la
eternidad, puesto que lo que no ha existido desde toda la eternidad, tiene comienzo; y
lo que tiene comienzo, debe ser producido por algn otro.'' (Locke, Ensayo sobre el
entendimiento humano )
17.
``Si todo tiene que tener una causa, entonces Dios debe tener una causa. Si
puede haber algo sin causa, igual puede ser el mundo que Dios,... No hay razn por la
cual el mundo no pudo haber nacido sin causa; tampoco, por el contrario, hay razn
de que hubiera existido siempre.''(Bertrand Russell, Por qu no soy cristiano)
18.
En primer lugar -continu Scrates- estoy persuadido de que si la tierra est en
medio del cielo y es de esta forma esfrica, no tiene necesidad del aire ni de ningn
otro apoyo para no caer, sino que el cielo mismo, que la rodea por todas partes, y su
propio equilibrio bastan para que se sostenga, porque todo lo que est en equilibrio en
medio de una cosa que le oprime igualmente por todos los puntos, no puede inclinarse
a ningn lado, y por consiguiente subsiste fija e inmvil; sta es mi persuasin.
(Platn, Fedn o Del Alma).
19.
``-Eso no puede ser -respondi don Quijote-: digo que no puede ser que haya
caballero andante sin dama, porque tan propio y tan natural les es a los tales ser
enamorados como al cielo tener estrellas, y a buen seguro que no se haya visto
historia donde se halle caballero andante sin amores ''-Luego si es de esencia que todo
caballero andante haya de ser enamorado -dijo el caminante-, bien se puede creer que
vuestra merced lo es, pues es de la profesin.''(M. de Cervantes, Don Quijote)
20.
El Universo es as uno, infinito e inmvil ... No se mueve con un movimiento
local porque no hay nada fuera de l a dnde dirigirse, ya que l lo es todo. No se
genera a s mismo puesto que no hay ninguna otra cosa que pueda desear o buscar, ya
que l contiene a todos los seres. No es corruptible, puesto que no existe nada fuera
de l en lo que pueda transformarse, ya que l es todas las cosas. No puede disminuir
ni aumentar, ya que es infinito ... no puede ser alterado de ninguna forma puesto que
no hay nada exterior por lo que se pueda padecer y de lo que pudiera ser afectado''.
(Giordano Bruno, De la Causa).
21.
``La cantidad de fuerza que obra en el universo es determinada, no es ``infinita''
... Por consiguiente, el nmero de las posiciones, variaciones, combinaciones y
desarrollos de esta fuerza es ciertamente enorme y prcticamente ``incalculable'', pero
siempre determinado y nunca infinito. Pero el tiempo en que esta fuerza se desarrolla
es infinito, es decir, esa fuerza es eternamente igual y eternamente activa; hasta este
momento ha transcurrido ya un infinito, esto es, ya se han verificado todos los
posibles desarrollos de dicha fuerza. Por consiguiente, tambin todos los desarrollos
momentneos deben ser repeticiones.'' (Nietzsche, El eterno retorno)
| 39
40 |
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP1Prof. C.Duran
Ejercicio (2)
(a) Abstraiga la forma lgica de los siguientes argumentos reemplazando las
expresiones que representan clases o conjuntos por las letras A, B, C,....
(b) Encuentre un contraejemplo que demuestre que son invlidos:
1. Algunos tringulos son equilteros, dado que todos los tringulos son polgonos y
que algunos polgonos son equilteros.
2. Todo verdadero artista es sensible. Ningn hombre de negocios es un verdadero
artista. Por lo tanto, ningn hombre de negocios es sensible.
3. Ningn perro es gato. Ningn gato es ave. De ah que ningn perro sea ave.
4. Todos los cordobeses son argentinos. Ningn sanjuanino es cordobs. Se infiere que
todos los sanjuaninos son argentinos.
5. No todo cristiano es metodista; pues algunos cristianos no son protestantes y
1. TODOS LOS PERROS SON MAMIFEROS
algunos protestantes no son metodistas.
ALGUNOS MAMIFEROS SON GATOS
ALGUNOS PERROS SON GATOS
Ejercicio (3)
Distinga los argumentos deductivos de los no deductivos.
1. Una ecografa del tero de una mujer embarazada a partir de los siete meses puede
confirmar en forma positiva el sexo masculino de su hijo cuando se observan sus
genitales, pero slo con una cierta probabilidad el sexo femenino ya que si la
observacin de los mismos da un resultado negativo puede deberse tanto a su
ausencia como a su indetectabilidad desde el ngulo de visin alcanzado.
2. Cada vez que Silvina cumple aos me aburro en su fiesta. Maana estoy invitado al
cumpleaos de Silvina; as que probablemente maana me aburrir en su fiesta.
3. El Dr. Lpez investig la aparicin de casos de clera en el noroeste argentino y
descubri que la causa era la falta de agua potable que impeda lavar adecuadamente
los alimentos y tener buenas condiciones higinicas. El Dr. Lpez fue contratado por
el Gobierno de la provincia de Buenos Aires para solucionar el problema de la alta
incidencia del clera en una zona de esa provincia. Por consiguiente es probable que
el Dr. Lpez investigue la existencia o inexistencia de cloacas y de agua potable en
ese lugar.
4. Acabo de analizar toda la informacin publicada por el National Geographic acerca
de los cambios climatolgicos ocurridos en la ltima dcada. Teniendo en cuenta los
datos disponibles concluyo que el prximo invierno va a ser ms fro y hmedo que
los dos anteriores.
5. El micro de las 8.15hs habitualmente no se retrasa ms de 5 minutos. Son las 8.25hs.
Infiero que he perdido el micro.
6. Puesto que se necesitan al menos 2,3 segundos para accionar el cerrojo del rifle del
asesino, ste no pudo haber disparado 3 tiros en 5,6 segundos o menos, ya que
hubiera necesitado 6,9 segundos para hacerlo.
7. Los anales de la medicina registran que de cada 100 seres humanos que han nacido,
49 son del sexo masculino. Dada la cantidad y variedad de poblaciones analizadas
podemos concluir que la probabilidad de nacimiento de un ser humano de sexo
masculino es, en funcin de los datos, de 0,49.
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP1Prof. C.Duran
| 41
42 |
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP1Prof. C.Duran
Premisa 2: Donde no hay poder comn, no hay ley; donde no hay ley, no
hay injusticia.
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP1Prof. C.Duran
caer, sino que el cielo mismo, que la rodea por todas partes, y su
propio equilibrio bastan para que se sostenga.
Argumento 2:
(a) Premisa: Si la tierra est en medio del cielo y es de esta forma
esfrica, no tiene necesidad del aire ni de ningn otro apoyo para no
caer, sino que el cielo mismo, que la rodea por todas partes, y su
propio equilibrio bastan para que se sostenga.
(b) Conclusin: La Tierra subsiste fija e inmvil.
19) Hay 2 argumentos.
Argumento 1:
a) Premisa: Tan propio y tan natural les es a los tales [los caballeros
andantes] ser enamorados como al cielo tener estrellas, y a buen seguro
que no se haya visto historia donde se halle caballero andante sin amores.
b) Conclusin: [-Eso no puede ser -respondi don Quijote-: digo que] no
puede ser que haya caballero andante sin dama.
Argumento 2:
a) Premisa: Vuestra merced es un caballero andante.
b) Conclusin: Si es de esencia que todo caballero andante haya de ser
enamorado bien se puede creer que vuestra merced lo es.
20) Hay 9 argumentos.
Argumento 1:
(a) Premisa: El Universo lo es todo.
(b) Conclusin: No hay nada fuera del Universo a dnde dirigirse.
Argumento 2:
a) Premisa: No hay nada fuera del Universo a dnde dirigirse.
b) Conclusin: El Universo no se mueve con un movimiento local.
Argumento 3:
(a) Premisa: El Universo contiene a todos los seres.
(b) Conclusin: No hay ninguna otra cosa que el Universo pueda desear o
buscar.
Argumento 4:
(a) Premisa: No hay ninguna otra cosa que el Universo pueda desear o buscar.
(b) Conclusin: El Universo no se genera a s mismo.
Argumento 5:
(a) Premisa: El Universo es todas las cosas.
(b) Conclusin: No existe nada fuera del Universo en lo que pueda
transformarse.
Argumento 6:
(a) Premisa: No existe nada fuera del Universo en lo que pueda transformarse.
(b) Conclusin: El Universo no es corruptible.
Argumento 7:
(a) Premisa: El Universo es infinito.
(b) Conclusin: El Universo no puede disminuir ni aumentar.
Argumento 8:
(a) Premisa: No hay nada exterior por lo que el Universo pueda padecer y de
lo que pudiera ser afectado
(b) Conclusin: El Universo no puede ser alterado de ninguna forma.
Argumento 9:
(a) Premisa1: El Universo no se mueve con un movimiento local.
| 43
44 |
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP1Prof. C.Duran
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP2Prof. C.Duran
| 45
46 |
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP2Prof. C.Duran
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP2Prof. C.Duran
(2) r (s p)
(3) p (p r)
Ejercicio (7)
Traduzca al lenguaje formal de la lgica proposicional las siguientes oraciones y
determine mediante tablas de verdad si son tautologas, contradicciones o
contingencias:
1) No es cierto que Rosario y Santa Rosa sean ambas ciudades santafesinas; aunque
una de ellas s lo es.
2) Si los contenidos de lgica son adecuadamente seleccionados, entonces los
alumnos la considerarn til o, en el caso contrario, la considerarn intil o la
cuestionarn
Ejercicio (8)
Traduzca al lenguaje formal de la lgica proposicional los siguientes argumentos:
1) Dirs la verdad. Porque si dices la verdad, sers declarado culpable y si mientes
sers declarado culpable. Pero, mentirs o sers declarado culpable.
2) Si llego temprano, te acompao. Por lo tanto, si no te acompao, no llego
temprano.
3) Sabe reflexionar si desdea los prejuicios. Si sabe reflexionar y desdea los
prejuicios, entonces tiene mentalidad racional. En consecuencia, slo si no sabe
reflexionar, carece de mentalidad racional.
| 47
48 |
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP2Prof. C.Duran
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP2Prof. C.Duran
| 49
50 |
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP2Prof. C.Duran
Ejercicio (12)
Decida si las siguientes frmulas son tautologas o no mediante el mtodo indirecto
de asignacin de valores de verdad:
1) (p p)
2) p (p (p p))
3) p (p (p p))
4) (p q) (p q)
5) (p (p q)) p
6) (p p)
7) p (p q)
8) p (q p)
9) ((p (q r)) ((p q) (p r))
10) (((p q) (p q)) (q p)) (p q)
11) ((p q) (q r)) ((p q) (q r))
12) ((p q) (q p)) (p q)
13) ((p q) (p q)) (p q)
14) (((p q) (p r)) (q p)) (p q)
Ejercicio (13)
Decida si los siguientes pares de frmulas son o no lgicamente equivalentes,
mediante el mtodo indirecto de asignacin de valores de verdad:
1) p q
y
p q
2) p q
y
(p q)
3) ((p q) p)
y
p
4) q p
y
pq
5) p (q r)
y
p
6) p q
y
(p q)
7) p q
y
pq
8) p q
y
(p q)
9) (p q) (q r)
y
pr
10) (p q) (q r)
y
(p q) r
11) (p q) (p q) y
(p q)
12) (p q) (p q) y
pq
(p q) (p r)
13) p (q r) y
14) ((p q) (p q)) (p q) y
15) ((p q) (p q)) (p q) y
16) ((p q) (q r)) (r p)
y
pq
(p q)
(p q) (p r)
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP2Prof. C.Duran
Ejercicio (14)
Considere el siguiente razonamiento y suponga que est de acuerdo con las
premisas, debe usted aceptar la verdad de la verdad de la conclusin?:
Si los precios son altos, entonces los sueldos son altos. Los precios son altos o hay
control de precios. Si hay control de precios, entonces no hay inflacin. Hay inflacin.
Por lo tanto, los sueldos son altos.
Ejercicio (15)
Teniendo en cuenta las equivalencias lgicas consignadas en Gamut, pgs.50-51, y
dada la siguiente lista de frmulas encuentre para cada frmula, otra lgicamente
equivalente y expresada en trminos de las conectivas que se solicitan (y en caso
de ser necesario)
1) p q
(empleando )
2) (p q)
(empleando )
3) (p q)
(empleando )
4) p q
(empleando )
5) (p q)
(empleando )
6) p (q r) (empleando )
7) (p q) r (empleando )
8) ((p q) r)
(empleando )
9) (p q) r (empleando )
10) p (q r)
(empleando )
Ejercicio (16)
Dadas tres frmulas tales que: es una tautologa, es una contradiccin y es
una contingencia, determine si las frmulas de la columna izquierda y las de la
derecha son lgicamente equivalentes, o, en caso de que no lo sean, determine si
alguna de ellas implica lgicamente a la otra:
1)
y
2) ( )
y
3)
y
4)
y
5)
y
6)
y
7)
y
Ejercicio (17)
Efecte las siguientes derivaciones empleando las reglas bsicas del sistema de
deduccin natural de Genzten:
1)
p q, r p q r
2)
p q, (q p ) r, r s s q
3)
p q, r q (p r)
4)
p q, p r p (q r)
5)
p, q (r s) s (q p)
6)
p q (p r) (q r)
| 51
52 |
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP2Prof. C.Duran
7)
8)
9)
10)
11)
12)
13)
14)
p, q r (p q) (p r)
p q, r p, r q r s
(p (p q)) p q
(p (q r)) ((p q) r)
p (p q)
p (p q)
(p r) (q s)) ((p q) (r s))
(p q) ((p r) (q r))
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP2Prof. C.Duran
Ejercicio (20)
(a) Traduzca los siguientes argumentos al lenguaje de la lgica proposicional
(b) Determine si son vlidos o no (mediante el mtodo que usted desee).
(c) En caso de ser vlidos demustrelos por deduccin natural:
1) Si las leyes son buenas y su cumplimiento es estricto, disminuir el delito. Si el
cumplimiento estricto de la ley hace disminuir el delito, entonces nuestro problema
es la corrupcin. Las leyes son buenas, luego nuestro problema es la corrupcin.
2) No es verdad que o bien termin el trabajo o bien fue incapaz de terminarlo; por
consiguiente fue capaz de terminarlo.
3) Si la vctima tena dinero en sus bolsillos, entonces el motivo del crimen fue el
robo. Pero el motivo del crimen fue o bien el robo o bien la venganza. Luego, el
motivo del crimen debe haber sido la venganza.
4) Si Dios quiere impedir el mal entonces no es maligno. Si Dios puede impedir el
mal entonces no es impotente. El mal existe slo si Dios no quiere o no puede
impedirlo. El mal existe. Si Dios existe entonces no es impotente ni maligno.
Luego, Dios no existe.
5) Si Dios no quiere impedir el mal entonces es maligno. Si Dios no puede impedir el
mal entonces es impotente. El mal existe slo si Dios no quiere o no puede
impedirlo. El mal existe. Si Dios existe entonces no es impotente ni maligno.
Luego, Dios no existe.
| 53
54 |
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP2Prof. C.Duran
Soluciones
Ejercicio (1)
1) Diccionario: p: Mara sabe cocinar; q: Mara canta como un jilguero.
p q
2) Diccionario: p: Argentina increment su nivel de exportaciones en el ltimo
lustro; q: Argentina ha logrado equilibrar la balanza comercial.
pq
3) Diccionario: p: Debemos hablar ahora; q: Debemos callar para siempre
(p q)
4) Diccionario: p: Marta y Susana son hermanas, q: Marta es maestra, r: Susana es
maestra.
p (q r)
(Alternativa: (p q) (r s) Diccionario: p: Marta es hermana de Susana, q:
Susana es hermana de Marta, r: Marta es maestra, s: Susana es maestra.)
5) Diccionario: p: Kant es alemn; q: Kant es filsofo.
(p q) q
6) Diccionario: p: eres cobarde; q: tienes conciencia del peligro.
p q
7) Diccionario: p: ir a la playa, q: ir al cine, r: ir caminando, s: ir en bicicleta.
(p q) (r s). Otra alternativa:((p r) (p s)) ((q r) (q s))
8) Diccionario: p: Argentina limita con Mxico; q: Argentina limita con Brasil.
pq
9) Diccionario: (dem 9). : (p q)
10)
Diccionario: (dem 9): p q
11) Diccionario: p: p: Juan ir a tu casa, q: Elsa ir a tu casa.
(q p) (p q) p q
12) Diccionario: p: Tiene un promedio mayor que 8; q: puede inscribirse a la beca.
qp
13) Diccionario: p: Se respetan las normas de trnsito, q: El trnsito mejorar.
qp
14) Diccionario: p: Tienes documento de identidad; q: Puedes votar.
qp
15) Diccionario: p: una figura plana es un tringulo, q: una figura plana es un
triltero.
pq
16) Diccionario: p: n es divisible por 6; q: n es divisible por 2; r: n es divisible por 3.
p (q r)
17) Diccionario: p: hace fro; q: hace calor.
(p p) (q q)
18) Diccionario: p: T tienes talento; q: T triunfars.
(p q) (q p)
19) Diccionario: p: Tienes talento; q: Triunfas.
(q p)
20) Diccionario: p: tu promedio alcanza los 6 puntos, q: t promocionas la materia.
(p q) (q p)
21) Diccionario: p: Vamos a Canad, q: Vamos a Estados Unidos, r: Necesitaremos
visas, s: somos argentinos.
(p q) (s r)
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP2Prof. C.Duran
| 55
56 |
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP2Prof. C.Duran
Ejercicio (3)
1) Es frmula: implicacin material; 2), 3) y 4) no son frmulas, 5) Es frmula:
conjuncin; 6) Es frmula: disyuncin
(1) r p(3,)
(5) (q q) q(3,)
(6) r (q (p r))(3,)
r (1) p(2)
p(1)
q q(3,) q(2)
q(1)q(1)
r (1) (q (p r))(2)
q (p r)(3,)
q(1)
q(1)
p r(3,)
p(2) r(2)
p(1)
r(1)
Ejercicio (4):
1. Llueve.
2. ''Llueve'' comienza con ll y no con y.
3. ''Tringulo'' no tiene 3 lados, aunque los tringulos s.
4. No es cierto que todos los argentinos sean patriotas; por lo tanto argentino y
patriota no son sinnimos.
5. Las palabras tringulo y triltero se refieren a los mismos individuos.
6. Todos los tringulos son trilteros.
7. Todos los tringulos son trilteros es un enunciado verdadero.
8. Delante de p y b se escribe m y no n; por ejemplo, escribiremos
pampa y no panpa.
9. Todo acto moral es libre es verdadero. Ningn acto libre es compelido es
verdadero. Por consiguiente: ningn acto compelido es moral tiene que ser
verdadero.
Ejercicio (5)
1. Toda la oracin est en ML y ''Feriado bancario'' (sin las comillas) es LO.
2. Toda oracin est en MML; ''Feriado bancario'' (sin las comillas) es LO; ''El diario
de hoy public el titular ''Feriado bancario'''' (sin las comillas externas) es ML y ''No
habr feriado bancario'' (sin las comillas) es ML..
3. No hay dos niveles del lenguaje.
4. Toda la oracin est en ML. LO: p y p q
5. Toda la oracin est en ML. LO: p
6. Toda la oracin est en ML. LO: p
7. Toda la oracin est en ML. LO: p q y q p
Ejercicio (6)
Suponga que V(p) = 1 y V(r) = 0 y encuentre el valor de verdad de las siguientes
oraciones:
1. (a) Si V(p) = 1 entonces V(p q) = 1 (por suposicin de partida y def. de )
(b) Si V(p q) = 1 entonces V((p q) r) = 1 (de (a) y por def. de ).
2. (a) Si V(r) = 1 entonces V(r (s p)) = 1 (por def. de ).
3. (a) Si V (p) = 1 y V(r) = 0 entonces V(p r) = 0 (por def. de ).
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP2Prof. C.Duran
| 57
58 |
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP2Prof. C.Duran
10) Diccionario: p: Esta ciudad ser un caos; q: El Municipio aumenta las multas; r:
El trnsito mejora; s: Hay educacin vial.
Traduccin: (r q); ((q s) r); s p / p
11) Diccionario: p: La actuacin es buena; q: La direccin es buena; r: La obra es
premiada; s: La actuacin es premiada; t: La direccin es premiada.
Traduccin: s t; (s t) (p q) / r (p q)
12) Diccionario: p: T mantienes la calma; q: T resuelves el problema; r: T
piensas con tranquilidad; s: T ests en un lugar apartado; t: T ests
acompaado. Traduccin: (p (r q)); (s r); (t r); (s t) r /q
13) Diccionario: p: Alfredo estudia, q: Alfredo aprobar el curso, r: Alfredo toma
apuntes, s: Alfredo presta atencin en clase.
Traduccin: p (q (r s)); r s / q (p s)
14) Diccionario: p: el psicoanlisis es magia, q: el psicoanlisis tiene fundamentos
cientficos, r: Freud se dedic a la investigacin cientfica, s: Freud fue el
iniciador del psicoanlisis.
Traduccin: p q; (r s) q / r s
Ejercicio (9):
Diccionario: p: los gremios son flexibles, q: los empresarios son flexibles, r: se pondr fin
a la huelga, s: el gobierno dicta la conciliacin obligatoria, t: se hace el descuento por los
das de huelga.
Forma lgica: (p q) (r (s t))
frmula (p q) (r (s t))
(i)
10 1 01 0
1 0 1 0 01
(ii)
10 1 10 1
0 1 1 0 01
Ejercicio (10)
2) Vlido
3) Invlido (vase cuando V(p) = 1 y V(q) = V(r) = 0
4) Invlido (vase cuando V(p) = 1 y V(q) = V(r) = 0
5) Vlido
Ejercicio (11)
1) vlido
2) vlido
3) invlido: V(p) = 1; V(q) = V(r) = 0.
4) vlido
5) invlido: V(p) = V(q) = V(r) = 0. La valuacin de s puede ser tanto 0 como 1.
6) invlido: V(p) 0 V(q) = 1 y V(r) = 0
7) invlido: V(p) = V(q) = V(r) = V(s) = 1; V(t) = 0.
8) invlido: V(p) = V(r) = 1; V(q) = V(s) = V(t) = 0.
9) vlido
10) invlido: V(q) = V(r) = V(s) = 0
11) invlido: V(p) = V(q) =1; V(r) = V(s) = 0, entre otras.
12) vlido
13) vlido
14) invlido: V(p) = V(q) = V(r) = V(s) = 1; V(t) = V(u) = 0, entre otras.
15) invlido: V(p) = V(t) = V(u) = 1; V(q) = V(r) = 0, entre otras.
16) vlido
Ejercicio (12)
1) no es tautologa: tanto con V(p) = 1 como con V(p) = 0 se demuestra.
2) tautologa
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP2Prof. C.Duran
3) tautologa
4) tautologa
5) no es tautologa: V(p) = 0
6) tautologa
7) no es tautologa: V(p) = V(q) = 1
8) no es tautologa: V(p) = 0
9) no es tautologa: V(p) = 1; V(q) = V(r) = 0, entre otras.
10) tautologa
11) tautologa
12) no es tautologa: V(p) = V(q) = 0 V(p) = V(q) = 1
13) no es tautologa: V(p) = 0; V(q) = 1
14) no es tautologa: V(p) = V(q) = 1; V(r) = 0
Ejercicio (13)
1) equivalentes
2) equivalentes
3) no equivalentes: V(p) = 0; V(q) = 1; u otra.
4) equivalentes
5) no equivalentes: V(p) = 0; V(q) = V(r) = 1
6) equivalentes
7) no equivalentes: V(p) = 0; V(q) = 1
8) no equivalentes: V(p) = V(q) = 1
9) no equivalentes: V(p) = V(r) = 1; V(q) = 0, entre otras.
10) no equivalentes: V(p) = V(r) = 1; V(q) = 0, entre otras.
11) no equivalentes: V(p) = V(q) = 0
12) no equivalentes: V(p) = V(q) = 0
13) equivalentes
14) equivalentes
15) no equivalentes: V(p) = V(q) = 1
16) no equivalentes: V(p) = 0; V(r) = 1, entre otras.
Ejercicio (14)
S, la verdad de la conclusin se sigue de la verdad de las premisas: dado que el
argumento es vlido, siendo sus premisas verdaderas, su conclusin no puede ser falsa:
p q , p r , r s , s / q
hip.
1
1
1
1
0
0
0 1
0
0
0 0 0
contradiccin
Ejercicio (15)
1) (p q)
2) (p q)
3) p q
4) p q
5) p q
6) p (q r)
7) ((p q) r)
8) (p q) r
9) ((p q) r)
10) p (q r)
| 59
60 |
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP2Prof. C.Duran
Ejercicio (16)
1. Dado que es una tautologa, se cumple que V() = 1 para toda valuacin. Por
df. de , se sigue que V( ) = 1 para toda valuacin. Todas las tautologas
son lgicamente equivalentes. Por lo tanto: y porque
son lgicamente equivalentes.
2. Dado que es una tautologa, se cumple que V() = 1 para toda valuacin. Por
df. se sigue que la disyuncin de una TAUT. con cualquier otra frmula es una
TAUT. Es decir, para toda valuacin V, V( ) = 1. Ahora, por df se sigue
que V(( )) = 0 para toda valuacin V; es decir se trata de una CONTRAD.
Por otro lado, si es una CONTING. tambin lo ser. Dado que ambas
frmulas admiten valuaciones distintas no son lgicamente equivalentes. En
particular se cumple que ( ), porque la primera admite una
valuacin verdadera y la segunda slo admite valuaciones falsas. Por el contrario
( ) , ya que la primera es una CONTRAD.
3. Dado que es una tautologa, se cumple que V() = 1 . Por df. se sigue que la
disyuncin de una TAUT. con cualquier otra frmula es una TAUT. Es decir,
para toda valuacin V, V( ) = 1. Se sigue pues que ambas frmulas
lgicamente equivalentes entre s.
4. Dado que es una tautologa, se cumple que V() = 1 para toda valuacin. De
ah que V() = 0 para toda valuacin V (por df.). Dado que es una
contradiccin, V() = 0 para toda valuacin V. Por df. de se sigue que V(
) = 0 para toda valuacin. Todas las contradicciones son lgicamente
equivalentes, por lo tanto las dos frmulas dadas son lgicamente equivalentes
entre s.
5. Dado que es una contradiccin y es una contingencia, V() = 0 para toda
valuacin y V() = 1 para al menos una valuacin y V() = 0 para al menos una
valuacin. De esto y de la df. se sigue que V( ) = 1 para al menos una
valuacin y V( ) = 0 para al menos una valuacin, es decir, es una
CONTING. Dado que es una TAUT. se cumple que V() = 1 para toda
valuacin. De lo anterior y de la df. se sigue que V( ) = 1 para al menos
una valuacin y V( ) = 0 para al menos una valuacin, es decir es una
CONTING. Ambas frmulas son CONTING. Se cumple que V( ) = V() y
que V() = V( ). Por carcter transitivo son lgicamente equivalentes.
6. Dado que es una tautologa, se cumple que V() = 1 para toda valuacin. Por
df. de , se sigue que V( ) = 1 para toda valuacin. Dado que es una
contradiccin, V() = 0 para toda valuacin, y entonces, V() = 1 para toda
valuacin. Dado que es el antecedente de , y que es una
CONTING., por la df. de , tambin ser una contingencia. De ah se
sigue que porque la primera ser siempre verdadera y la
segunda admite al menos una valuacin falsa. Pero porque la
segunda es una tautologa. Por lo tanto, no son lgicamente equivalentes.
7. Dado que es una tautologa y es una contradiccin, V( ) = 0 para toda
valuacin (por df ) y V( ) = 1 para toda valuacin (por df.). Luego,
pero ( ) ( ). Por ello, no son lgicamente equivalentes.
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP2Prof. C.Duran
Ejercicio (17)
1. 1) p q
2) r p
3) p
4) q
5) r
6) q r
3. 1) p q
2) r q
3) p r
4) p
5) q
6) r
7) q
8)
9) (p r)
sup.
sup
E,2
E,1,3
E,2
I,4,5
2.
sup
sup.
sup.
E,3
E,1,3
E,3
E,2,6
E,5,7
I
5. 1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
p
q (r s)
s
q
(r s)
rs
q
q p
s (q p)
sup.
sup
sup.
sup.
E,2,4
I,3
E,5,6
I
I,1,8
I
7. 1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
p
qr
q
pq
(p q) (p r)
q ((p q) (p r))
r
pr
(p q) (p r)
r ((p q) (p r))
(p q) (p r)
1)
2)
3)
4)
5)
6)
7)
8)
9)
pq
(q p) r
rs
p
q
qp
r
s
sq
4. 1)
2)
3)
4)
5)
6)
7)
pq
pr
p
q
r
qr
p (q r)
6. 1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
sup.
sup
sup.
I,1,3
I,4
I
sup.
I,1,7
I,8
I
E2,6,10
| 61
sup.
sup.
sup.
E,1
E, 1
I, 4,5
E,2,6
E,3,7
I,5,8
sup.
sup.
sup.
E,1,3
E,2,3
I,4,5
I
pq
pr
p
q
qr
p (q r)
r
qr
r (q r)
qr
(p r) (q r)
8. 1)
pq
2)
r p
3)
r q
4)
r
5)
p
6)
p
7)
8)
p
9)
q
10) q
11)
12) q
13)
14) s
15) r s
sup.
sup
sup
E,1,3
I,4
I
sup
I,7
I
E,2,6,9
I
sup.
sup
sup
sup.
sup.
E,2,4
E,5,6
I
sup.
E3,4
E,9,10
I
E,1,8,12
EFSQ,13
I
62 |
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP2Prof. C.Duran
9.
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)
(p (p q))
(p q)
p
q
p q
q
q
pq
p (p q)
(p q)
p q
11.
1)
2)
3)
4)
5)
6)
p
pq
p
(p q)
p (p q)
13.
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
(p r) (q s)
pq
p
pr
r
q
qs
s
rs
(p q) (r s)
Teorema
sup.
sup
sup.
sup.
I,3,4
E,2,5
I
,7
I,3,8
I
E1,10
I
,12
sup
sup
E,2
E,1,3
I
I
sup.
sup
E,2
E,1
E,3,4
E,2
E,1
E,6,7
I,5,8
I
I
10.
12.
1)
2)
3)
4)
5)
6)
7)
8)
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
14.
p (q r)
pq
p
qr
q
r
(p q) r
(p (q r) ((p q) r)
(p (p q))
p
p (p q)
q
pq
p (p q)
(p (p q))
p (p q)
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
pq
pr
p
q
qr
p (q r)
r
qr
r (q r)
qr
(p r) (q r)
Teorema
sup.
sup
I,2
E,1,3
EFSQ,4
I
I,6
E,1,7
I
,9
sup.
sup
sup.
E,1,3
I,4
I
sup
I,7
I
E,2,6,9
I
I
sup.
sup
E,2
E,1,3
E,2
E4,5
I
I
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP2Prof. C.Duran
15
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)
(p q) (p r)
p
pq
q
qr
(p q) (q r)
pr
r
qr
(p r) (q r)
qr
p (q r)
Teorema
sup
sup
sup.
E,2,3
I,4
I
sup
E,2,7
I,8
I
E,1,6,10
I
I
17
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)
((p q) (q p))
q
p
q
pq
(p q) (q p)
p
qp
(p q) (q p)
((p q) (q p))
(p q) (q p)
sup
sup
sup.
Rep.2
I
I,5
E,1,6
EFSQ,7
I
I,9
E,1,10
I
,12
Ejercicio (18)
1.
1)
2)
3)
4)
5)
6)
7)
2.
1)
2)
3)
4)
5)
6)
7)
pq
q
p
q
p
q p
pq
p q
p
q
q
(p q)
sup
sup
sup
E,1,3
E,2,4
I
I
sup
sup
E,2
E,1,3
E,2
E,4,5
I
16
18
1)
2)
3)
4)
5)
6)
7)
8)
1)
2)
3)
4)
5)
6)
7)
8)
1)
2)
3)
4)
5)
6)
7)
8)
9)
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
q p
p
q
p
q
q
pq
(p q)
p
q
p q
q
q
pq
(p p)
p
p p
p
p p
r
(p p) r
(p (p p))
pp
p
p (p p)
p (p (p p))
p (p p)
(p p)
p (p p)
(p (p p)
p (p p)
sup
sup
sup
E,1,3
E,2,4
I
,6
I
sup
sup
sup
I,2,3
E,1,4
I
,6
I
| 63
sup.
sup
I,2
E,1,3
E,2
I,5
E,1,6
EFSQ,7
I
sup.
sup
sup
I,3
I
E,2,5,5
E1,6
I
I,8
E,1,9
I
,11
64 |
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP2Prof. C.Duran
3.
1)
2)
3)
4)
5)
6)
7)
8)
4.
1)
2)
3)
4)
5)
6)
7)
(p q) (p r)
p
pq
q
pr
r
qr
p (q r)
5. 1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
6.
sup
sup
E,1
E,2,3
E,1
E,2,5
I,4,6
I
pq
p q
p
q
q
(p q)
sup
sup
E,1
E,2,3
I,1
E,4,5
I
pq
p q
p
p
p
q
q
(p q)
sup
sup
sup
E,1
E,3,4
I
sup
E,1
E,7,8
I
E,2,6,10
I
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12
13)
14)
(p q)
(p q)
p
q
pq
q
p q
p
p q
(p q)
p q
sup
sup
sup
sup
I,3,4
E,1,5
I
I,7
E,2,8
I
I,10
E,2,11
I
,13
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
p (q r)
p
qr
q
pq
p
qr
r
pr
(p q) (p r)
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
(p q)
(p q)
p
q
pq
q
p q
(p q)
pq
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12
sup
sup
sup
sup
I,3,4
E,2,5
I
I
E,1,8
I
,10
(p q)
p
p q
p
p
q
p q
q
q
pq
p q
pq
p
p
p
q
q
(p q)
sup
sup
E,1,2
E,3
I
sup
E,1,6
E,7
I
I,5,9
sup
sup
I,2
E,1,3
I
,5
sup
I,7
E,1,8
I
,10
I,6,11
sup
sup
sup
E,2
E,3,4
I
sup
E,2
E,7,8
I
E,1,6,10
I
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP2Prof. C.Duran
7. 1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
(p q)
p
pq
p
q
pq
q
p q
8. 1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
pq
p q
p
p
p
q
q
(p q)
9. 1)
2)
3)
4)
5)
6)
7)
8)
(pq)(pq)
pq
p
(p q) p
p q
p
(p q) p
p
sup
sup
I,2
E,1,3
I
sup
I,6
E,1,7
I
I,5,9
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
sup
sup
sup
E,2
E,3,4
I
sup
E,2
E,7,8
I
E,1,6,10
I
sup
sup
E,2
I
sup
E,5
I
E,1,4,7
p q
pq
p
p
p
q
q
(p q)
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)
14)
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
sup
sup
sup
E,1
E,3,4
I
sup
E,1
E,7,8
I
E,2,6,10
I
(p q)
(p q)
p
pq
p
q
pq
q
p q
(p q)
pq
p
((pq)(pq))
q
pq
(pq)(pq)
q
p q
(pq)(pq)
((pq)(pq))
(pq)(pq)
sup
sup
sup
I,3
E,2,4
I
sup
I,7
I,2,8
I
I,6,10
E,1,11
I
,13
sup
sup
sup
I,1,3
I,4
E,2,5
I
I,1,7
I,8
E,2,9
I
,11
| 65
66 |
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP2Prof. C.Duran
10. 1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
p (q r)
p
qr
q
pq
(pq) (pr)
q((pq)(pr))
r
pr
(pq) (pr)
r((pq)(pr))
(p q) (p r)
11. 1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)
14)
p (q r)
p
pq
pr
(pq)(pr)
p((pq)(pr))
qr
q
r
pq
pr
(pq)(pr)
(qr)((pq)(pr))
(p q) (p r)
12
(p q) r
pq
p
p (q r)
p(p(qr))
q
qr
p (q r)
q (p(qr))
p (q r)
(pq)(p(qr))
r
qr
p (q r)
r(p (q r))
p (q r)
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)
14)
15)
16)
sup
E,1
E,1
sup
I,2,4
I,5
I
sup
I,2,8
I,9
I
E,3,7,11
sup
sup
I,2
I,2
I,3,4
I
sup
E,7
E,7
I,8
I,9
I,10,11
I
E,1,6,13
sup
sup
sup
I,3
I
sup
I,6
I,7
I
E,2,5,9
I
sup
I,12
I,13
I
E,1,11,15
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)
14)
(p q) (p r)
pq
p
q
qr
p (q r)
(pq)(p(qr))
pr
p
r
qr
p (q r)
(pr)(p(qr))
p (q r)
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)
14)
(p q) (p r)
pq
p
p (q r)
p (p (q r))
q
pr
r
qr
p (q r)
r (p (q r))
p (q r)
q (p (q r))
p (q r)
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)
14)
15)
16)
sup
sup
E,2
E,2
I,4
I,3,5
I
sup
E,8
E,8
I,10
I,9,11
I
E,1,7,13
sup
E,1
sup
I,3
I
sup
E,1
sup
I,6,8
I,9
I
E,5,7,11
I
E,2,5,13
p (q r)
p
pq
(p q) r
p((pq)r)
qr
q
pq
(p q) r
q((pq)r)
r
(p q) r
r((pq)r)
(p q) r
(qr)((pq)r)
(p q) r
sup
sup
I,2
I,3
I
sup
sup
I,7
I,8
I
sup
I,11
I
E,6,10,13
I
E,1,5,15
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP2Prof. C.Duran
q)
(q
r)
p
1
0
0
1
1
1
0
contradiccin
s
0
1)
2)
3)
4)
5)
6)
7)
8)
(pq)r
(qr)s
p
q
pq
r
qr
s
sup
sup
sup
sup
I,3,4
E1,5
I
E,2,7
q)
10
1
0
contradiccin
q
0
1)
2)
3)
4)
5)
6)
(p q)
q
p q
q
q
sup
sup
I,2
E,1,3
I
,5
3) Diccionario: p: La vctima tena dinero en sus bolsillos; q: El motivo del crimen fue
el robo; r: el motivo del crimen fue la venganza
Esquema del argumento: p q, q r / r
V(q) = 1; V(r) = 0 demuestra que p q, q r r. Luego, el arg. es invlido
4) Diccionario: p: Dios quiere impedir el mal; q: Dios es maligno; r: Dios puede impedir
el mal; s: Dios es impotente; t: El mal existe; u: Dios existe
Esquema del argumento: p q, r s, t (p r), t, u (s q) / u
V(p) = V(q) = V(s) = 0; V(u) = 1 demuestra que p q, r s, t (p r),
t, u (s q) u. Por consiguiente, el argumento es invlido
5) Diccionario: p: Dios quiere impedir el mal; q: Dios es maligno; r: Dios puede impedir
el mal; s: Dios es impotente; t: El mal existe; u: Dios existe
Esquema del argumento: p q, r s, t (p r), t, u (s q) / u
Se cumple que p q, r s, t (p r), t, u (s q) u. Por
consiguiente el argumento es vlido.
| 67
68 |
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP2Prof. C.Duran
p
1
q , r s
1
, t
(p
1
r)
, t , u (s
1
1
1
1
10
0
01
0
01
01
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)
14)
15)
16)
17)
18)
19)
20)
Derivacin:
p q
r s
t (p r)
t
u (s q)
u
s q
p r
p
q
q
p
r
s
s
sup
sup
sup
sup
sup
sup
E,5,6
E,3,4
sup
E,1,9
E,7
E,10,11
I
sup
E,2,14
E,7
E,15,16
I
E,8,13,18
I
q)
01
contradiccin
10
/ u
01
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP3Prof. C.Duran
| 69
70 |
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP3Prof. C.Duran
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP3Prof. C.Duran
Diagrama 1
P1
P2
P3
Frmulas:
1) xy(Fxy Cx)
2) x(Fxx Cx)
3) xyFyx
4) xyFxy
5) xy(Fxy Cx)
6) xy (Fxy Fxx)
7) xy(Fxx Fxy)
Ejercicio (4)
Encuentre un modelo (empleando interpretacin por sustitucin, es decir
suponiendo que todos los elementos del dominio tienen un nombre) que muestre
que los siguientes esquemas de argumentos no son vlidos (es decir, un
contraejemplo o contramodelo):
1) xPx xQx x(Px Qx)
2) x(Px Qx) , xPx xQx
3) xPx xQx x(Px Qx)
4) x (Px Qx) x Px x Qx
5) xy(Fxy Cx), xy (Cx Fyx) xCx
6) xy (Fxy Cx), xy Fxy x(Cx y Fxy)
Ejercicio (5)
Encuentre un contraejemplo (o contramodelo), empleando interpretaciones por
sustitucin, que muestren que las siguientes frmulas no son universalmente
vlidas:
1) x(Px Qx) x(Px Qx)
2) xyRxy xyRyx
Ejercicio (6)
Encuentre un modelo y una interpretacin por sustitucin que muestre que cada
uno de los siguientes conjuntos de frmulas son satisfactibles (verdaderos al menos
en un modelo:
1) x(Px Qx) , xPx , xQx
| 71
72 |
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP3Prof. C.Duran
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP3Prof. C.Duran
Soluciones
Ejercicio (1)
(a) 1: ; 2: ; 3: ; 4: ; 5: ; 6:
(b) Se menciona solamente una de las posibilidades: 1: x(Px Qx); 2: xy((Cx
Dy) Rxy) 4: Pa yGay
(c) Arboles constructivos:
(1)
xPx Qx(3,) (2) xy(CxDy) Rxy(3,) (3) xRax(2)
xPx(4,) Qx(1)
xy(CxDy)(4,)
Rxy(1)
xRax(4,)
Px(1)
y(CxDy) (4,)
Rax(1)
Cx Dy(4,)
Cx(1)
Dy(2)
Dy(1)
(4)
Pa Gay(3,)
Pa(1) Gay(2)
Gay(1)
(5)
Pb xyRxy(3,)
Pb(1) xyRxy(4,)
yRxy(2)
yRxy(4,)
Rxy(1)
Ejercicio (2)
Tener presente que
I) Cuando una frmula consta de dos o ms cuantificadores que afecten a variables
diferentes, pueden anteponerse todos a la funcin proposicional correspondiente. Por
ejemplo: x(Nx y(Dy Axy)) es lgicamente equivalente a xy(Nx(DyAxy))
(II) Las siguientes formulaciones son lgicamente equivalentes y, por ende, pueden dar
lugar a simbolizaciones alternativas que no consignamos aqu:
(a) x es lgicamente equivalente a x
(b) x es lgicamente equivalente a x
(c) x es lgicamente equivalente a x
(d) x es lgicamente equivalente a x
(e) x(Px Qx) es lgicamente equivalente a x(Px Qx),
(f) x(Px Qx) es lgicamente equivalente a x(Px Qx)
(g) x(Px Qx) es lgicamente equivalente a x(Px Qx)
(h) x(Px Qx) es lgicamente equivalente a x(Px Qx)
1) Gk | Diccionario: k: Kirchner, Gx: x es gobernador, Dominio: {personas}
| 73
74 |
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP3Prof. C.Duran
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP3Prof. C.Duran
| 75
76 |
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP3Prof. C.Duran
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP3Prof. C.Duran
| 77
78 |
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP3Prof. C.Duran
Ejercicio (6)
Las siguientes soluciones son simplemente ejemplos
1) Modelo: D: {2, 6}; I(a1) = 2; I(a2) = 6 I(P) = {2, 6} ; I(Q) = {2, 6}.
2)Modelo: D:{2, 16, 7}; I(a1) = 2; I(a2) = 16; I(a3) = 7 ; I(P) = {2, 16}; I(Q) = {16}
3)Modelo: D: {2,16}; I(a1) = 2; I(a2) = 16; I(P) = ( = smbolo del conjunto vaco).
4)Modelo: D: {3, 4} ; I(a1) = 3 ; I(a2) = 4; I(P) = {<4, 3> }; I(Q) = {4}.
Ejercicio (7)
1) En todo modelo M en el que V(x ) = 0, se cumple que V(x x )
= 1, por cl . df.V. (Gamut)
2) Ahora supngase que V(x ) = 1, para todo modelo M
3) V(x ) = 0, para todo modelo M, de 2 y cl,df.V.
4) V([c/x] ) = 0 para toda constante c del lenguaje y todo modelo M, de (3) y cl
df.V.
5) V(x ) = 0 para todo modelo M, de (4) y cl df.V.
6) V(x ) = 1 para todo modelo M, de (5) y cl df.V.
7) V(x x ) = 1 para todo M, de (2) a (6), df.
8) x x, de 1 y 7, df
Ejercicio (8)
(1) 1) x(Px Qx)
sup
1) xPx
sup
2) xPx
sup
2) Pa
sup
3) Pa Qa
3)
E,1
Pa
E,1
4) Pa
4)
E,2
E,2,3
5) Qa
E,3,4
5) Qa
EFSQ,4
6) xQx
6)
Pa
Qa
I
I,5
7) xPx xQx
I
7) x(Px Qx)
I,6
(3) 1)
2)
3)
4)
5)
6)
7)
8)
9)
xPx
xPx
xPx
Pa
Pa
Pa
xPx
sup
sup
,1
sup
E,2
E,4,5
I
E,3,7
I
(4) 1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)
14)
15)
16)
17)
18)
Pa
xPx
x(Qx Rx)
Qa Ra
Qa Sa
Qa
Ra
Sa
Ra Sa
x(RxSx)
(QaSa) x(RxSx)
x(RxSx)
sup
sup
sup
sup
I,4
E,2,5
I
I,7
E,1,8
E,9
sup
E,11
E,10,12
E,11
I,13,14
I,15
I
E,3,17
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP3Prof. C.Duran
(5)
(7)
(9)
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)
x(Rx Px)
x(Qx Px)
Ra
Ra Pa
Pa
Qa Pa
Qa
Pa
Qa
Qa
Ra Qa
x(Rx Qx)
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)
14)
15)
16)
17)
18)
19)
20)
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)
14)
15)
sup
sup
sup
E,1
E,3,4
E,2
sup
E,6,7
E,5,8
I
,10
I
I,12
(6)
1)
2)
3)
4)
5)
6)
7)
8)
9)
xy(Rxy(RxxRyy))
y(Ray(RaaRyy))
Raa(RaaRaa)
Raa
Raa Raa
Raa
Raa
xRxx
sup
(8)
x((PxQx)Rx)
sup
x(Qx Sx)
sup
Qa Sa
x(PxRx)
sup
Qa
E,3
Pa
sup
Pa Qa
I,5,6
(Pa Qa) Ra
E,1
Ra
E,7,8
Pa Ra
I,9
x(PxRx)
I,10
E,4,11
Pa
I
Pa Ra
I,13
x(PxRx)
I,14
E,4,15
x(PxRx)
I
x(PxRx)
,17
I
(QaSa)x(PxRx)
x(PxRx)
E,2,19
sup
(10)
x(Px Qx)
sup
xPx
Pa Qa
E,1
Pa
sup
Pa
E,2
E,4,5
Qa
EFSQ,6
Pa Qa
I
Qa
sup
Qa
Rep,9
Qa Qa
I
Qa
E,3,8,11
xQx
I,13
I
xPx xQx
I
x(Px Qx)
(xPxxQx )
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)
14)
15)
x(PxQx)
x(PxQx)
PaQa
Pa Qa
Pa
Qa
Qa
(PaQa)
x(PxQx)
x(PxQx)
x(PxQx)
x(PxQx)
Pa Qa
Pa Qa
Pa
Pa
Pa
Qa
Qa
Qa
(Pa Qa)
x(Px Qx)
x(PxQx)
x (Px Qx)
| 79
sup
E,1
E,2
sup
E,3,4
E,5
E4,6
I
I,8
sup
sup
sup
E,2
E,3
E,4,5
E,3
E,6,7
I
E,1,9
I
I
sup
sup
E,1
sup
E,2
E,4,5
I
sup
E,2
E,8,9
I
E,3,7,11
I
I,13
I
80 |
(13)
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP3Prof. C.Duran
xQx
Pa
Qb
Pa Qb
y(Pa Qy)
xy(PxQy)
xQx
xy(PxQy)
(11)
1)
2)
3)
4)
5)
6)
7)
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)
14)
15)
16)
17)
18)
19)
20)
21)
22)
23)
24)
x(PxQx)
xy(PxRxy)
xy(QxRxy)
y(QaRay)
QaRab
PaQa
Pa
Qa
Qa
Qa
y(PaRay)
PaRab
Rab
Rab
Rab
Pa
xPx
(QaRab)xPx
xPx
y(QaRay)xPx
xPx
sup (12)
sup
E,1
I
I,4
I,5
I
sup
sup
sup
sup
sup
E,1
sup
E,6,7
sup
E,8,9
I
E,2
E,12
E,7,13
sup
E,14,15
I
E,5,11,17
I
I,19
I
E,4,21
I
E,3,23
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)
14)
15)
16)
17)
(14)
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)
14)
15)
16)
17)
(xyPxy yxPxy)
xPxb
Pab
xPxb
Pab
yPay
xyPxy
xyPxy yxPxy
xPxb
xPxb
yxPxy
xyPxy yxPxy
(xyPxy yxPxy)
xyPxy yxPxy
x(PxQx)
(xPxxQx)
Pa
xPx
xPx xQx
Pa
Pa
PaQa
Qa
xQx
xPxxQx
(PaQa)
(xPxxQx)
xPxxQx
sup
sup
sup
I,3
E,2,4
I
I,6
I,7
I,8
E,1,9
I
,11
I,12
I,13
E,1,14
I
,16
sup
sup
sup
I,3
I,4
E,2,5
I
,7
sup
E,8,9
I,10
I, 11
E,2,12
I
E,1,14
I
,16
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP3Prof. C.Duran
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)
14)
15)
16)
17)
18)
(15)
x(Px Qx)
(Pa Qa)
(Pa Qa)
Pa
Qa
Pa Qa
Qa
Pa Qa
Pa
Pa Qa
(Pa Qa)
Pa Qa
x(Px Qx)
(Pa Qa)x(PxQx)
x(Px Qx)
| 81
sup
sup
sup
sup
sup
I,4,5
E,2,6
I
I,8
E,3,9
I
I,11
E,3,12
I
,14
I,15
I
E,1,17
Ejercicio (9)
(1)
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)
14)
15)
x (Px Qx)
Pa Qa
Pa
Pa
Qa
Pa Qa
Qa
Qa
Qa Qa
Qa
Pa Qa
x (Px Qx)
(PaQa)x(PxQx)
x (Px Qx)
sup
sup
sup
sup
E,3,4
EFSQ,5
I
sup
Rep.,8
I
E,2,7,10
I
I,12
I
E,1,14
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)
14)
15)
16)
17)
x(PxQx)
x(Px Qx)
Pa Qa
Pa
Qa
Pa Qa
x (Px Qx)
Pa
Pa
Pa Qa
x (Px Qx)
(Pa Qa)
x(Px Qx)
x (Px Qx)
sup
sup
sup
sup
E,3,4
I,5
I,6
E,2,7
I
,9
I,10
I,11
E,2,12
I
E,1,14
I
,16
82 |
Fac. Ing. (20141 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP3Prof. C.Duran
(2)
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)
14)
15)
16)
x (Px Qx)
(xPx xQx)
Pa Qa
Pa
Qa
xQx
xPx xQx
Pa
xPx
xPx xQx
(Pa Qa)
(xPxxQx)
xPx xQx
sup
sup
sup
sup
E,3,4
I,5
I,6
E,2,7
I
I,9
I,10
E2,11
I
E,1,13
I
,15
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)
14)
15)
16)
17)
18)
19)
20)
21)
xPx xQx
xPx
Pa
Pa
Qa
Pa Qa
x (Px Qx)
Pax(PxQx)
x (Px Qx)
xPxx(PxQx)
xQx
Qa
Pa
Qa
Pa Qa
x (Px Qx)
Qax(PxQx)
x (Px Qx)
xQxx(PxQx)
x (Px Qx)
Ejercicio 10
Diccionario: Pxy: x es perpendicular a y; Axy: x es paralela a y; Dominio: lneas del plano
Esquema
de
argumento:
xyz((PxzPyz)Axy);
xy(PxyPyx)
xy(Axyz(PzxPzy))
Derivacin:
1)
sup
xyz((Pxz Pyz) Axy)
sup
2)
xy(Pxy Pyx)
3)
sup
Aab
4)
z(Pza Pzb)
sup
5)
sup
Pca Pcb
6)
yz((Paz Pyz) Aay)
E,1
7)
z(Paz Pbz) Aab
E,6
8)
(Pac Pbc) Aab
E,7
9)
Pca
E,5
10) y(Pcy Pyc)
E,2
11) Pca Pac
E,10
12) Pac
E,9,11
13) Pcb
E,5
14) Pcb Pbc
E,10
15) Pbc
E,13,14
16) Pac Pbc
I,12,15
17) Aab
E,8,16
18)
E,3,17
19) (Pca Pcb)
I
20)
E,4,19
21) z(Pza Pzb)
I
22) Aab z(Pza Pzb)
I
23) y(Aay z(Pza Pzy))
I,22
24) xy(Axy z(Pzx Pzy))
I,23
sup
sup
sup
sup
E,3,4
EFSQ,5
I
I,7
I
E,2,9
I
sup
sup
sup
Rep,13
I
I,16
I
E,2,18
I
E,1,11,21