Lógica, Complementaria 2011 2º Semestre

Departamento de Ciencias Bsicas
Asignatura: Lgica (S954)

Ao: 2011 (1 semestre)
Gua de Ejercitacin Complementaria (no
obligatoria)
ATENCIN: ESTA NO ES LA GUA DE
TRABAJOS PRCTICOS
Prof. Cecilia Duran
Fac. Ing. (20112 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP1Prof. C.Duran | 41
Ejercitacin complementaria para el Trabajo Prctico n1

Para emplear en forma til esta gua, es imprescindible que el alumno intente realizar
los ejercicios antes de cotejar las soluciones. Adems, debe tenerse en cuenta que
muchos de los ejercicios admiten diversas soluciones alternativas correctas. En esos
casos consignamos slo una de ellas. Se incluyen algunos temas no desarrollados en los
prcticos.
Ejercicio (1) Determine si los siguientes textos constituyen argumentos. En caso de
que as sea, identifique las premisas y la conclusin.
1. `Àunque el amor y el conocimiento son necesarios, el amor es, en cierto sentido, ms
importante ya que impulsar a los inteligentes a buscar el conocimiento, con el fin de
beneficiar a los que aman.'' (Bertrand Russell, Por qu no soy cristiano)
2. ``Por lo tanto, no os afanis por el da de maana; que el da de maana se afanar por
las cosas de s mismo. Le basta al da el mal suyo.'' (Mateo, 6:34)
3. ``Puesto que los problemas con los que trabajan los matemticos, y las soluciones a
las que llegan, son impuestos por las influencias culturales que les rodean, no es
sorprendente que las matemticas resulten aplicables a las ciencias si hay contactos
suficientes entre las dos.'' (John D. Barrow, La trama oculta del Universo )
4. `Ùna de las caractersticas ms sorprendentes de la ciencia moderna es que suele
avanzar con tal rapidez que un investigador puede comprobar, con cierta
aproximacin si sus ideas anteriores, o las de sus contemporneos, eran correctas o
incorrectas. En el pasado esta posibilidad no se daba con tanta frecuencia. Ni tampoco
actualmente en los campos que avanzan con lentitud.'' (Crick, F., Qu loco propsito)
5. ``La razn nos ordena mucho ms imperiosamente que un amo, ya que
desobedeciendo a uno somos desdichados, y desobedeciendo al otro somos
tontos.''(B. Pascal, Pensamientos)
6. ''Si entendemos la eternidad no en el sentido de duracin temporal infinita, sino de
intemporalidad, entonces la vida eterna pertenece a los que viven en el presente.'' (L.
Wittgenstein, Tractatus lgico-philosophicus)
7. 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 ).
8. ``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)
9. `Èl 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
42|Fac. Ing. (20112 sem.)-Electiva Humanstica (Lgica )- Ej. Complementaria al TP1Prof. C.Duran

perfeccionarse, es el mejor de los animales; pero sin ley y sin justicia es el peor de
todos.'' (Aristteles, Poltica)
10. ''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)
11. ``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)
12. `À ... [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)
13. `Ès 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)
14. ``..., 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 )
15. ``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)
16. 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).
17. ``-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)
18. 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).
19. ``La cantidad de fuerza que obra en el universo es determinada, no es `ìnfinita''
... Por consiguiente, el nmero de las posiciones, variaciones, combinaciones y
desarrollos de esta fuerza es ciertamente enorme y prcticamente `ìncalculable'', 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)
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.
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.
Ejercicio (4)
Determine si las siguientes oraciones representan un uso sintctico, pragmtico o
semntico del lenguaje:
1. ``Fue'' no lleva acento ortogrfico.
2. En general si decimos ``Se visti y se fue a trabajar'' queremos indicar que primero
se visti y luego se fue a trabajar.
3. ''S.O.S'' se escribe con maysculas.
4. ''S.O.S'' significa un pedido de socorro.
5. ''S.O.S'' es una seal que generalmente se emplea en una situacin de peligro de
muerte.
Ejercicio (5) Entrecomille las expresiones que estn mencionadas:

1. Llueve.
2. Llueve comienza con ll y no con y..
3. Tringulo no tiene 3 lados, aunque los tringulos s.
Ejercicio (6) En las siguientes oraciones distinga el lenguaje objeto del
metalenguaje:
1. El diario de hoy public el titular ''Feriado bancario''.
2. ''El diario de hoy public el titular ''Feriado bancario'''' es una oracin falsa pues el
diario de hoy public el titular ''No habr feriado bancario''.
3. Hoy habr feriado bancario.
Ejercicio (7)
Construya oraciones que pertenezcan a un metalenguaje en el que se mencionen
las expresiones dadas:
1. Aristteles.
2. La Filosofa de Aristteles.
3. No pasar.
Soluciones
Ejercicio (1)
1) Es un argumento.
Premisa: El amor impulsar a los inteligentes a buscar el conocimiento, con el
fin de beneficiar a los que aman
Conclusin: Aunque el amor y el conocimiento son necesarios, el amor es, en
cierto sentido, ms importante.
2) No es un argumento porque contiene rdenes. Podra ser convertido en un
argumento.
3) Es un argumento.
Premisa: Los problemas con los que trabajan los matemticos, y las soluciones a
las que llegan, son impuestos por las influencias culturales que les rodean.
Conclusin: No es sorprendente que las matemticas resulten aplicables a las

ciencias si hay contactos suficientes entre las dos.
4) No es un argumento pues no hay inferencia.
5) Es un argumento.
Premisa 1: Desobedeciendo a un amo somos desdichados.
Premisa 2: Desobedeciendo a la razn somos tontos.
Conclusin: La razn nos ordena mucho ms imperiosamente que un amo
6) No es un argumento: es un enunciado condicional solo.
7) Es un argumento.
Premisa 1: Todo lo reprimido tiene que permanecer inconsciente.
Premisa 2: Lo reprimido no forma por s solo todo el contenido de lo
inconsciente.
Conclusin: Lo reprimido es una parte de lo inconsciente.
8) Hay 2 argumentos.
Argumento1:
(a) Premisa: 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.
(b)Conclusin: En tal situacin, cada hombre tiene derecho para cualquier
cosa; aun para el cuerpo de los dems.
Argumento 2:
(a) Premisa: En tal situacin [la guerra de todos contra todos], cada hombre
tiene derecho para cualquier cosa; aun para el cuerpo de los dems.
(b)Conclusin: 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.
9) Es un argumento.
Premisa 1: El hombre forma parte de un todo poltico y es conducido por un
impulso ntimo hacia tal asociacin.
Premisa 2: El hombre, al perfeccionarse, es el mejor de los animales; pero
sin ley y sin justicia es el peor de todos.
Conclusin: El hombre, siendo el primero en formar una asociacin de tal
naturaleza, fue el mayor beneficiado.
10) No es un argumento, es un enunciado condicional solo.
11) Es un argumento.
Premisa 1: 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.
Premisa 2: No las habra conocido si no las hubiere percibido por mis
sentidos.
Premisa 3: Las cosas percibidas por los sentidos son percibidas
inmediatamente.

Premisa 4: Las cosas inmediatamente percibidas son ideas

Premisa 5: Las ideas no pueden existir fuera de la mente.
Conclusin: La existencia de las cosas consiste en ser percibidas
Premisa 1: Las nociones de derecho y no derecho, de justicia e injusticia,
no tienen aqu [durante la guerra de todos contra todos] lugar.
Premisa 2: Donde no hay poder comn, no hay ley; donde no hay ley, no
hay injusticia.
Conclusin: A la guerra de todos contra todos va inherente esto: que nada
puede ser injusto.
Premisa 1: Los dos estamos del mismo lado de la puerta.[Alicia y el criado
estn del lado de afuera]
Premisa 2: All dentro estn haciendo tal ruido, que sera imposible que
oyeran a Alicia. Conclusin: Es intil que Alicia llame.
Premisa 1: Lo que no ha existido desde toda la eternidad, tiene comienzo.
Premisa 2: Lo que tiene comienzo, debe ser producido por algn otro.
Conclusin: 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.
Premisa 1: Si todo tiene que tener una causa, entonces Dios debe tener una
causa.
Premisa 2: Si puede haber algo sin causa, igual puede ser el mundo que
Dios.
Conclusin: 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.
Argumento 1:
(a) Premisa: 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.
(b) Conclusin: 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.
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.

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.
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.
(b) Premisa 2: El Universo no se genera a s mismo.
(c) Premisa 3: El Universo no es corruptible.

(d) Premisa 4: El Universo no puede disminuir ni aumentar.

(e) Premisa 5: El Universo no puede ser alterado de ninguna forma.
(f) Conclusin: El Universo es uno, infinito e inmvil.
Argumento 1:
(a) Premisa: La cantidad de fuerza que obra en el universo es determinada, no
es `ìnfinita''.
(b) Conclusin: El nmero de las posiciones, variaciones, combinaciones y
desarrollos de esta fuerza es ciertamente enorme y prcticamente
`ìncalculable'', pero siempre determinado y nunca infinito.
Argumento 2:
(a) Premisa 1: El nmero de las posiciones, variaciones, combinaciones y
desarrollos de esta fuerza es ciertamente enorme y prcticamente
`ìncalculable'', pero siempre determinado y nunca infinito.
(b) Premisa 2: 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
(c) Conclusin: Todos los desarrollos momentneos deben ser repeticiones.
Ejercicio (2)
1) Esquema de argumento: Todo A es B. Algn B es C. / Algn A es C.
Contraejemplo: A: tringulo, B: polgono, C: cuadrado
2) Esquema de argumento: Todo A es B. Ningn C es A. / Ningn C es B.
Contraejemplo: A: delfn, B: mamfero, C: gato
3) Esquema de argumento: Ningn A es B. Ningn B es C. / Ningn A es C.
Contraejemplo: A: platense, B: francs, C: argentino
4) Esquema de argumento: Todo A es B. Ningn C es A. / Todo C es B.
Contraejemplo: A: tringulo, B: polgono, C: esfera.
Ejercicio (3): Deductivos: 1 ; No deductivos: 2, 3, 4 y 5.
Ejercicio (4): Sintaxis: 1, 3; Semntica: 4; Pragmtica: 2, 5
Ejercicio (5): 1. Llueve. 2. ''Llueve'' comienza con ll y no con y. 3. ''Tringulo'' no tiene
3 lados, aunque los tringulos s.
Ejercicio (6)
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.
Ejercicio (7)
1. `Àristteles'' es un sustantivo propio.
2. ``La Filosofa de Aristteles'' es el ttulo de un libro que acaba de publicarse.
3. En tu oficina debers colgar el cartel de ``No pasar'' cuando no quieras que te
interrumpan.
Ejercicio (1)
Traduzca al lenguaje formal de la lgica proposicional las siguientes oraciones:
1) Mara no sabe cocinar, pero canta como un jilguero.

2) Aunque es cierto que Argentina increment su nivel de exportaciones en el
ltimo lustro, no ha logrado an equilibrar la balanza comercial.
3) No es verdad que debamos hablar ahora o callar para siempre.
4) Marta y Susana son hermanas y ambas son maestras.
5) Si Kant es alemn y filsofo entonces es filsofo.
6) No eres cobarde o tienes conciencia del peligro.
7) Ir a la playa o al cine, caminando o en bicicleta.
8) Juan ir a tu casa si Elsa lo hace tambin y viceversa.
9) Slo si tiene un promedio mayor de 8, puede inscribirse en la beca.
10) Slo respetando las normas de trnsito, el trnsito mejorar.
11) Es condicin necesaria que tengas documento de identidad para que puedas
votar.
12) Que una figura plana sea un tringulo equivale a que sea triltera.
13) n es divisible por 6 si y slo si es divisible tanto por 2 como por 3.
14) Si es verdad que hace fro o no lo hace, entonces es falso que hace calor o no lo
hace.
15) Si es cierto que si tienes talento triunfars, entonces tambin es cierto que si no
triunfas no tienes talento.
16) No es cierto que sea necesario tener talento para triunfar.
17) Es cierto que si tu promedio alcanza los 6 puntos entonces promocionas la
materia, adems tambin es cierto que si no promocionaste la materia, tu
promedio no alcanz a 6 puntos.
18) Si vamos a Canad y a Estados Unidos necesitaremos visas, si somos argentinos.
19) Si no es cierto que slo si te vas te extraar, tampoco lo es que si te quedas no
te extraar.
20) Si Argentina o Brasil se incorporan a la alianza entonces si Chile o Ecuador
boicotean a la Argentina entonces, Per no la boicotea pero Venezuela s.
21) Alejandro se casar siempre y cuando consiga novia.
22) Juan es pintor o albail si y slo si no es verdad que si no es pintor entonces es
albail.
23) No es verdad que sea condicin necesaria ser argentino y mayor de edad para
presentarse al cargo.
24) Si terminamos de preparar el final de Lgica la semana prxima, entonces si
conseguimos la bibliografa prepararemos Introduccin a la Filosofa o
Sociologa; a menos que Viviana nos convenza de que tomemos vacaciones.

Ejercicio (2)
Traduzca al lenguaje natural las siguientes frmulas:
1) p q
2) p q
3) p q
4) (p q) r
5) p q
6) (p q)
7) (p q) (r p)
8) p p
9) p p
10) (p q) (r s)
11) ((p q) (q r)) (p r)
12) (p q) (p q)
Ejercicio (3)
Determine si cada una de las siguientes expresiones es una frmula de la lgica
proposicional. En caso de que lo sea clasifquela como frmula atmica, negacin,
conjuncin, disyuncin, implicacin o equivalencia y dibuje su rbol constructivo:
1) r p
2) p
3) p q
4) p q
5) (q q) q
6) r (q (p r))
Ejercicio (4)
Traduzca al lenguaje formal de la lgica proposicional las siguientes oraciones y
determine mediante tablas de verdad si son tautologas, contradicciones o
contingencias:
1) Tanto en la provincia de Buenos Aires como en Capital Federal se prohibieron
los basurales a cielo abierto
2) No es cierto que Rosario y Santa Rosa sean ambas ciudades santafesinas; aunque
una de ellas s lo es.
3) 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 (5)
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.
4) El juez no es el principal sospechoso. Puesto que si lo es, el tribunal lo
condenar a prisin si lo halla culpable. Pero el tribunal no lo condenar a
prisin, y adems no lo ha hallado culpable.
5) El oxgeno del tubo no puede haber desaparecido por completo. Por ende, el
oxgeno del tubo se combin con el filamento para forma un xido, ya que el
oxgeno del tubo o bien se combin con el filamento para formar un xido o
bien desapareci por completo.
6) Scrates fue una figura histrica, o los registros de que existi son falsos. Fue
una figura histrica. Luego, los registros de que existi no son falsos.
7) El paciente tiene sarampin, puesto que si presenta los sntomas ordinarios de un
resfro y el paciente tiene alta temperatura, entonces, si tiene pequeas manchas
en la piel, est con sarampin. Es cierto que el paciente no tiene sarampin si su
historia clnica revela que ya lo ha tenido antes. Pero el paciente tiene alta
temperatura y su historia clnica revela que ya ha tenido antes el sarampin. Y
hay que tener en cuenta que, adems de los sntomas ordinarios de un resfro,
tiene pequeas manchas en la piel.
8) Es condicin necesaria que estudies en la universidad o en un instituto terciario
para que seas profesor; puesto que slo si tienes un ttulo, eres profesor. Y tienes
un ttulo si y slo si estudias en la universidad o en un instituto terciario.
9) Slo si todos respetan las reglas de trnsito, el trnsito mejorar. Pero esto no
suceder si no hay educacin vial ni el Municipio cobra multas. Luego, es falso
que todos respeten las reglas de trnsito y que el trnsito mejore; ya que ambas
cosas sucedern si hay educacin vial. Y se carece de educacin vial.
10) Esta ciudad ser un caos; puesto que no es cierto que sea condicin necesaria
que el Municipio aumente las multas para que mejore el trnsito; tampoco lo es
que mejora el trnsito si el Municipio aumenta las multas pero hay educacin
vial. Y, si no la hay, la ciudad ser un caos.
11) Slo si la actuacin y la direccin son buenas, la obra ser premiada; ya que se
premia la actuacin y la direccin. Y es condicin necesaria que la actuacin o
la direccin sean buenas, para que se premie alguna de las dos.
12) No es cierto que si mantienes la calma, entonces resolvers el problema si
piensas con tranquilidad. Luego, no resolvers el problema; dado que no es
cierto que sea condicin suficiente que ests en un lugar apartado para que
pienses con tranquilidad. Tampoco lo es el que ests acompaado. Y aunque
ests en un lugar aparatado y acompaado, no piensas con tranquilidad.

13) Si Alfredo estudia, entonces aprobar el curso si y slo si toma apuntes y presta
atencin en clase. Por consiguiente, si Alfredo no aprueba el curso, o bien no
estudia o bien no presta atencin en clase, ya que, Alfredo no toma apuntes ni
presta atencin en clase.
14) Por cierto, el psicoanlisis ---razonaba el ingenioso Odiln--- no es magia, pero
tampoco tiene fundamentos cientficos. Ahora bien, si Freud se dedic a la
investigacin cientfica y fue el iniciador del psicoanlisis, esta disciplina tiene
fundamentos cientficos. Ergo ---conclua mi desconcertado amigo---, si Freud
se dedic a la investigacin cientfica, no fue el iniciador del psicoanlisis.
Ejercicio (6)
Determine el valor de verdad de la oracin:
Si los gremios o los empresarios son inflexibles, entonces se pondr fin a la huelga si y
slo si el gobierno dicta la conciliacin obligatoria y no se hace el descuento por los
das de huelga.
teniendo en cuenta alternativamente los datos (i) e (ii):

(i) Los gremios son inflexibles, los empresarios no lo son, se podr fin a la huelga, el
gobierno dicta la conciliacin obligatoria, y se descuentan los das de huelga.
(ii) Los gremios y los empresarios son inflexibles, no se pondr fin a la huelga, el
gobierno dicta la conciliacin obligatoria, y se descuentan los das de huelga.
Ejercicio (7)
Determine si los argumentos 2, 3, 4 y 5 del ejercicio 5 son vlidos empleando el
mtodo del condicional asociado.
Ejercicio (8)
Determine la validez o invalidez de los siguientes esquemas de argumento mediante
el mtodo indirecto de asignacin de valores de verdad:
1) p (p q) / p
2) p / p q
3) p (q r) / p r
4) (p (p q)) / p q
5) (p q) (r s) / r
6) q p, q r, r p / r
7) p (q r), r s, s t / t p
8) p (q r), q (s t) / t ((p r) s)
9) (s q), r (p s) / ((p t) q) r
10) r (p s), s q / q r
11) p q, r s / s q
12) (p q), (p q) r, (p q) r / r
13) p (q r), (q r) p. r q / (q r) p
14) (p q) (r s), (q p) t, t u, p q / u
15) (p q) t, (s r) u, s (p q), r (q p) / t u
16) (p q) (r s), p r, (p s) (r q) / s q
Ejercicio (9)
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 (10)
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
13) p (q r) y (p q) (p r)
14) ((p q) (p q)) (p q) y pq
15) ((p q) (p q)) (p q) y (p q)
16) ((p q) (q r)) (r p) y (p q) (p r)

Ejercicio (11)
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 (12)
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 )
4) 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 (13)
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 (14)
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)
7) p, q r (p q) (p r)
8) p q, r p, r q r s
9) (p (p q)) p q
10) (p (q r)) ((p q) r)
11) p (p q)
12) p (p q)
13) (p r) (q s)) ((p q) (r s))
14) (p q) ((p r) (q r))
15) ((p q) (p r)) (p (q r))
16) (p p) r
17) (p q) (q p)
18) p (p p)
Ejercicio (15)
Derive mutuamente los siguientes pares de frmulas utilizando las reglas bsicas
del sistema de deduccin natural de Gentzen:
1) p q y q p
2) p q y (p q)
3) (p q) (p r) y p (q r)
4) p q y (p q)
5) p q y (p q)
6) (p q) y p q
7) (p q) y p q
8) p q y (p q)
9) (p q) (p q) y p
10) p (q r) y (p q) (p r)
11) p (q r) y (p q) (p r)
12) (p q) r y p (q r)
Ejercicio (16)
(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.
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: Juan ir a tu casa, q: Elsa ir a tu casa.
qp
9) Diccionario: p: Tiene un promedio mayor que 8; q: puede inscribirse a la beca.
qp
10) Diccionario: p: Se respetan las normas de trnsito, q: El trnsito mejorar.
qp
11) Diccionario: p: Tienes documento de identidad; q: Puedes votar.
qp
12) Diccionario: p: una figura plana es un tringulo, q: una figura plana es un
triltero.
pq
13) Diccionario: p: n es divisible por 6; q: n es divisible por 2; r: n es divisible por 3.
p (q r)
14) Diccionario: p: hace fro; q: hace calor.

(p p) (q q)
15) Diccionario: p: T tienes talento; q: T triunfars.
(p q) (q p)
16) Diccionario: p: Tienes talento; q: Triunfas.
(q p)
17) Diccionario: p: tu promedio alcanza los 6 puntos, q: t promocionas la materia.
(p q) (q p)
18) Diccionario: p: Vamos a Canad, q: Vamos a Estados Unidos, r: Necesitaremos
visas, s: somos argentinos.
(p q) (s r)
19) Diccionario: p: T te vas, q: Yo te extraar.
(q p) (p q)
20) Diccionario: p: Argentina se incorpora a la alianza, q: Brasil se incorpora a la
alianza, r: Chile boicotea a la Argentina, s: Ecuador boicotea a la Argentina, t:
Per boicotea a la Argentina, u: Venezuela boicotea a la Argentina.
(p q) ((r s) (t u))
21) Diccionario: p: Alejandro se casar; q: Alejandro consigue novia.
pq
22) Diccionario: p: Juan es pintor, q: Juan es albail.
(p q) (p q)
23) Diccionario: p: Se es argentino, q: Se es mayor de edad, r: se presenta al cargo.
(r (p q))
24) Diccionario: p: Terminamos de preparar el final de Lgica la semana prxima;
q: Conseguimos la bibliografa; r: Prepararemos Introduccin a la Filosofa; s:
Prepararemos Sociologa; t: Viviana nos convence de que para que tomemos
vacaciones.
p ((q (r s)) t)
Ejercicio (2)
1) Estudias o trabajas. Diccionario: p: T estudias; q: T trabajas.

2) Estudias y trabajas. Diccionario: p: T estudias; q: T trabajas.
3) Si no estudias, entonces trabajas. Diccionario: p: T estudias; q: T trabajas.
4) Si estudias y trabajas ayudars a tu familia. Diccionario: p: T estudias; q: T
trabajas.; r: T ayudars a tu familia.
5) Ni estudias ni trabajas. Diccionario: p: T estudias; q: T trabajas.
6) No es verdad que estudias o trabajas. Diccionario: p: T estudias; q: T trabajas.
7) Si estudias o trabajas entonces ayudars a tu familia aunque te sacrifiques un
poco. Diccionario: p: T estudias; q: T trabajas.; r: T ayudars a tu familia; s:
T te sacrificas un poco.
8) Estudias o no estudias. Diccionario: p: t estudias.
9) Estudias pero no estudias. Diccionario: p: T estudias.
10) Si estudias entonces te recibirs pero si pierdes el tiempo no aprobars los
exmenes finales. Diccionario: p: T estudias; q: T te recibirs; r: T pierdes el
tiempo; s: aprobars los exmenes finales.
11) Si es cierto que si estudias te recibirs y que si te recibes conseguirs trabajo
entonces es cierto que si estudias conseguirs trabajo. Diccionario: p: T
estudias; q: T te recibirs; r: T conseguirs trabajo.

12) Si es cierto que estudias o trabajas entonces no es cierto que ni estudias ni

trabajas. Diccionario: p: T estudias; q: T trabajas.
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) q q(3,) q(2) r (1) (q (p r))(2)

p(1) q(1)q(1) q(1) q (p r)(3,)

q(1) p r(3,)

p(2) r(2)

p(1) r(1)
Ejercicio (4)
1) Diccionario: p: En la provincia de Buenos Aires se prohibieron los basurales a

cielo abierto; q: En Capital Federal se prohibieron los basurales a cielo abierto.
2) Diccionario: p: Rosario es una ciudad santafesina; q: Santa Rosa es una ciudad
santafesina.
3) Diccionario: p: Los contenidos de lgica son adecuadamente seleccionados; q:
Los alumnos considerarn til a la lgica; r: Los alumnos cuestionarn a la
lgica.
(1) (2)
p q (p q) (p q) (p q) (p (q r)
1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 01 1 01 1 1
0 0 1 1 0 0 1 1 0 1 1 0 1 1 1 10 1 01 1 1
1 0 0 1 1 0 0 1 1 1 0 1 0 0 1 01 1 10 1 1
0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 10 1 10 1 1
Conting. Contingencia 1 1 1 1 01 1 01 0 0
0 1 1 1 10 0 01 0 0
1 0 0 1 01 1 10 1 0
0 1 0 1 10 1 10 1 0
Tautologa
Ejercicio(5)
1) Diccionario: p: Dices la verdad; q: Eres declarado culpable.

Traduccin: (p q) (p q); p q / p
2) Diccionario: p: Llego temprano; q: Te acompao.
Traduccin: p q /q p
3) Diccionario: p: Sabe reflexionar; q: Desdea los prejuicios; r: Tiene mentalidad
racional.
Traduccin: q p; (p q) r / r p
4) Diccionario: p: El juez es el principal sospechoso; q: El tribunal condenar al

juez a prisin; r: El tribunal halla culpable al juez.
Traduccin: p (r q); q r / p
5) Diccionario: p: El oxgeno del tubo desaparece por completo; q: El oxgeno del
tubo se combina con el filamento para forma un xido.
Traduccin: p; q p / q
6) Diccionario: p: Scrates fue una figura histrica; q: Los registros de que existi
Scrates son falsos.
Traduccin: p q; p / q
7) Diccionario: p: El paciente tiene sarampin; q: El paciente presenta los sntomas
ordinarios de un resfro; r: El paciente tiene alta temperatura; s: El paciente tiene
pequeas manchas en la piel; t: La historia clnica del paciente revela que ya ha
tenido antes sarampin.
Traduccin: (q r) (s p); t p; r t; q s / p
8) Diccionario: p: T estudias en la universidad; q: T estudias en un instituto
terciario; r: T eres profesor; s: T tienes un ttulo.
Traduccin: r s; s (p q) / r (p q)
9) Diccionario: p: Todos respetan la reglas de trnsito; q: El trnsito mejora; r: Hay
educacin vial; s: El Municipio cobra multas.
Traduccin: q p; (r s) q; r (p q); r / (p q)
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 ests
en un lugar apartado; s: T piensas con tranquilidad; t: T ests acompaado.
Traduccin: (p (r q)); (r s); (t s); (r t) s /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); 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 (6):
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 (7)
(2) (3)
(p q) (q p) (q p) ((p q) r) (r p)
1 1 1 1 01 1 01 1 1 1 1 1 1 1 1 1 1 01 1 01
0 1 1 1 01 1 10 0 1 1 1 1 0 0 1 1 1 01 1 01
1 0 0 1 10 0 01 1 0 0 0 0 0 1 1 1 1 01 1 10
0 1 0 1 10 1 10 0 1 0 1 0 0 0 1 1 1 01 1 10
El condicional asociado es 1 1 1 0 1 1 1 0 0 1 10 0 01
tautolgico, por ende el 0 1 1 1 1 0 0 1 0 0 10 0 01
esquema de argumento es 1 0 0 0 0 0 1 1 0 1 10 1 10
vlido. Luego, el argumento 0 1 0 0 0 0 0 1 0 1 10 1 10
tambin es vlido El condicional asoc. no es tautolgico, por ende
el esquema de argumento es invlido. Luego, el
argumento es invlido
(4) (5)
((p (r q)) (q r)) p (p (q p)) q
1 1 1 1 1 0 01 0 01 1 01 01 0 1 1 1 1 1
0 1 1 1 1 0 01 0 01 1 10 10 1 1 1 0 1 1
1 1 0 1 1 0 01 0 10 1 01 01 0 0 1 1 1 0
0 1 0 1 1 0 01 0 10 1 10 10 0 0 0 0 1 0
1 0 1 0 0 0 10 0 01 1 01 El condicional asociado es
0 1 1 0 0 0 10 0 01 1 10 tautolgico, por ende el
1 1 0 1 0 1 10 1 10 0 01 esquema de argumento es
0 1 0 1 0 1 10 1 10 1 10 vlido. Luego, el argumento
El condicional asoc.iado no es tautolgico, por ende es vlido.
el esq. de arg. es inv. Luego, el arg. es inv.
Ejercicio (8)
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 (9)
1) no es tautologa: tanto con V(p) = 1 como con V(p) = 0 se demuestra.
2) tautologa
3) tautologa
4) tautologa
5) tautologa
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 (10)
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.
13) equivalentes
14) equivalentes
15) equivalentes
16) no equivalentes: V(p) = 0; V(r) = 1, entre otras.
Ejercicio (11)
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 (12)
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)

Ejercicio (13)
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.
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.
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.). De ah que
pero ( ) ( ). Por ello no son lgicamente
equivalentes.
Ejercicio (14)
1. 1) p q sup. 2. 1) pq sup.
2) r p sup 2) (q p) r sup.
3) p E,2 3) rs sup.
4) q E,1,3 4) p E,1
5) r E,2 5) q E, 1
6) q r I,4,5 6) qp I, 4,5
7) r E,2,6
8) s E,3,7
9) sq I,5,8
3. 1) p q sup 4. 1) pq sup.
2) rq sup. 2) pr sup.
3) pr sup. 3) p sup.
4) p E,3 4) q E,1,3
5) q E,1,3 5) r E,2,3
6) r E,3 6) qr I,4,5
7) q E,2,6 7) p (q r) I
8) E,5,7
9) (p r) I
5. 1) p sup. 6. 1) pq sup.
2) q (r s) sup 2) pr sup
3) s sup. 3) p sup
4) q sup. 4) q E,1,3
5) (r s) E,2,4 5) qr I,4
6) rs I,3 6) p (q r) I
7) E,5,6 7) r sup
8) q I 8) qr I,7
9) q p I,1,8 9) r (q r) I
10) s (q p) I 10) qr E,2,6,9
11) (p r) (q r) I
7. 1) p sup. 8. 1) pq sup.
2) qr sup 2) r p sup
3) q sup. 3) r q sup
4) pq I,1,3 4) r sup.
5) (p q) (p r) I,4 5) p sup.
6) q ((p q) (p r)) I 6) p E,2,4
7) r sup. 7) E,5,6
8) pr I,1,7 8) p I
9) r ((p q) (p r)) I,8 9) q sup.
10) (p q) (p r) E2,6,9 10) q E3,4
11) E,9,10
12) q I
13) E,1,8,12
14) s EFSQ,13
15) rs I

9. 1) (p (p q)) sup. 10. 1) p (q r) sup.

2) (p q) sup 2) pq sup
3) p sup. 3) p E,2
4) q sup. 4) qr E,1,3
5) p q I,3,4 5) q E,2
6) E,2,5 6) r E4,5
7) q I 7) (p q) r I
8) q ,7 8) (p (q r) ((p q) r) I
9) pq I,3,8
10) p (p q) I
11) E1,10
12) (p q) I
13) p q ,12
11. 1) p sup 12. 1) (p (p q)) sup.

2) pq sup 2) p sup
3) p E,2 3) p (p q) I,2
4) E,1,3 4) E,1,3
5) (p q) I 5) q EFSQ,4
6) p (p q) I 6) pq I
7) p (p q) I,6
8) E,1,7
9) (p (p q)) I
10) p (p q) ,9
13. 1) (p r) (q s) sup. 14. 1) pq sup.

2) pq sup 2) pr sup
3) p E,2 3) p sup.
4) pr E,1 4) q E,1,3
5) r E,3,4 5) qr I,4
6) q E,2 6) p (q r) I
7) qs E,1 7) r sup
8) s E,6,7 8) qr I,7
9) rs I,5,8 9) r (q r) I
10) (p q) (r s) I 10) qr E,2,6,9
11) Teorema I 11) (p r) (q r) I
12) Teorema I
15 1) (p q) (p r) sup 16 1) (p p) sup.
2) p sup 2) p sup
3) pq sup. 3) p p I,2
4) q E,2,3 4) E,1,3
5) qr I,4 5) p E,2
6) (p q) (q r) I 6) p p I,5
7) pr sup 7) E,1,6
8) r E,2,7 8) s EFSQ,7
9) qr I,8 9) (p p) s I
10) (p r) (q r) I
11) qr E,1,6,10
12) p (q r) I
13) Teorema I
17 1) ((p q) (q p)) sup 18 1) (p (p p)) sup.

2) q sup 2) pp sup
3) p sup. 3) p sup
4) q Rep.2 4) p (p p) I,3
5) pq I 5) p (p (p p)) I
6) (p q) (q p) I,5 6) p (p (p p)) Rep.5
7) E,1,6 7) p (p p) E,2,5,6
8) p EFSQ,7 8) E1,7
9) qp I 9) (p p) I
10) (p q) (q p) I,9 10) p (p p) I,9
11) E,1,10 11) E,1,10
12) ((p q) (q p)) I 12) (p (p p) I
13) (p q) (q p) ,12 13) p (p p) ,12
Ejercicio (15)
1. 1) p q sup 1) q p sup
2) q sup 2) p sup
3) p sup 3) q sup
4) q E,1,3 4) p E,1,3
5) E,2,4 5) E,2,4
6) p I 6) q I
7) q p I 7) q ,6
8) pq I
2. 1) pq sup 1) (p q) sup
2) p q sup 2) p sup
3) p E,2 3) q sup
4) q E,1,3 4) p q I,2,3
5) q E,2 5) E,1,4
6) E,4,5 6) q I
7) (p q) I 7) q ,6
8) pq I

3. 1) (p q) (p r) sup 1) p (q r) sup
2) p sup 2) p sup
3) pq E,1 3) qr E,1,2
4) q E,2,3 4) q E,3
5) pr E,1 5) pq I
6) r E,2,5 6) p sup
7) qr I,4,6 7) qr E,1,6
8) p (q r) I 8) r E,7
9) pr I
10) (p q) (p r) I,5,9
2) p q sup 2) (p q) sup
3) p E,1 3) p sup
4) q E,2,3 4) q sup
5) q I,1 5) pq I,3,4
6) E,4,5 6) E,2,5
7) (p q) I 7) q I
8) p q I
9) E,1,8
10) (p q) I
11) pq ,10
2) p q sup 2) p sup
3) p sup 3) p q I,2
4) p E,1 4) E,1,3
5) E,3,4 5) p I
6) p I 6) p ,5
7) q sup 7) q sup
8) q E,1 8) p q I,7
9) E,7,8 9) E,1,8
10) q I 10) q I
11) E,2,6,10 11) q ,10
12) (p q) I 12) pq I,6,11
6. 1) (p q) sup 1) p q sup
2) (p q) sup 2) pq sup
3) p sup 3) p sup
4) q sup 4) p E,2
5) pq I,3,4 5) E,3,4
6) E,1,5 6) p I
7) q I 7) q sup
8) p q I,7 8) q E,2
9) E,2,8 9) E,7,8
10) p I 10) q I
11) p q I,10 11) E,1,6,10
12 E,2,11 12 (p q) I
13) (p q) I
14) p q ,13
7. 1) (p q) sup 1) p q sup
2) p sup 2) pq sup
3) pq I,2 3) p sup
4) E,1,3 4) p E,1
5) p I 5) E,3,4
6) q sup 6) p I
7) pq I,6 7) q sup
8) E,1,7 8) q E,1
9) q I 9) E,7,8
10) p q I,5,9 10) q I
11) E,2,6,10
12) (p q) I
2) p q sup 2) (p q) sup
3) p sup 3) p sup
4) p E,2 4) pq I,3
5) E,3,4 5) E,2,4
6) p I 6) p I
7) q sup 7) q sup
8) q E,2 8) pq I,7
9) E,7,8 9) I,2,8
10) q I 10) q I
11) E,1,6,10 11) p q I,6,10
12) (p q) I 12) E,1,11
13) (p q) I
14) pq ,13

9. 1) (pq)(pq) sup 1) p sup

2) pq sup 2) ((pq)(pq)) sup
3) p E,2 3) q sup
4) (p q) p I 4) pq I,1,3
5) p q sup 5) (pq)(pq) I,4
6) p E,5 6) E,2,5
7) (p q) p I 7) q I
8) p E,1,4,7 8) p q I,1,7
9) (pq)(pq) I,8
10) E,2,9
11) ((pq)(pq)) I
12) (pq)(pq) ,11
10. 1) p (q r) sup 1) (p q) (p r) sup

2) p E,1 2) pq sup
3) qr E,1 3) p E,2
4) q sup 4) q E,2
5) pq I,2,4 5) qr I,4
6) (pq) (pr) I,5 6) p (q r) I,3,5
7) q((pq)(pr)) I 7) (pq)(p(qr)) I
8) r sup 8) pr sup
9) pr I,2,8 9) p E,8
10) (pq) (pr) I,9 10) r E,8
11) r((pq)(pr)) I 11) qr I,10
12) (p q) (p r) E,3,7,11 12) p (q r) I,9,11
13) (pr)(p(qr)) I
14) p (q r) E,1,7,13
11. 1) p (q r) sup 1) (p q) (p r) sup

2) p sup 2) pq E,1
3) pq I,2 3) p sup
4) pr I,2 4) p (q r) I,3
5) (pq)(pr) I,3,4 5) p (p (q r)) I
6) p((pq)(pr)) I 6) q sup
7) qr sup 7) pr E,1
8) q E,7 8) r sup
9) r E,7 9) qr I,6,8
10) pq I,8 10) p (q r) I,9
11) pr I,9 11) r (p (q r)) I
12) (pq)(pr) I,10,11 12) p (q r) E,5,7,11
13) (qr)((pq)(pr)) I 13) q (p (q r)) I
14) (p q) (p r) E,1,6,13 14) p (q r) E,2,5,13
12 1) (p q) r sup 1) p (q r) sup
2) pq sup 2) p sup
3) p sup 3) pq I,2
4) p (q r) I,3 4) (p q) r I,3
5) p(p(qr)) I 5) p((pq)r) I
6) q sup 6) qr sup
7) qr I,6 7) q sup
8) p (q r) I,7 8) pq I,7
9) q (p(qr)) I 9) (p q) r I,8
10) p (q r) E,2,5,9 10) q((pq)r) I
11) (pq)(p(qr)) I 11) r sup
12) r sup 12) (p q) r I,11
13) qr I,12 13) r((pq)r) I
14) p (q r) I,13 14) (p q) r E,6,10,13
15) r(p (q r)) I 15) (qr)((pq)r) I
16) p (q r) E,1,11,15 16) (p q) r E,1,5,15
Ejercicio (16)
1) Diccionario: p: las leyes son buenas; q: El cumplimiento de las leyes es estricto, r:
Disminuir el delito; s: Nuestro problema es la corrupcin
Esquema del argumento: (p q) r, (q r) s, p / s
Se cumple que (p q) r, (q r) s, p s. Por consiguiente el argumento es
vlido.
(p q) r , (q r) s , p / s 1) (pq)r sup
1 1 1 0 2) (qr)s sup
1 0 3) p sup
0 4) q sup
1 0 5) pq I,3,4
1 0 6) r E1,5
1 7) qr I
0 contradiccin 8) s E,2,7
2) Diccionario: p: l termin el trabajo, q: l fue incapaz de terminar el trabajo.

Esquema del argumento: (p q) / q
Se cumple que (p q) q . Por consiguiente el argumento es vlido.
(p q) / q 1) (p q) sup
1 0 2) q sup
10 3) p q I,2
1 4) E,1,3
0 5) q I
contradiccin 6) q ,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 argumento 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.
p q , r s , t (p r) , t , u (s q) / u
1 1 1 1 1 01
1 1
1 1
10 10
0 0
01 01
01 0 01 contradiccin
1) p q sup
2) r s sup
3) t (p r) sup
4) t sup
5) u (s q) sup
6) u sup
7) s q E,5,6
8) p r E,3,4
9) p sup
10) q E,1,9
11) q E,7
12) E,10,11
13) p I
14) r sup
15) s E,2,14
16) s E,7
17) E,15,16
18) r I
19) E,8,13,18
20) u I
Ejercicio (1)
Traduzca al lenguaje formal de la lgica de predicados de primer orden las
siguientes oraciones. En cada caso especifique el diccionario:
1) Kirchner fue gobernador.
2) El actual presidente de Argentina es abogado.
3) Pedro es tmido pero algunos no lo son.
4) Si Marta gana, todos nos alegramos.
5) Si todos los alumnos aprobaron, Jos aprob.
6) Si alguien es mdico entonces alguien es profesional.
7) Alguien es mdico y alguien es periodista.
8) Alguien es mdico y periodista.
9) Algunos deportistas son giles si estn bien entrenados.
10) Algunos tringulos son rectngulos o escalenos.
11) No hay tringulos cuadrados.
12) No todo plan es exitoso.
13) Muchas investigaciones cientficas son costosas.
14) La ballena es un mamfero o no lo es.
15) Las orqudeas son perfumadas.
16) Nada es seguro y excitante.
17) Hay deportistas giles y bien entrenados.
18) Los deportistas que se entrenan son giles.
19) Hay reyes si y slo si es falso que ninguno es rey.
20) Hay animales rojos, pero ningn gato es rojo.
21) Hay genios, aunque ninguno de los presentes lo sea.
22) Aunque no es cierto que nada cambia, no todo cambia.
23) Ningn automvil es seguro si no tiene frenos.
24) Un hombre til es inteligente.
25) Un hombre inteligente es til.
26) Los hombres no lloran.
27) Si los perros son afectuosos entonces hay animales afectuosos.
28) No todo lo que brilla es oro.
29) No todo soldado que deserta es cobarde.
30) Las obras de arte que no son esculturas son preciadas.
31) Cualquier estudiante aprueba lgica si y slo si estudia y ejercita.
32) Los que no han bebido estn sedientos.
33) No hay mal que dure cien aos.
34) Juan es ms alto que Ana o Ana es ms alta que Juan.
35) Si Juan es ms alto que Ana entonces Ana no es ms alta que Juan.
36) Alguien es ms alto que Ana.
37) Todos son ms altos que Ana.
38) Todos son ms altos que Ana slo si Juan es ms alto que Ana.
39) T conduces la bicicleta nueva de Elena.
40) T conduces una bicicleta nueva.
41) Todos los nios admiran a alguien.
42) Algunos nios admiran a los adultos.
43) Algunos nios admiran a algunos adultos.

44) Ningn nio admira a todos los adultos aunque algunos nios admiran a algunos
adultos.
45) Algunos nios no admiran a ningn adulto.
46) No todos los nios admiran a los adultos.
47) Algunos pjaros inteligentes temen a todos los gatos.
48) Cualquier pjaro inteligente teme a todos los gatos.
49) El hombre es enemigo del hombre.
50) Todos los animales atienden a sus cras.
51) Si Juan tiene un perro, no se lo mostr a nadie.
52) Nadie confa en quien no confa en s mismo.
53) Nadie escucha a alguien que no escucha a los dems.
54) Todos quieren a los que se solidarizan con alguien.
55) Ningn banquero descuida sus intereses
EXTREMADAMENTE COMPLEJOS:
56) Cualquier tapir que persigue a todos los guanacos es peligroso.
57) Algunos tapires grises que no persiguen a ningn guanaco son peligrosos.
58) Todos los tapires que persiguen a los guanacos que persiguen a las llamas son
peligrosos.
59) Los tapires persiguen a algunos guanacos que no persiguen a las llamas.
60) Ningn tapir persigue a los guanacos que no persiguen a ninguna llama.
61) Ninguno de los tapires que persiguen a todos los guanacos persigue a las llamas.
62) Ni las llamas ni los guanacos persiguen a ningn tapir.
63) Algunos automovilistas uruguayos no obedecen a algunos semforos que todos
los peatones respetan.
Ejercicio (2)
En cada una de las siguientes frmulas:

(a)Indique si es una negacin, conjuncin, disyuncin, implicacin, una frmula
universal o una frmula existencial.
(b) Convierta las funciones proposicionales en oraciones (o proposiciones).
(c) Diagrame sus rboles constructivos.
1) xPx Qx
2) xy(Cx Dy) Rxy
3) xRax
4) Pa Gay
5) Pb xyRxy
6) x(Fx yRyx)
Ejercicio (3)
Dado el siguiente diagrama y dado un lenguaje con tres constantes a1, a2 y a3, la
letra de predicado mondica C (entendida como Cx: x est circulado'), y una letra
de predicado binaria F (entendida como Fxy: x flecha a y, la cual se da entre dos
puntos no necesariamente distintos):

(a) Describa exactamente la funcin de interpretacin I del modelo M.

(b) Traduzca las frmulas al lenguaje natural
(c) Determine sobre la base de su significado la verdad o falsedad de las
siguientes frmulas en M:
Diagrama 1

P
1 P 2

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
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
2) x (Px Qx), x(Px Qx), x Px
3) xPx , xPx
4) xy(Pxy Qx) , Pa1a2 xQx
Ejercicio (7)
Empleando las interpretaciones por sustitucin y la definicin de valuacin (df. 7
cap. 3 de Gamut, op.cit), demuestre que la frmula x x es
universalmente vlida
Ejercicio (8)
Efecte las siguientes derivaciones utilizando las reglas bsicas del sistema de
deduccin natural de Gentzen:
1) x(Px Qx) xPx xQx
2) xPx xQx x(Px Qx)
3) xPx xPx
4) xPx x(Qx Rx), xPx , x(QxSx) x(RxSx)
5) x(Rx Px) , x(Qx Px) x(Rx Qx)
6) xy(Rxy (Rxx Ryy)) xRxx
7) x((Px Qx) Rx), x(Qx Sx) x(PxRx)
8) x (Px Qx) x (Px Qx)
9) x (Px Qx) (x Px x Qx )
10) x (Px Qx) x (Px Qx)
11) xQx xy(Px Qy)
12) xyPxy yxPxy
13) x(Px Qx), xy(Px Rxy), xy(Qx Rxy) xPx
14) x(Px Qx) (xPx xQx)
15) x(Px Qx) x(Px Qx)
Ejercicio (9)
Derive mutuamente los siguientes pares de frmulas utilizando las reglas bsicas
del sistema de deduccin natural de Gentzen.
1) x (Px Qx) y x (Px Qx)
2) x (Px Qx) y (xPx xQx)


Ejercicio (10)
Traduzca el siguiente argumento al lenguaje de la lgica de predicados y derive su
conclusin partiendo de las premisas mediante deduccin natural.
Si dos lneas cualesquiera son perpendiculares a una tercera, entonces son paralelas
entre s. Si una lnea es perpendicular a otra entonces la segunda es perpendicular a la
primera. Por lo tanto, si dos lneas cualesquiera no son paralelas, no se da el caso de
que haya una tercera que sea perpendicular a ambas. (NOTA: El universo de discurso
supuesto es el conjunto de las lneas con una cantidad infinita de puntos)
Soluciones
Ejercicio (1)
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}
2) Aa
Diccionario: a: el actual presidente de los argentinos, Ax: x es abogado,
Dominio: {personas}
3) Tp xTx
Diccionario: p: Pedro; Tx: x es tmido; Dominio: {personas}
4) Gm xAx
Diccionario: m: Marta; Gx: x gana; Ax: x se alegra; Dominio: {personas}
5) x(Ax Px) Pj
Diccionario: j: Jos; Ax: x es alumno; Px: x aprob; Dominio: {personas}
6) xMx xPx
Diccionario: Mx: x es mdico; Px: x es profesional; Dominio: {personas}
7) xMx xPx
Diccionario: Mx: x es mdico; Px: x es periodista; Dominio: {personas}
8) x(Mx Px)
Diccionario: Mx: x es mdico; Px: x es periodista; Dominio: {personas}
9) x(Dx (Ex Ax))


Diccionario: Dx: x es deportista; Ax: x es gil; Ex: x est bien entrenado;

Dominio: {personas}
10) x((Tx (Rx Ex))
Diccionario: Tx: x es tringulo; Rx: x es rectngulo; Ex: x es escaleno; Dominio:
{figuras geomtricas}
11) x(Tx Cx)
Diccionario: Tx: x es tringulo; Cx: x es cuadrado; Dominio: {figuras
geomtricas}
12) x(Px Ex)
Diccionario: Px: x es un plan; Ex: x es exitoso; Dominio: {cosas}
13) x((Ix Cx) Ox)
Diccionario: Ix: x es una investigacin; Cx: x es cientfica; Ox: x es costoso;
Dominio: {productos humanos}
14) x(Bx (Mx Mx))
Diccionario: Bx: x es ballena; Mx: x es mamfero; Dominio: {animales}
15) x(Ox Px)
Diccionario: Ox: x es orqudea; Px: x es perfumada; Dominio: {plantas}
16) x(Sx Ex) x(Sx Ex)
Diccionario: Sx: x es seguro; Ex: x es excitante; Dominio: {cosas}
17) x((Dx Ax) Ex)
Diccionario: Dx: x es deportista; Ax: x es gil; Ex: x est bien entrenado;
Dominio: {personas}
18) x((Dx Ex) Ax)
Diccionario: Dx: x es deportista; Ax: x es gil; Ex: x se entrena; Dominio:
{personas}
19) xRx xRx
Diccionario: Rx: x es rey; Dominio: {personas}
20) x(Ax Rx) x(Gx Rx)
Diccionario: Ax: x es animal, Rx: x es rojo, Gx: x es gato, Dominio:{seres
vivos}
21) xGx x(Px Gx)
Diccionario: Gx: x es genio, Px: x est presente, Dominio: {personas
22) xCx xCx
Diccionario: Cx: x cambia; Dominio: {cosas}
23) x(Ax (Fx Sx)) x((Ax Fx) Sx) x(Ax (Fx Sx))
Diccionario: Ax: x es automvil; Sx: x es seguro; Fx: x tiene frenos; Dominio:
{vehculos}
24) x((Hx Ux) Ix)
Diccionario: Hx: x es hombre; Ux: x es til; Ix: x es inteligente; Dominio:
{personas}
25) x((Hx Ix) Ux)
Diccionario: Hx: x es hombre; Ux: x es til; Ix: x es inteligente; Dominio:
{personas}
26) x(Hx Lx)
Diccionario: Hx: x es hombre; Lx: x llora; Dominio: {personas}
27) x(Px Ax) x(Nx Ax)
Diccionario: Px: x es perro; Ax: x es afectuoso; Nx: x es animal; Dominio:
{seres vivos}
28) x(Bx Ox)

Diccionario: Bx: x brilla; Ox: x es oro; Dominio: {cosas}

29) x((Sx Dx) Cx)
Diccionario: Sx: x es soldado; Dx: x deserta; Cx: x es cobarde; Dominio:
{personas}
30) x(Ox Ex) Px)
Diccionario: Ox: x es obra de arte; Ex: x es escultura; Px: x es preciado;
Dominio: {cosas}
31) x(Ex (Ax (Sx Jx)))
Diccionario: Ex: x es estudiante; Ax: x aprueba lgica.; Sx: x estudia; Jx: x se
ejercita; Dominio: {personas}
32) x(Bx Sx)
Diccionario: Bx: x ha bebido; Sx: x est sediento; Dominio: {personas}
33) x(Mx Dx)
Diccionario: Mx: x es un mal; Dx: x dura cien aos; Dominio: {cosas}
34) Aja Aaj
Diccionario: j: Juan; a: Ana; Axy: x es ms alto que y; Dominio: {personas}
35) Aja Aaj
36) xAxa
Diccionario: a: Ana; Axy: x es ms alto que y; Dominio: {personas}
37) xAxa
Diccionario: a: Ana; Axy: x es ms alto que y; Dominio: {personas}
38) xAxa Aja
39) Ctb
Diccionario: t: t; b: la bicicleta nueva de Elena; Cxy: x conduce y; Dominio:
{personas y cosas}
40) x((Bx Nx) Ctx)
Diccionario: Bx: x es una bicicleta; Nx: x es nuevo; t: t; Cxy: x conduce y;
Dominio: {personas y cosas}
41) x(Nx yAxy) xy(Nx Axy)
Diccionario: Nx: x es nio; Axy: x admira a y; Dominio: {personas}
42) x(Nx y(Dy Axy))
Diccionario: Nx: x es nio; Dx: x es adulto; Axy: x admira a y; Dominio:
{personas}
43) x(Nx y(Dy Axy))
{personas}
44) x(Nx y(Dy Axy)) x(Nx y(Dy Axy))
{personas}
45) x(Nx y(Dy Axy))
{personas}
46) x(Nx y(Dy Axy))
{personas}
47) x((Px Ix) y(Gy Txy))

Diccionario: Px: x es pjaro; Ix: x es inteligente; Gx: x es gato; Txy: x teme a y;

Dominio: {animales}
48) x((Px Ix) y(Gy Txy))
Diccionario: Px: x es pjaro; Ix: x es inteligente; Gx: x es gato; Txy: x teme a y;
Dominio: {animales}
49) xy(Hx (Hy Exy)
Diccionario: Hx: x es hombre; Exy: x es enemigo de y; Dominio: {personas}
50) x(Ax y(Cyx Txy))
Diccionario: Ax: x es animal; Cxy: x es cra de y; Txy: x atiende a y; Dominio:
{animales}
51) x ((Px Tjx) y (Ey Mjxy))
Diccionario: j: Juan; Px: x es perro; Txy: x tiene y; Ex: x es persona; Mxyz: x
mostr y a z; Dominio: {personas y animales}
52) xy(Cxx Cyx)
Diccionario: Cxy: x confa en y; Dominio: {personas}
53) xyz(Exy Ezx)
Diccionario: Cxy: x escucha en y; Dominio: {personas}
54) xyz(Sxy Qzx)
Diccionario: Qxy: x quiere a y; Sxy: x se solidariza con y, Dominio: {personas}
55) x((Px Bx) y((Cy Iyx) Dxy))
Diccionario: Bx: x es banquero; Ixy: x es un inters de y; Dxy: x descuida a y;
Px: x es persona; Cx: x es cosa; Dominio: {personas y cosas}
56) x((Tx y(Gy Pxy)) Ex)
Diccionario: Tx: x es tapir; Gx: x es guanaco; Ex: x es peligroso; Pxy: x persigue
a y; Dominio: {animales}
57) x(((Tx Rx) y(Gy Pxy)) Ex)
Diccionario: Tx: x es tapir; Rx: x es gris; Gx: x es guanaco; Ex: x es peligroso;
Pxy: x persigue a y; Dominio: {animales}
58) x((Tx y((Gy z(Lz Pyz)) Pxy)) Ex)
Diccionario: Tx: x es tapir; Gx: x es guanaco; Lx: x es llama; Ex: x es peligroso;
Pxy: x persigue a y; Dominio: {animales}
59) x(Tx y((Gy z(Lz Pyz)) Pxy))
Diccionario: Tx: x es tapir; Gx: x es guanaco; Lx: x es llama; Pxy: x persigue a
y; Dominio: {animales}
60) x(Tx y(Gy z(Lz Pyz) Pxy))
61) x((Tx y(Gy Pxy)) z(Lz Pxz))
62) x(Lx y(Ty Pxy)) x(Gx y(Ty Pxy))
63) x(((Hx Ax) Ux) y(((Cy Sy) z((Hz Pz) Rzy)) Oxy))
Diccionario: Hx: x es hombre; Cx: x es cosa; Ax: x es automovilista; Ux: x es
uruguayo; Sx: x es semforo; Px: x es peatn; Oxy: x obedece a y; Rxy: x
respeta a y; Dominio: {personas y cosas}


Ejercicio (2)
(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,) xRax(4,)
Rxy(1)

Px(1) y(CxDy) (4,) Rax(1)

Cx Dy(4,)

Cx(1) Dy(2)

Dy(1)
(4) Pa Gay(3,) (5) Pb xyRxy(3,) (6) x(Fx yRyx)(4,)

Pa(1) Gay(2) Pb(1) xyRxy(4,) Fx yRyx(3,)

Gay(1) yRxy(2) Fx(1) yRyx(4,)

yRxy(4,) Ryx(1)

Rxy(1)
Ejercicio (3)
Modelo: D = {P1, P2, P3; I(a1) = P1; I(a2) = P2; I(a3) = P3; I(C) = {P2}; I(F) = { <P1,P1>,
<P3, P1>, <P3, P2>, <P3, P3>}
1.b: xy(Fxy Cx). Todo el que flecha a alguno no est circulado.
1.c: La oracin es verdadera porque solamente P1 y P3 flechan a alguno, y ninguno de
los dos est circulado.
2. b: x(Fxx Cx). Alguno que se flecha a s mismo est circulado.
2. c: La oracin es falsa porque el nico que se flecha a s mismo es P1, y no est
circulado.
3.b: xy Fyx. Todos son flechados por alguno.
3.c: La oracin es verdadera porque P1 recibe una flecha de P3 P2 recibe una flecha de
P3 y P3 se flecha a s mismo.
4. b: xyFxy. Alguno flecha a todos.
4. c: La oracin es verdadera porque P3 flecha a todos.
5. b: xy (Fxy Cx). Todo punto flecha a todo punto o est circulado.
5 c: La oracin es falsa porque, por ejemplo, P1 no est circulado y no flecha a todos.
6. b: xy (Fxy Fxx). Todos los que flechan a todos se flechan a s mismos.


6. c: La oracin es verdadera porque un punto cualquiera flecha a todos se tiene que

flechar a s mismo.
7. b: xy (Fxx Fxy). Todos los que se flechan a s mismos flechan a todos.
7. c: La oracin es falsa porque P1 se flecha a s mismo pero no flecha a todos.
Ejercicio (4)
Las siguientes soluciones son simplemente ejemplos
1) Modelo: D = {a, b, c }; I(a1) = a , I(a2) = b, I(a3) = c; I(P) = {a}; I(Q) = {b, c}
Justificacin:
2) Modelo: D: {1, 2}; I(a1) = 1 I(a2) = 2; I(P) = ( = smbolo del conjunto vaco).,
I(Q) = {1} . Justificacin:
3) Modelo: D: {e, f}; I(a1) = e I(a2) = f ; I(P) = {e}; I(Q) = {f}. Justificacin:
4) Modelo: D: { , }; I(a1) = ; I(a2) = ; I(P) = {} ; I(Q) = {}.
Ejercicio (5)
1) Modelo: D: {2, 6}; I(a1) = 2; I(a2) = 6; I(P) = {2, 6} ; I(Q) = {6}.
2) Modelo: D: {P1,P2}; I(a1) = P1 ; I(a2) = P2 ; I(R) = {<P1, P1>, <P1, P2>}.
Ejercicio (6)
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 xQx sup
2) xPx sup 2) Pa sup
3) Pa Qa E,1 3) xPx E,1
4) Pa E,2 4) Pa E,1
5) Qa E,3,4 5) E,2,4
6) xQx I,5 6) Qa EFSQ,5
7) xPx xQx I 7) Pa Qa I
8) x(Px Qx) I,7

(3) 1) xPx sup (4) 1) xPx x(Qx Rx) sup

2) xPx sup 2) xPx sup
3) xPx ,1 3) x(Qx Sx) sup
4) Pa sup 4) Pa sup
5) Pa E,2 5) xPx I,4
6) E,4,5 6) E,2,5
7) Pa I 7) Pa I
8) E,3,7 8) xPx I,7
9) xPx I 9) x(Qx Rx) E,1,8
10) Qa Ra E,9
11) Qa Sa sup
12) Qa E,11
13) Ra E,10,12
14) Sa E,11
15) Ra Sa I,13,14
16) x(RxSx) I,15
17) (QaSa) x(RxSx) I
18) x(RxSx) E,3,17
(5) 1) x(Rx Px) sup (6) 1) xy(Rxy(RxxRyy)) sup

2) x(Qx Px) sup 2) y(Ray(RaaRyy)) E,1
3) Ra sup 3) Raa(RaaRaa) E,2
4) Ra Pa E,1 4) Raa sup
5) Pa E,3,4 5) Raa Raa E,3,4
6) Qa Pa E,2 6) Raa E,5
7) Qa sup 7) E4,6
8) Pa E,6,7 8) Raa I
9) E,5,8 9) xRxx I,8
10) Qa I
11) Qa ,10
12) Ra Qa I
13) x(Rx Qx) I,12

(7) 1) x((PxQx)Rx) sup (8) 1) x(PxQx) sup

2) x(Qx Sx) sup 2) x(PxQx) sup
3) Qa Sa sup 3) PaQa sup
4) x(PxRx) sup 4) Pa Qa E,2
5) Qa E,3 5) Pa E,3
6) Pa sup 6) Qa E,4,5
7) Pa Qa I,5,6 7) Qa E,3
8) (Pa Qa) Ra E,1 8) E,6,7
9) Ra E,7,8 9) (PaQa) I
10) Pa Ra I,9 10) E,1,9
11) x(PxRx) I,10 11) x(PxQx) I
12) E,4,11 12) x(PxQx) I
13) Pa I x(PxQx)
14) Pa Ra I,13
15) x(PxRx) I,14
16) E,4,15
17) x(PxRx) I
18) x(PxRx) ,17
19) (QaSa)x(PxRx) I
20) x(PxRx) E,2,19
(9) 1) x(Px Qx) sup (10) 1) x(PxQx) sup

2) xPx sup 2) Pa Qa sup
3) Pa Qa E,1 3) Pa Qa E,1
4) Pa sup 4) Pa sup
5) Pa E,2 5) Pa E,2
6) E,4,5 6) E,4,5
7) Qa EFSQ,6 7) Pa I
8) Pa Qa I 8) Qa sup
9) Qa sup 9) Qa E,2
10) Qa Rep,9 10) E,8,9
11) Qa Qa I 11) Qa I
12) Qa E,3,8,11 12) E,3,7,11
13) xQx I,13 13) (Pa Qa) I
14) xPx xQx I 14) x(Px Qx) I,13
15) x(Px Qx) I 15) x(PxQx)
(xPxxQx ) x (Px Qx) I


(11) 1) xQx sup (12) 1) (xyPxy yxPxy) sup

2) Pa sup 2) xPxb sup
3) Qb E,1 3) Pab sup
4) Pa Qb I 4) xPxb I,3
5) y(Pa Qy) I,4 5) E,2,4
6) xy(PxQy) I,5 6) Pab I
7) xQx I 7) yPay I,6
xy(PxQy) 8) xyPxy I,7
9) xyPxy yxPxy I,8
10) E,1,9
11) xPxb I
12) xPxb ,11
13) yxPxy I,12
14) xyPxy yxPxy I,13
15) E,1,14
16) (xyPxy yxPxy) I
17) xyPxy yxPxy ,16
(13) 1) x(PxQx) sup (14) 1) x(PxQx) sup

2) xy(PxRxy) sup 2) (xPxxQx) sup
3) xy(QxRxy) sup 3) Pa sup
4) y(QaRay) sup 4) xPx I,3
5) QaRab sup 5) xPx xQx I,4
6) PaQa E,1 6) E,2,5
7) Pa sup 7) Pa I
8) Qa E,6,7 8) Pa ,7
9) Qa sup 9) PaQa sup
10) E,8,9 10) Qa E,8,9
11) Qa I 11) xQx I,10
12) y(PaRay) E,2 12) xPxxQx I, 11
13) PaRab E,12 13) E,2,12
14) Rab E,7,13 14) (PaQa) I
15) Rab sup 15) E,1,14
16) E,14,15 16) (xPxxQx) I
17) Rab I 17) xPxxQx ,16
18) E,5,11,17
19) Pa I
20) xPx I,19
21) (QaRab)xPx I
22) xPx E,5,21
23) y(QaRay)xPx I
24) xPx E,4,23


(15) 1) x(Px Qx) sup

2) (Pa Qa) sup
3) (Pa Qa) sup
4) Pa sup
5) Qa sup
6) Pa Qa I,4,5
7) E,2,6
8) Qa I
9) Pa Qa I,8
10) E,3,9
11) Pa I
12) Pa Qa I,11
13) E,3,12
14) (Pa Qa) I
15) Pa Qa ,14
16) x(Px Qx) I,15
17) (Pa Qa)x(PxQx) I
18) x(Px Qx) E,1,17
Ejercicio (9)
(1) 1) x (Px Qx) sup 1) x(PxQx) sup

2) Pa Qa sup 2) x(Px Qx) sup
3) Pa sup 3) Pa Qa sup
4) Pa sup 4) Pa sup
5) E,3,4 5) Qa E,3,4
6) Qa EFSQ,5 6) Pa Qa I,5
7) Pa Qa I 7) x (Px Qx) I,6
8) Qa sup 8) E,2,7
9) Qa Rep.,8 9) Pa I
10) Qa Qa I 10) Pa ,9
11) Qa E,2,7,10 11) Pa Qa I,10
12) Pa Qa I 12) x (Px Qx) I,11
13) x (Px Qx) I,12 13) E,2,12
14) (PaQa)x(PxQx) I 14) (Pa Qa) I
15) x (Px Qx) E,1,14 15) E,1,14
16) x(Px Qx) I
17) x (Px Qx) ,16

(2) 1) x (Px Qx) sup 1) xPx xQx sup

2) (xPx xQx) sup 2) xPx sup
3) Pa Qa sup 3) Pa sup
4) Pa sup 4) Pa sup
5) Qa E,3,4 5) E,3,4
6) xQx I,5 6) Qa EFSQ,5
7) xPx xQx I,6 7) Pa Qa I
8) E,2,7 8) x (Px Qx) I,7
9) Pa I 9) Pax(PxQx) I
10) xPx I,9 10) x (Px Qx) E,2,9
11) xPx xQx I,10 11) xPxx(PxQx) I
12) E2,11 12) xQx sup
13) (Pa Qa) I 13) Qa sup
14) E,1,13 14) Pa sup
15) (xPxxQx) I 15) Qa Rep,13
16) xPx xQx ,15 16) Pa Qa I
17) x (Px Qx) I,16
18) Qax(PxQx) I
19) x (Px Qx) E,2,18
20) xQxx(PxQx) I
21) x (Px Qx) E,1,11,21

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) xyz((Pxz Pyz) Axy) sup
2) xy(Pxy Pyx) sup
3) Aab sup
4) z(Pza Pzb) sup
5) Pca Pcb sup
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

Lógica, Complementaria 2011 2º Semestre

Diunggah oleh

Informasi Dokumen

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Lógica, Complementaria 2011 2º Semestre

Diunggah oleh

Hak Cipta:

Format Tersedia

Departamento de Ciencias Bsicas

Asignatura: Lgica (S954)

Ejercitacin complementaria para el Trabajo Prctico n1

Ejercicio (3) Distinga los argumentos deductivos de los no deductivos.

Ejercicio (5) Entrecomille las expresiones que estn mencionadas:

Conclusin: No es sorprendente que las matemticas resulten aplicables a las

Premisa 4: Las cosas inmediatamente percibidas son ideas

17) Hay 2 argumentos.

(d) Premisa 4: El Universo no puede disminuir ni aumentar.

Ejercitacin complementaria para el Trabajo Prctico n2

1) Mara no sabe cocinar, pero canta como un jilguero.

2) Si llego temprano, te acompao. Por lo tanto, si no te acompao, no llego

teniendo en cuenta alternativamente los datos (i) e (ii):

14) Diccionario: p: hace fro; q: hace calor.

1) Estudias o trabajas. Diccionario: p: T estudias; q: T trabajas.

12) Si es cierto que estudias o trabajas entonces no es cierto que ni estudias ni

1) Es frmula: implicacin material; 2), 3) y 4) no son frmulas, 5) Es frmula:

1) Diccionario: p: En la provincia de Buenos Aires se prohibieron los basurales a

1) Diccionario: p: Dices la verdad; q: Eres declarado culpable.

4) Diccionario: p: El juez es el principal sospechoso; q: El tribunal condenar al

7) no es tautologa: V(p) = V(q) = 1

9. 1) (p (p q)) sup. 10. 1) p (q r) sup.

11. 1) p sup 12. 1) (p (p q)) sup.

13. 1) (p r) (q s) sup. 14. 1) pq sup.

17 1) ((p q) (q p)) sup 18 1) (p (p p)) sup.

9. 1) (pq)(pq) sup 1) p sup

10. 1) p (q r) sup 1) (p q) (p r) sup

11. 1) p (q r) sup 1) (p q) (p r) sup

2) Diccionario: p: l termin el trabajo, q: l fue incapaz de terminar el trabajo.

V(q) = 1; V(r) = 0 demuestra que p q, q r r. Luego, el argumento es

Ejercitacin complementaria para el Trabajo Prctico n3

En cada una de las siguientes frmulas:

(a) Describa exactamente la funcin de interpretacin I del modelo M.

Diccionario: Dx: x es deportista; Ax: x es gil; Ex: x est bien entrenado;

Diccionario: Bx: x brilla; Ox: x es oro; Dominio: {cosas}

Diccionario: Px: x es pjaro; Ix: x es inteligente; Gx: x es gato; Txy: x teme a y;

6. c: La oracin es verdadera porque un punto cualquiera flecha a todos se tiene que

(3) 1) xPx sup (4) 1) xPx x(Qx Rx) sup

(5) 1) x(Rx Px) sup (6) 1) xy(Rxy(RxxRyy)) sup

(7) 1) x((PxQx)Rx) sup (8) 1) x(PxQx) sup

(9) 1) x(Px Qx) sup (10) 1) x(PxQx) sup

(11) 1) xQx sup (12) 1) (xyPxy yxPxy) sup

(13) 1) x(PxQx) sup (14) 1) x(PxQx) sup

(15) 1) x(Px Qx) sup

(1) 1) x (Px Qx) sup 1) x(PxQx) sup

(2) 1) x (Px Qx) sup 1) xPx xQx sup

xyz((PxzPyz)Axy); xy(PxyPyx) xy(Axyz(PzxPzy))

Anda mungkin juga menyukai