Sei sulla pagina 1di 88

Guía de ejercitación complementaria

(para la Facultad de Psicología)

Corregida y actualizada en agosto de 2013

Prof. Cecilia Duran Universidad Nacional de La Plata

(ADVERTENCIA: esta no es la guía de trabajos prácticos)

Guía Un prisionero está encerrado en una celda que tiene dos puertas, una conduce a
Guía Un prisionero está encerrado en
una celda que tiene dos puertas, una
conduce a la muerte y otra a la libertad.
Cada puerta está custodiada por un
vigilante; el prisionero sabe que uno de
ellos siempre dice la verdad, y el otro
siempre miente. Para elegir la puerta por
la que pasará solo puede hacer una
pregunta a uno solo de los vigilantes.
¿Cómo puede salvarse?

Ejercitación sobre argumentos, validez y forma lógica – Prof. Cecilia Duran (UNLP)

2013-2ºsemestre

| 1

Para emplear en forma útil esta guía, es imprescindible que el alumno intente realizar los ejercicios antes de cotejar las soluciones. Además, debe tenerse en cuenta que muchos de los ejercicios admiten diversas soluciones alternativas correctas. En esos casos consignamos sólo una de ellas. Se incluyen algunos temas no desarrollados en los prácticos. Resulta casi obvio consignar que no todos los ejercicios son de mi autoría, no pudiendo agradecer a los autores por desconocimiento de los mismos.

Temas de la ejercitación: (a) Argumentos, validez y forma lógica, (b) Lógica Proposicional, (c) Lógica de Predicados.

Orden de presentación de la ejercitación:

1) Breve mención de los temas de la práctica y la bibliografía sugerida.

2) Ejercitación (consignando la solución de algunos ejercicios)

3) Más ejercicios sobre el tema (consignando la solución de todos los ejercicios)

Ejercitación sobre: argumentos, validez y forma lógica

Temas:

Estructura e identificación de un argumento. Argumentos deductivos y no deductivos. Argumentos y esquemas de argumento. El concepto de forma lógica. Validez formal. Silogismo categórico. El Método del Contraejemplo. Diagramas de Venn para determinación de validez/invalidez de silogismos categóricos Bibliografía:

- Copi I., (2007), Introducción a la lógica, México: Limusa, cap. 1, (apartados 1.1,1.2,1.4 a 1.7, para argumentos, validez y forma lógica) cap.5 (apartados 5.1 1 5.3 y 5.6, para proposiciones categóricas) y cap.6 (apartados 6.1 a 6.3 para silogismo categórico y diagramas de Venn). - Gamut, L. T. F.,(1991 o posterior), Lógica lenguaje y significado, Vol. 1, Introducción a la lógica, Bs.As., EUDEBA, 2009, cap. 1 (1.1, 1.2, 1.3)

Ejercicio (1) Determine si los siguientes textos constituyen o no argumentos. En caso de que así sea, identifique premisas y conclusión. Justifique su respuesta.

(a)

``La lógica es invencible, porque para combatir la lógica es necesario utilizar la lógica'' (Pierre Boutroux)

(b)

``El hombre razonable se adapta al mundo; el no razonable sigue tratando de adaptar el mundo a sí mismo. Por lo tanto, todo progreso depende del hombre no razonable.'' (George Bernard Shaw)

(c)

``Pedídme lo mismo, pues los amigos deben tener todas las cosas en común.'' (Platón, Fedro)

(d)

``El albañil empleado en la edificación de una casa tal vez ignore totalmente su plano general, o en todo caso, tal vez no lo recuerde constantemente. Lo mismo sucede con el hombre mientras trabaja a lo largo de los días y las horas de su vida, piensa poco en el carácter de ésta como totalidad. '' (A. Schopenhauer, Consejos y máximas)

2 |

Ejercitación sobre argumentos, validez y forma lógica – Prof. Cecilia Duran (UNLP)

2013-2ºsemestre

(e)

``

los legisladores consideran de más valor la amistad que la justicia, porque la

concordia parece ser fruto de la amistad, y, cuando los hombres son amigos, no hay necesidad de justicia.'' (Aristóteles, Ética )

(f)

``(

)

y lo que no consiente nunca la muerte, ¿cómo lo llamamos?

- Lo inmortal.

 

- El alma ¿ no consiente la muerte? - No

- El alma es, por consiguiente, inmortal (Platón, Fedón o Del Alma)''

 

(g)

``Si quiere usted descubrir su opinión verdadera acerca de alguien, observe la impresión que le causa la primera visión de una carta de él.'' (A. Schopenhauer, Observaciones psicológicas)

(h)

``Primeramente, si la tierra y agua

 

y

los soplos ligeros de los aires

y

los vapores cálidos del fuego

a

nacimiento y muerte están sujetos,

debe correr la misma suerte el mundo, que de estos elementos se compone; porque siendo nativas y mortales las partes, debe el todo ser lo mismo''(Lucrecio, De Rerum Natura)

(i)

``- Entonces dí lo que piensas- prosiguió la Liebre de Marzo.

Eso es lo que hago -dijo Alicia precipitadamente-. Al menos pienso lo que digo. Es la misma cosa.

-

al menos

yo

No es lo mismo -advirtió el sombrerero-. Según tú, sería lo mismo decir: ''Veo lo que como'' que ''Como lo que veo''.

-

Y también -dijo la Liebre de Marzo- te parecería lo mismo decir ''Me gusta lo que recibo'', que ''Recibo lo que me gusta''.

-

-

Y también -intervino el Lirón que parecía hablar en sueños- para tí sería lo

mismo decir ''Respiro cuando duermo'', que ''Duermo cuando respiro''.

 

Para ti sí es lo mismo- dijo el sombrerero.'' (L. Carroll, Alicia en el país de las maravillas )

-

(j)

``No odiamos cuando nuestra estima es aún pequeña sino sólo cuando es igual o mayor a la que tenemos por nosotros mismos'' (F. Nietzsche, F. Más allá del Bien y del Mal).

(k)

``Si se llegara al punto en que dispusiéramos de los medios de conocer lo que sucede en el cerebro de una persona y pudiéramos usar esto como base para predecir lo que hará, y además si este conocimiento se extendiera a nuestra propia conducta futura, es improbable que nuestra actual visión de la vida permaneciera la misma.'' (A. Ayer, El concepto de persona)

(l)

El astrónomo Franceso Sizi ofreció la siguiente argumentación para mostrar por qué era falso lo que Galileo creía haber visto (satélites girando alrededor de Júpiter):

I) Hay siete ventanas en la cabeza, dos orificios nasales, dos orejas, dos ojos y una boca; así en los cielos hay dos estrellas favorables, dos que no son propicias, dos luminarias y Mercurio, el único que no se decide y permanece indiferente. De lo cual, así como de muchos otros fenómenos de la naturaleza similares - los siete metales, etc. - que sería tedioso enumerar, inferimos que el número de los planetas es necesariamente siete. (C. Hempel, Filosofía de la Ciencia Natural

Ejercitación sobre argumentos, validez y forma lógica – Prof. Cecilia Duran (UNLP)

2013-2ºsemestre

| 3

Los satélites son invisibles a simple vista, y por tanto no pueden tener

influencia sobre la tierra, y por tanto serían inútiles, y por tanto no existen. (C. Hempel, Filosofía de la Ciencia Natural)

II) (

)

Ejercicio (2) En las columnas de la tabla siguiente se da la información acerca de la forma lógica o de las premisas o de la conclusión de un argumento. Sobre esa base complete la información de cada columna para los lugares que están en blanco'. (Por ejemplo: (a) Si la forma lógica de un razonamiento es válida y su conclusión es falsa, entonces sus premisas son falsas)

 

a

b

c

d

e

f

g

h

i

j

Forma

válida

inválida

 

válida

inválida

 

válida

 

válida

 

Lógica

Premisas

   

verd.

verd.

falsas

verd.

 

falsas

falsas

falsas

Conclusión

falsa

falsa

verd.

   

falsa

verd.

verd.

 

falsa

Ejercicio (3) (a) Abstraiga la forma lógica de los siguientes silogismos categóricos reemplazando las expresiones que representan clases o conjuntos por las letras A, B, C,

(a)

Todos los hombres son voladores; todos los primates son hombres; luego; todos los primates son voladores.

(b)

Algún europeo no es francés. Ningún argentino es europeo. Por consiguiente, algún argentino no es francés.

(c)

Ningún chaqueño es rioplatense Por ende, ningún riojano es chaqueño. Puesto que ningún rioplatense es riojano.

(d)

Dado que todo profesor es negligente, y que no todos los hombres son profesores, se sigue que algunos hombres no son negligentes.

(e)

No todo cristiano es metodista; pues algunos protestantes no son metodistas y algunos cristianos no son protestantes.

(b) Encuentre un contraejemplo que demuestre que los argumentos b, c, d, y e son inválidos.

Ejercicio (4) Halle la forma lógica (modo y figura) de los siguientes silogismos y determine mediante Diagramas de Venn si son válidos o inválidos:

1) Ningún rey paga impuestos; por ende, ninguna persona poderosa paga impuestos, puesto que todo rey es una persona poderosa.

4 |

Ejercitación sobre argumentos, validez y forma lógica – Prof. Cecilia Duran (UNLP)

2013-2ºsemestre

2) Ningún posible candidato a presidente se conforma con salir segundo en las elecciones; y todo político destacado es un posible candidato a presidente. Luego, nadie que busque salir segundo en las elecciones es un político destacado.

3) Algunos artistas son maestros, porque todos los creadores son artistas y algunos maestros son creadores.

4) Todos los best sellers son obras comerciales; por lo tanto algunas obras comerciales no son buenos libros, ya que algunos best sellers no son buenos libros.

5) Algún vegetariano es cazador; puesto que algún deportista es cazador y ciertos vegetarianos son deportistas.

Ejercicio (5) Distinga los argumentos deductivos de los no deductivos. Justifique su respuesta.

(a)

``Apolo'' es una compañía sexista. Conozco veinte personas que solicitaron un empleo en dicha empresa, diez son hombres y diez son mujeres. Todos ellos estaban calificados para el empleo. Los diez hombres lo obtuvieron pero ninguna mujer lo logró.

(b)

Si es cierto que todos ustedes mienten entonces tú mientes. Pero tú dices que mientes. Por consiguiente, si mientes, dices la verdad; y si dices la verdad entonces mientes.

(c)

``La teología enseña que el Sol ha sido creado para iluminar la Tierra. Ahora bien, movemos la antorcha para iluminar la casa, pero no movemos la casa para que ésta sea iluminada por la antorcha. Por consiguiente, es el Sol el que gira alrededor de la Tierra, y no la Tierra alrededor del Sol'' (Besian Array)

(d)

Ninguno de los meteoritos marcianos encontrados en la Tierra contiene fósiles de organismos. Por consiguiente es poco probable que en Marte haya habido vida.

(e)

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.

(f)

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 función de los datos, de 0,49.

Ejercitación sobre argumentos, validez y forma lógica – Prof. Cecilia Duran (UNLP)

2013-2ºsemestre

| 5

Soluciones de algunos de los ejercicios

Ejercicio (1) a: es un argumento; Premisa: ``Para combatir la lógica es necesario utilizarla''; Conclusión: ``La lógica es invencible.'' f.: es un argumento; Premisa 1: ``Lo que no consiente nunca la muerte es lo inmortal'; Premisa 2: ``El alma no consiente la muerte''; Conclusión: El alma es inmortal j.: no es un argumento, no se infiere ninguna conclusión. k.: no es un argumento, es una oración condicional.

Ejercicio (2) (b): las premisas quedan indeterminadas, ya que los argumentos inválidos no garantizan la preservación de la verdad, por lo tanto, siendo la conclusión falsa, las premisas pueden ser tanto verdaderas como falsas.

Ejercicio (3) Argumento (c):

Forma lógica: Ningún C es P. Ningún P es J. / Ningún J es C. Contraejemplo: C: mamífero; P: pez; J: equino (a) Argumento (d): Dado que todo profesor es negligente, y que no todos los hombres son profesores, se sigue que algunos hombres no son negligentes.

Forma lógica: Todo P es N. No todo H es P. / Algún H no es N. Contraejemplo :P: bonaerense; N: americano; H: argentino.

Ejercicio (4)

S P 2) Forma: AEE-4º P M = M S = El silogismo es S
S
P
2) Forma: AEE-4º
P
M
=
M
S
=
El silogismo es
S
P
=
válido
M
S
P
5) Forma: III-1º
MP
π
SM
π
X
X
SP π
El silogismo es
inválido
M

6 |

Ejercitación sobre argumentos, validez y forma lógica – Prof. Cecilia Duran (UNLP)

2013-2ºsemestre

Ejercicio (5) c.: No deductivo: se amplía la información contenida en las premisas (el movimiento de la antorcha) al caso contemplado en la conclusión (el caso del Sol) e: Deductivo: no hay ampliación de la información ambas calculan el tiempo necesario para efectuar los tiros.

Más ejercitación sobre argumentos, validez y forma lógica – Prof. Cecilia Duran (UNLP) 2013-2ºsemestre

| 7

Más ejercitación sobre: argumentos, validez y forma lógica,

Ejercicio (6) Determine si los siguientes textos constituyen argumentos. En caso de que así sea, identifique las premisas y la conclusión.

1. ``Aunque el amor y el conocimiento son necesarios, el amor es, en cierto sentido, más 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 afanéis por el día de mañana; que el día de mañana se afanará por las cosas de sí mismo. Le basta al día el mal suyo.'' (Mateo, 6:34)

3. ``Puesto que los problemas con los que trabajan los matemáticos, y las soluciones a las que llegan, son impuestos por las influencias culturales que les rodean, no es sorprendente que las matemáticas resulten aplicables a las ciencias si hay contactos suficientes entre las dos.'' (John D. Barrow, La trama oculta del Universo )

4. ``Una de las características más sorprendentes de la ciencia moderna es que suele avanzar con tal rapidez que un investigador puede comprobar, con cierta aproximación si sus ideas anteriores, o las de sus contemporáneos, 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 propósito)

5. ``La razón nos ordena mucho más 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 duración temporal infinita, sino de intemporalidad, entonces la vida eterna pertenece a los que viven en el presente.'' (L. Wittgenstein, Tractatus lógico-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 condición del hombre (

es una condición de guerra de todos contra

todos, en la cual cada uno se rige por la propia razón, 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 situación, cada hombre tiene derecho para cualquier cosa; aun para el cuerpo de los demás. Y, por consiguiente, todo el tiempo que dure ese

derecho natural de cada hombre para cualquier cosa, no puede haber seguridad para

de vivir durante todo el tiempo que la naturaleza concede normalmente

)

nadie (

),

vivir a los hombres''. (T. Hobbes, Leviathan)

9. ``El hombre forma parte de un todo político y es conducido por un impulso íntimo hacia tal asociación. De acuerdo con esto, el hombre, que siendo el primero en formar una asociación 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.'' (Aristóteles, Política)

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 pintarían a sus dioses como caballos, los bueyes como bueyes, y harían sus cuerpos a la imagen

8 |

Más ejercitación sobre argumentos, validez y forma lógica –Prof.Cecilia Duran (UNLP)2013-2ºsemestre

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 habría 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

[la] guerra de todos contra todos va inherente esto: que nada puede ser

12. ``A

injusto. Las nociones de derecho y no derecho, de justicia e injusticia, no tienen aquí lugar. Donde no hay poder común, no hay ley; donde no hay ley, no hay injusticia.''

(G. Berkeley, Tres diálogos entre Hylas y Philonous)

(T. Hobbes, Leviathan)

13. ``Es inútil 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 están haciendo tal ruido, que sería imposible que la oyeran.''(L. Carroll, Alicia en el país de las

maravillas)

, ningún ser real, es una demostración 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 algún otro.'' (Locke, Ensayo sobre el

si sabemos que existe algún ser real, y que el no-ser no puede producir

14.

``

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,

cual el mundo no pudo haber nacido sin causa; tampoco, por el contrario, hay razón

de que hubiera existido siempre.''(Bertrand Russell, Por qué no soy cristiano)

No hay razón por la

16. En primer lugar -continuó Sócrates- estoy persuadido de que si la tierra está en

medio del cielo y es de esta forma esférica, no tiene necesidad del aire ni de ningún

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 ningún lado, y por consiguiente subsiste fija e inmóvil; ésta es mi persuasión. (Platón, Fedón 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 profesión.''(M. de Cervantes, Don Quijote)

18. El Universo es así uno, infinito e inmóvil

No se mueve con un movimiento

local porque no hay nada fuera de él a dónde 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

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''.

ni aumentar, ya que es infinito

(Giordano Bruno, De la Causa).

Más ejercitación sobre argumentos, validez y forma lógica – Prof. Cecilia Duran (UNLP) 2013-2ºsemestre

| 9

19. ``La cantidad de fuerza que obra en el universo es determinada, no es ``infinita'' Por consiguiente, el número de las posiciones, variaciones, combinaciones y desarrollos de esta fuerza es ciertamente enorme y prácticamente ``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, también todos los desarrollos momentáneos deben ser repeticiones.'' (Nietzsche, El eterno retorno)

Ejercicio (7)

(a) Abstraiga la forma lógica de los siguientes silogismos categóricos reemplazando las expresiones que representan clases o conjuntos por las letras A, B, C, (b) Encuentre un contraejemplo que demuestre que son inválidos:

1. Algunos triángulos son equiláteros, dado que todos los triángulos son polígonos y que algunos polígonos son equiláteros.

2. Todo verdadero artista es sensible. Ningún hombre de negocios es un verdadero artista. Por lo tanto, ningún hombre de negocios es sensible.

3. Ningún perro es gato. Ningún gato es ave. De ahí que ningún perro sea ave.

4. Todos los cordobeses son argentinos. Ningún sanjuanino es cordobés. Se infiere que todos los sanjuaninos son argentinos.

Ejercicio (8) Halle la forma lógica (modo y figura) de los siguientes silogismos y determine mediante Diagramas de Venn si son válidos o inválidos:

1) Algunos religiosos no son cristianos pues ningún cristiano es musulmán y todo musulmán es religioso.

2) Ningún curandero es médico; pero todos los médicos conocen los principios de la fisiología humana. De ahí que ningún curandero conozca los principios de la fisiología humana.

3) Algunos políticos de la oposición no apoyan las reformas en el sistema educativo; porque todos los que apoyan las reformas en el sistema educativo son progresistas y algunos políticos de la oposición no son progresistas.

4) Algunos animales bípedos no son ovíparos. Además, ningún ovíparo es mamífero. Se sigue que algunos mamíferos no son animales bípedos.

5) Ningún automóvil es un producto barato, porque ningún automóvil está subvencionado y todos los productos baratos están subvencionados.

6) Todo transbordador espacial es una aeronave preparada para vencer la fuerza de gravedad. De ahí que ninguna aeronave preparada para vencer la fuerza de gravedad sea un avión comercial, ya que ningún avión comercial es un transbordador espacial.

10 |

Más ejercitación sobre argumentos, validez y forma lógica –Prof.Cecilia Duran (UNLP)2013-2ºsemestre

Ejercicio (9)

Distinga los argumentos deductivos de los no deductivos.

1. Una ecografía 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 sólo con una cierta probabilidad el sexo femenino ya que si la observación de los mismos da un resultado negativo puede deberse tanto a su ausencia como a su indetectabilidad desde el ángulo de visión alcanzado.

2. Cada vez que Silvina cumple años me aburro en su fiesta. Mañana estoy invitado al cumpleaños de Silvina; así que probablemente mañana me aburriré en su fiesta.

3. El Dr. López investigó la aparición de casos de cólera en el noroeste argentino y descubrió que la causa era la falta de agua potable que impedía lavar adecuadamente los alimentos y tener buenas condiciones higiénicas. El Dr. López fue contratado por el Gobierno de la provincia de Buenos Aires para solucionar el problema de la alta incidencia del cólera en una zona de esa provincia. Por consiguiente es probable que el Dr. López investigue la existencia o inexistencia de cloacas y de agua potable en ese lugar.

4. Acabo de analizar toda la información publicada por el National Geographic acerca de los cambios climatológicos ocurridos en la última década. Teniendo en cuenta los datos disponibles concluyo que el próximo invierno va a ser más frío y húmedo que los dos anteriores.

5. El micro de las 8.15hs habitualmente no se retrasa más de 5 minutos. Son las 8.25hs. Infiero que he perdido el micro.

Más ejercitación sobre argumentos, validez y forma lógica – Prof. Cecilia Duran (UNLP) 2013-2ºsemestre

| 11

Soluciones

Ejercicio (6) 1) Es un argumento. Premisa: El amor impulsará a los inteligentes a buscar el conocimiento, con el fin de beneficiar a los que aman Conclusión: Aunque el amor y el conocimiento son necesarios, el amor es, en cierto sentido, más importante.

2) No es un argumento porque contiene órdenes. Podría ser convertido en un argumento.

3) Es un argumento. Premisa: Los problemas con los que trabajan los matemáticos, y las soluciones a las que llegan, son impuestos por las influencias culturales que les rodean. Conclusión: No es sorprendente que las matemáticas 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 razón somos tontos. Conclusión: La razón nos ordena mucho más 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. Conclusión: Lo reprimido es una parte de lo inconsciente.

8) Hay 2 argumentos.

Argumento1:

Premisa: La condición del hombre (

todos, en la cual cada uno se rige por la propia razón, y no hay nada de lo que pueda hacer uso que no pueda servirle de ayuda para preservar su vida contra sus enemigos. Conclusión: En tal situación, cada hombre tiene derecho para cualquier cosa; aun para el cuerpo de los demás.

)

es una condición de guerra de todos contra

Argumento 2:

Premisa: En tal situación [la guerra de todos contra todos], cada hombre tiene derecho para cualquier cosa; aun para el cuerpo de los demás.

Concl.: Todo el tiempo que dure ese derecho natural de cada hombre para cualquier

cosa, no puede haber seguridad para nadie (

tiempo que la naturaleza concede normalmente vivir a los hombres.

),

de vivir durante todo el

9) Es un argumento. Premisa 1: El hombre forma parte de un todo político y es conducido por un impulso íntimo hacia tal asociación. Premisa 2: El hombre, al perfeccionarse, es el mejor de los animales; pero sin ley y

12 |

Más ejercitación sobre argumentos, validez y forma lógica –Prof.Cecilia Duran (UNLP)2013-2ºsemestre

sin justicia es el peor de todos. Conclusión: El hombre, siendo el primero en formar una asociación 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 habría 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. Conclusión: La existencia de las cosas consiste en ser percibidas 12) Es un argumento. Prem. 1: Las nociones de derecho y no derecho, de justicia e injusticia, no tienen aquí [durante la guerra de todos contra todos] lugar. Prem. 2: Donde no hay poder común, no hay ley; donde no hay ley, no hay injusticia. Concl.: A la guerra de todos contra todos va inherente esto: que nada puede ser injusto. 13) Es un argumento. Prem. 1: Los dos estamos del mismo lado de la puerta.[Alicia y el criado están del lado de afuera] Prem.2: Allá dentro están haciendo tal ruido que sería imposible que oyeran a Alicia. Conclusión: Es inútil que Alicia llame. 14) Es un argumento. Premisa 1: Lo que no ha existido desde toda la eternidad, tiene comienzo. Premisa 2: Lo que tiene comienzo, debe ser producido por algún otro. Conclusión: Si sabemos que existe algún ser real, y que el no-ser no puede producir ningún ser real, es una demostración evidente de que algo ha existido desde toda la eternidad. 15) Es un argumento. 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. Conclusión: No hay razón por la cual el mundo no pudo haber nacido sin causa; tampoco, por el contrario, hay razón de que hubiera existido siempre. 16) Hay 2 argumentos. Argumento 1:

Premisa: Todo lo que está en equilibrio en medio de una cosa que le oprime igualmente por todos los puntos, no puede inclinarse a ningún lado. Conclus.: Si la tierra está en medio del cielo y es de esta forma esférica, no tiene necesidad del aire ni de ningún 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:

Premisa: Si la tierra está en medio del cielo y es de esta forma esférica, no tiene necesidad del aire ni de ningún 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. Conclusión: La Tierra subsiste fija e inmóvil. 17) Hay 2 argumentos. Argumento 1:

Premisa: Tan propio y tan natural les es a los tales [los caballeros andantes] ser

Más ejercitación sobre argumentos, validez y forma lógica – Prof. Cecilia Duran (UNLP) 2013-2ºsemestre

| 13

enamorados como al cielo tener estrellas, y a buen seguro que no se haya visto historia donde se halle caballero andante sin amores. Conclusión: [-Eso no puede ser -respondió don Quijote-: digo que] no puede ser que haya caballero andante sin dama. Argumento 2:

Premisa: Vuestra merced es un caballero andante. Conclusión: Si es de esencia que todo caballero andante haya de ser enamorado bien se puede creer que vuestra merced lo es.

18) Hay 9 argumentos. Argumento 1: Premisa: El Universo lo es todo.

Conclusión: No hay nada fuera del Universo a dónde dirigirse. Argumento 2: Premisa: No hay nada fuera del Universo a dónde dirigirse. Conclusión: El Universo no se mueve con un movimiento local. Argumento 3: Premisa: El Universo contiene a todos los seres. Concl.: No hay ninguna otra cosa que el Universo pueda desear o buscar.

Argumento 4: Prem.:No hay ninguna otra cosa que el Universo pueda desear o

Conclusión: El Universo no se genera a sí mismo. Argumento 5: Premisa: El Universo es todas las cosas. Conclusión: No existe nada fuera del Universo en lo que pueda transformarse. Argumento 6: Prem.: No existe nada fuera del Universo en lo que pueda transformarse. Conclusión: El Universo no es corruptible. Argumento 7: Premisa: El Universo es infinito. Conclusión: El Universo no puede disminuir ni aumentar. Argumento 8: Premisa: No hay nada exterior por lo que el Universo pueda padecer y de lo que pudiera ser afectado Conclusión: El Universo no puede ser alterado de ninguna forma. Argumento 9: Premisa1: El Universo no se mueve con un movimiento local. Premisa 2: El Universo no se genera a sí mismo. Premisa 3: El Universo no es corruptible. Premisa 4: El Universo no puede disminuir ni aumentar. Premisa 5: El Universo no puede ser alterado de ninguna forma. Conclusión: El Universo es uno, infinito e inmóvil.

buscar.

19) Hay 2 argumentos. Argumento 1:

Premisa: La cantidad de fuerza que obra en el universo es determinada, no es “infinita''. Conclusión: El número de las posiciones, variaciones, combinaciones y desarrollos de esta fuerza es ciertamente enorme y prácticamente ``incalculable'', pero siempre determinado y nunca infinito. Argumento 2:

Premisa 1: El número de las posiciones, variaciones, combinaciones y desarrollos de esta fuerza es ciertamente enorme y prácticamente ``incalculable'', pero siempre determinado y nunca infinito. 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 Conclusión: Todos los desarrollos momentáneos deben ser repeticiones.

14 |

Más ejercitación sobre argumentos, validez y forma lógica –Prof.Cecilia Duran (UNLP)2013-2ºsemestre

Ejercicio (7) 1) Esquema de argumento: Todo A es B. Algún B es C. / Algún A es C. Contraejemplo: A: triángulo, B: polígono, C: cuadrado 2) Esquema de argumento: Todo A es B. Ningún C es A. / Ningún C es B. Contraejemplo: A: delfín, B: mamífero, C: gato 3) Esquema de argumento: Ningún A es B. Ningún B es C. / Ningún A es C. Contraejemplo: A: platense, B: francés, C: argentino 4) Esquema de argumento: Todo A es B. Ningún C es A. / Todo C es B. Contraejemplo: A: triángulo, B: polígono, C: esfera.

Ejercicio 8

1)

Forma: EAO-4º

P

M

=

M

S

=

S

P

π

El silogismo es inválido.

S P
S
P

M

2)

Forma: AEE-1º M P = S M = El silogismo es inválido. S P =
Forma: AEE-1º
M
P
=
S
M
=
El silogismo es inválido.
S
P
=
S P
S
P

M

Más ejercitación sobre argumentos, validez y forma lógica – Prof. Cecilia Duran (UNLP) 2013-2ºsemestre

| 15

3)

Forma: AOO-2º

El silogismo es válido.

S P X
S
P
X

M

P

M

=

S

M

π

S

P

π

4)

5)

Forma: OEO-4º

P

M

π

M

S

=

El silogismo es inválido.

S P X
S
P
X

M

S

P

π

Forma: AEE-2º

S

M

=

S

El silogismo es válido

P

=

S P
S
P

M

P

M

=

16 |

Más ejercitación sobre argumentos, validez y forma lógica –Prof.Cecilia Duran (UNLP)2013-2ºsemestre

6)

Forma: EAE-4º P M = M S = El silogismo es inválido. S P =
Forma: EAE-4º
P
M
=
M
S
=
El silogismo es inválido.
S
P
=
S P
S
P

M

Ejercicio (9): Deductivos: 1 ; No deductivos: 2, 3, 4 y 5.

Ejercitación sobre Lógica Proposicional -Prof. Cecilia Duran (UNLP)-2013–2º semestre

| 17

Ejercitación sobre Lógica Proposicional

Temas:

Presentación intuitiva de la lógica proposicional. El concepto de oración (o enunciado o proposición). Símbolos descriptivos y lógicos. Definiciones recursivas: fórmula bien formada. Lenguaje Objeto y Metalenguaje. Sintaxis, semántica y pragmática. Las conectivas lógicas como funciones de verdad. Su correlato con expresiones del lenguaje natural. La función valuación para la lógica proposicional. Tablas de verdad. Contingencias, tautologías y contradicciones. Implicación (o condicional) material e implicación lógica. Paradojas de la implicación material. Equivalencia material y equivalencia lógica. Leyes lógicas. Principales meta-teoremas. Completitud funcional de la lógica proposicional. Validez semántica de los argumentos o inferencias proposicionales. La prueba de validez de argumentos por tablas de verdad. Prueba indirecta de validez. La noción de consecuencia lógica semántica. La noción sintáctica de inferencia correcta. Deducción Natural para la lógica proposicional. Reglas de Introducción y Eliminación de las conectivas proposicionales. Las nociones de demostración y teorema. Pruebas por Reducción al Absurdo. La noción de consecuencia lógica sintáctica. La lógica minimal, intuicionista y clásica. Bibliografía:

- Deaño, A., (1994), Introducción a la lógica formal, Madrid, Alianza Editorial, cap. 1 (pp. 21-28: Lenguaje y Metalenguaje y Sintaxis, semántica y pragmática)

- Duran, Cecilia, Ficha de Cátedra: El método del condicional asociado y el método

indirecto. Anexo 1 de esta guía. (pág. 75 ss.)

- Gamut, L. T. F.,(1991) Gamut, L. T. F.,(1991) Lógica lenguaje y significado, Vol. 1, Introducción a la lógica, Bs.As., EUDEBA, 2009, caps. 1 (1.6), 2 (2.1 a 2.6) y 4 (excepto los teoremas 6 a 13 del apartado 4.2.2; y el apartado 4.3.6).

Ejercicio (8):

Traduzca al lenguaje formal de la lógica proposicional las siguientes oraciones, especificando el diccionario:

1)

No hemos pedido ayuda.

2)

No hemos pedido ayuda pero la necesitamos.

3)

No hemos pedido ayuda ni la necesitamos.

4)

No es cierto que hemos pedido ayuda y la necesitamos.

5)

Platón era griego, pero Freud no.

6)

Pedro y Camila estudian bioquímica en la UNLP, pero no se conocen.

7)

Pitágoras era filósofo o no lo era.

8)

O bien el asesino abandonó el país o bien alguien lo está encubriendo.

9)

Argentina limita con Brasil o con Colombia.

10) No es verdad que Argentina limita con Brasil o con Colombia.

11) Argentina no limita con Brasil o no limita con Colombia. 12) Argentina limita con México y con Brasil. 13) No es cierto que Argentina limita con México y con Brasil. 14) Argentina no limita ni con México ni con Brasil.

18 |

Ejercitación sobre Lógica Proposicional - Prof. Cecilia Duran (UNLP) – 2013 - 2º semestre

15) Argentina limita con Ecuador o con Brasil pero no con ambos. 16) No voy a llegar a tiempo a menos que tome un taxi. 17) Si eres cobarde entonces tienes conciencia del peligro. 18) Elena conseguirá el puesto si tiene un amigo influyente. 19) Ganarás dinero si tienes trabajo, aunque no lo harás si te despiden. 20) Si las aves trinan y el sol resplandece, entonces si vamos de picnic, pasaremos una tarde apacible junto al estanque. 21) Si no voy a la playa entonces iré al casino, si voy a Mar del Plata. 22) Si es cierto que Pedro es pintor o albañil, entonces si no es albañil, es pintor. 23) n es divisible por 2 si lo es por 4. 24) n es divisible por 4 sólo si lo es por 2. 25) No es cierto que sólo si tiene un promedio mayor de 8, puede inscribirse en la beca. 26) Que tengas dos billetes de $10 es condición suficiente para que tengas $20; además, es condición necesaria tener 20$ para poder entrar al cine. 27) Mariano no está casado si y sólo si es soltero. 28) Si es menor de edad entonces puede casarse siempre y cuando tenga permiso de sus padres. 29) Es cierto que quieres irte al exterior o no lo quieres, pero también es cierto que lo quieres y no lo quieres. 30) La suma de dos números enteros es par si y sólo si o bien ambos números son pares o bien ambos números son impares. 31) Si recorremos Suecia o Noruega entonces no recorremos Dinamarca, si vamos a Europa. 32) Siempre y cuando consigas pasaje y tengas tiempo podrás venir a visitarme y descansar un poco, pero yo iré a visitarte si no obtienes ni lo uno ni lo otro

Ejercicio (9)

Traduzca al lenguaje formal de la lógica proposicional los siguientes argumentos, especificando el diccionario

Si la neurosis obsesiva es hereditaria, entonces el número de neuróticos obsesivos

con antecedentes familiares de esa dolencia será significativamente mayor que el de los neuróticos obsesivos que no presentan tales antecedentes. Sin embargo, esto último es falso. Es necesario concluir que la neurosis obsesiva no es hereditaria. 2) Para que el trabajador no vaya a la huelga es condición necesaria que reciba un salario digno. Pero, si esto último no ocurre, no cumplirá con su trabajo ni con su familia. Por lo tanto, o tiene un salario digno o no cumple con su trabajo, dado que va a la huelga o no cumple con su familia. 3) No es verdad que sea condición necesaria ganar esta partida para salir campeón; puesto que sólo si se gana el partido final, se sale campeón. Y ambas cosas pasarán

1)

si y sólo si se está bien concentrado y se pasan las eliminatorias.

Ejercicio (10) Determine si cada una de las siguientes expresiones es una fórmula de la lógica proposicional dibujando su árbol constructivo. En caso de que lo sean clasifíquelas como fórmula atómica, negación, conjunción, disyunción, implicación o equivalencia.

(1)

p

(1) p ⁄ q (2) p q (3) (p q) (p q)

q

(1) p ⁄ q (2) p q (3) (p q) (p q)

(2)

p

(1) p ⁄ q (2) p q (3) (p q) (p q)

q

(1) p ⁄ q (2) p q (3) (p q) (p q)

(3) (p

q)

(1) p ⁄ q (2) p q (3) (p q) (p q)

(p

(1) p ⁄ q (2) p q (3) (p q) (p q)

q)

Ejercitación sobre Lógica Proposicional -Prof. Cecilia Duran (UNLP)-2013–2º semestre

| 19

Ejercicio (11):

En las siguientes oraciones, y cuando corresponda, distinga el Lenguaje Objeto del Metalenguaje colocando entre comillas las expresiones del Lenguaje Objeto que están mencionadas.

1) p

q es una fórmula, pero p

q no lo es.

2) (p

3) Si p es verdadera, entonces p es falsa. 4) Toda fórmula de la lógica proposicional representa oraciones verdaderas o falsas.

5) Entre las subfórmulas de (p q)

Ejercicio (12) Suponga que V(p) = 1 y V(r) = 0 y encuentre el valor de verdad de las siguientes oraciones:

q)

(p

q)

(p

q) está p y está q, pero no está q

p.

(1)

(p

q)

r

(1) (p ⁄ q) ⁄ r (2) r (s p) (3) p (p r)

(2)

r

(s

p)

(1) (p ⁄ q) ⁄ r (2) r (s p) (3) p (p r)

(3) p

(p

r)

Ejercicio (13) Suponiendo que el V(p

¿qué puede decir acerca del valor de verdad de ( p q)

q) = 0,

(p

q) ?

Ejercicio (14) Analice el siguiente problema, complete los puntos suspensivos y justifique su respuesta:

El detective Yerloc Jolmes estaba a una semana de partir de viaje para disfrutar del verano europeo cuando su jefe lo conminó telefónicamente a que resolviera el caso del asesinato del Sr. Prieto. Yerloc Jolmes se juró resolver el caso en una semana y continuar con su plan original. Juntó inmediatamente la evidencia disponible. Contaba con los siguientes datos e indicios confiables:

(a)

El Sr. Prieto fue asesinado en su dormitorio de un tiro en la cabeza.

(b)

Hay tres sospechosos: los sres. Avalos, Bogo y Caro quienes pertenecen a la mafia.

(c)

La mafia admitió la autoría del crimen, pero ninguno de los sospechosos confesó su culpabilidad.

(d)

El Sr. Prieto estaba acompañado sólo por los 3 sospechosos en el momento de su

muerte violenta. El detective Yerloc Jolmes descubrió que un testigo observó todo a través de la ventana del cuarto de Prieto. Cuando Yerloc Jolmes averiguó los antecedentes del testigo le informaron que padecía de una enfermedad muy inusual: era incapaz de mentir. ¡El testigo ideal! Yerloc Jolmes lo citó inmediatamente a su despacho para interrogarlo y partir de viaje. Para su desgracia, el testigo no se presentó pues temía convertirse en la próxima víctima de la mafia. Sin embargo, el testigo sintió remordimientos por faltar a su deber cívico y envió al detective un mensaje en el que la verdad apareciera lo suficientemente confusa como para que lo consideraran loco de remate y no lo citaran más. Este fue su mensaje:

Caro es culpable, si Avalos era amigo de Prieto. Bogo es culpable a menos que Avalos fuera amigo de Prieto. Caro es inocente o Avalos no estaba en el dormitorio de Prieto la noche del crimen.

20 |

Ejercitación sobre Lógica Proposicional - Prof. Cecilia Duran (UNLP) – 2013 - 2º semestre

Yerloc Jolmes quedó atrapado. No tuvo más remedio que postergar sus planes de viaje y tomar un curso de lógica en la UNLP. Un semestre después, el detective volvió a leer el texto del mensaje. Dado que cada una de las tres afirmaciones expresadas en el mismo

era el asesino. Al fin podría tomar sus

vacaciones. Encargó a su ayudante que se ocupara de buscar las pruebas faltantes y se

congeló en el invierno europeo.

era verdadera, concluyó que

Ejercicio (15) Determine mediante tablas de verdad si las siguientes fórmulas son tautologías, contradicciones o contingencias.

1)

(p

1) (p q) ⁄ (p q) 2) (p ⁄ q) ( p q) 3) (p q)

q)

(p

q)

2) (p

q)

1) (p q) ⁄ (p q) 2) (p ⁄ q) ( p q) 3) (p q)

(

p

q)

3) (p

q)

(r

1) (p q) ⁄ (p q) 2) (p ⁄ q) ( p q) 3) (p q)

q)

Ejercicio (16) Dados los siguientes esquemas de argumento, determine su validez o invalidez mediante el método del condicional asociado y coloque o entre las premisas y la conclusión según corresponda:

1) q

r , p

r / p

q

2)

p

(q

r) / (p q)

r

3)

(p

q)

r / p

(q

r)

Ejercicio (17) Determine la validez o invalidez de los siguientes esquemas de argumento mediante

el método indirecto de asignación de valores de verdad y coloque o entre las premisas y la conclusión según corresponda:

1)

2)

3)

4)

(p

s

s

(p

(p q, r (q r), q)

q)) /

t r, (p

p

q q /

p, p s, p q )

(

(s q r / p

r)

r) / ( ((q

t

p)

r)

(

(q

q

r)

r))

Ejercicio (18) Determine si las siguientes fórmulas son tautologías o no mediante el método indirecto de asignación de valores de verdad y coloque o delante de la fórmula según corresponda:

1)

(

p

(

q

r))

((q

r)

p)

2)

(p

p)

 

(p

p)

3)

(( p

q)

(p

q))

(q

 

p)

Ejercicio (19) Determine si los siguientes pares de fórmulas son o no lógicamente equivalentes, mediante el método indirecto de asignación de valores de verdad y coloque entre

las fórmulas

1)

p

q

y

las fórmulas 1) p ⁄ q y ⊨⊨⊨⊨ , ⊭⊭⊭⊭ , ( p q) ⊨ ⊨

⊨⊨⊨⊨ ,

⊭⊭⊭⊭ , ( p

⊭⊭⊭⊭ , ( p
q)

q)

,,,,

oooo

⊭ ⊭ ⊭ ⊭

según corresponda:

2)

p

(q

r)

y

p

(q

r)

3)

(p

q)

(p

r)

y

p

(q

r)

Ejercitación sobre Lógica Proposicional -Prof. Cecilia Duran (UNLP)-2013–2º semestre

| 21

Ejercicio (20) Dadas tres fórmulas cualesquiera tales que sea una tautología, ψ sea una contradicción y χ sea una contingencia, determinar si los siguientes pares de fórmulas son lógicamente equivalentes; y en caso de que no lo sean, determinar si

alguna de ellas implica lógicamente a la otra colocando entre las fórmulas

implica lógicamente a la otra colocando entre las fórmulas ⊨⊨,⊨⊨,,, ⊭⊭⊭⊭ , ⊨⊨⊨⊨ ,o,o,o,o ⊭

⊨⊨,⊨⊨,,,

a la otra colocando entre las fórmulas ⊨⊨,⊨⊨,,, ⊭⊭⊭⊭ , ⊨⊨⊨⊨ ,o,o,o,o ⊭ ⊭ ⊭ ⊭

⊭⊭⊭⊭ ,

entre las fórmulas ⊨⊨,⊨⊨,,, ⊭⊭⊭⊭ , ⊨⊨⊨⊨ ,o,o,o,o ⊭ ⊭ ⊭ ⊭ según corresponda:

⊨⊨⊨⊨ ,o,o,o,o

⊨⊨,⊨⊨,,, ⊭⊭⊭⊭ , ⊨⊨⊨⊨ ,o,o,o,o ⊭ ⊭ ⊭ ⊭ según corresponda: 1) ψ y 6)

según corresponda:

1)

ψ

y

6)

ψ

y

2)

χ

y

χ ψ

 

7)

ψ

ψ

y

ψ

ψ

3)

ψ

y

χ

ψ

8)

(

ψ) y

 

ψ

4)

ψ

y

χ

9)

χ

y

χ

ψ

5)

ψ

y

χ

10)

χ

χ

y

ψ

Ejercicio (21) : Determinar si los esquemas de argumento de la tabla B constituyen casos de los esquemas inferenciales de la tabla (A):

A1 A2 A3 ψ ⁄ ψ ⁄ ψ ψ χ ψ χ χ B1 B2
A1
A2
A3
ψ
ψ
ψ
ψ
χ
ψ
χ
χ
B1
B2
B3
B4
B5
p
(q
r)
p
(p
q) ⁄
r
p
(q
r)
p
(q
r)
p
p ⁄
q
((p
q) ⁄
r) ⁄
r
(q
r)
p
p ⁄
p
B6
B7
B8
B9
B10
(p ⁄
q) ⁄
r
p ⁄
q
(p ⁄
q)
p
q
p
q
(p ⁄
q)
s
p
q
p
r
(p
q) ⁄
r
q
p
r
s
q
q
q
r
s
q
r

Ejercicio (22)

Completar los pasos que faltan en las siguientes deducciones:

1. q)

1)

(p

(r

s)

supuesto

 

2)

p

supuesto

/ s

3)

………

I

, 2

4)

………

E , 4

E

, 1,3

 

5)

s

2. 1)

p

q

supuesto

 
 

2)

q

r

supuesto

/ p

r

3)

……

supuesto

 

4)

……

E

, 1,3

5)

…….

E

, 2,4

6)

p

r

I

22 |

Ejercitación sobre Lógica Proposicional - Prof. Cecilia Duran (UNLP) – 2013 - 2º semestre

3. q

1)

p

 

supuesto

 
 

2)

q

supuesto

/

p

3)

supuesto

 

4)

E

, 1,3

5)

E

, 2,4

6)

p

I

4. 1)

 

p

(r

q)

supuesto

 
 

2)

p

q

supuesto

 

/

q

r

 

3)

………….

supuesto

 
 

10)

………….

I

 

11)

q

r

I

5. 1)

 

p

q

supuesto

 

2)

p

q

supuesto

3)

q

supuesto

/ s

4)

supuesto

5)

Rep., 4

6)

I

7)

E,2,1,6

 

8)

E

,3,7

9)

s

EFSQ, 8

 

Ejercicio (23) Efectuar las siguientes derivaciones utilizando las reglas básicas del sistema de deducción natural de Gentzen:

1)

p (q r) (p q) r

3) (p q) r p (q r)

2)

r,

(p

q)

q

r

s

4)

5)

6)

7)

8)

p (q r) (p q) (p r)

p

p

p p (q

s

(q

(q

r)

(p

r)

r) (s

(p

q)

q)

r

r), (p

t)

r),

(p

p

Ejercitación sobre Lógica Proposicional -Prof. Cecilia Duran (UNLP)-2013–2º semestre

| 23

9)

p

q,

 

p

q

10)

(p q) (p r) p (q r)

 

11)

 

(p q)

 

q

 
 

12)

p q, r q,

 

(p

s

t

13)

p (q

 

r)

(p

r) s r) q

 

14)

(p

p)

15)

(p q) ((p r) (q

r))

16)

p

p

 

17)

((p q) p) p

18)

(p

q)

⊣ ⊢

 

p

q

19)

p q

 

⊣ ⊢

 

(p

 

q)

20)

p q

⊣ ⊢

p

 

q

21)

(p

q)

⊣ ⊢

 

p

 

q

Ejercicio (24):

Determine si las siguientes oraciones pertenecen a la sintaxis, a la semántica o a la pragmática de la lógica proposicional

1) p q

p

q

2) Si V( ) = 1 y V(ψ) = 0 entonces ψ pero 3) Si sabemos que Juan está en Londres, en el lenguaje natural no resultará apropiado afirmar Juan está en Londres o en París, a pesar de que esto último también resultará verdadero. 4) El árbol constructivo de una expresión permite determinar si es una fórmula.

Ejercicio (25):

Teniendo en cuenta las equivalencias lógicas consignadas en Gamut, (cap. 2 ejercicios 6 y 7), y dada la siguiente lista de fórmulas encuentre para cada fórmula, otra lógicamente equivalente y expresada en términos de las conectivas que se solicitan (y en caso de ser necesario). [Ejemplo: p q, en términos de y : en Gamut, cap.2, ej.6 (f) se establece que ψ es lógicamente equivalente a ( ψ); por consiguiente, p q es lógicamente equivalente a (p q) y, por doble negación a (p q)]

1. p

 

q

(empleando )

 

2. q)

(p

(empleando

)

3. q) (empleando

(p

)

4. q) (empleando )

(p

5. q)

(p

(empleando )

6. p

 

(

q

r)

(empleando )

7. (p

 

q)

r

(empleando

)

8. (p

q)

r

(empleando

)

9. (q

p

 

r)

(empleando )

24 |

Ejercitación sobre Lógica Proposicional - Prof. Cecilia Duran (UNLP) – 2013 - 2º semestre

Soluciones de algunos ejercicios

Ejercicio (8) 14) Diccionario: p: Argentina limita con México; q: Argentina limita con Brasil.

26) Diccionario: p: tú tienes dos billetes de $10; q: tú tienes $20; r: tú puedes entrar al

Fórmula: p

q

cine. Fórmula: (p q) (r q)

Ejercicio (9) argumento 2 Premisa 1: Para que el trabajador no vaya a la huelga es condición necesaria que reciba un salario digno. Premisa 2: Si el trabajador no recibe un salario digno, no cumplirá con su trabajo ni con su familia. Premisa 3:El trabajador va a la huelga o no cumple con su familia. Conclusión o el trabajador tiene un salario digno o no cumple con su trabajo Diccionario: p: El trabajador va a la huelga; q: El trabajador recibe un salario digno; r:

El trabajador cumplirá con su trabajo; s: El trabajador cumplirá con su familia.

Esquema: p q,

q (

r

s),

p

s

/

q

r

Ejercicio (10) No se han dibujado los árboles constructivos 2) No es una fr., ya que la negación no va delante de la conjunción. Ejercicio (11) 3) Si “p” es verdadera, entonces “ p” es falsa.

Ejercicio (12)

V(r (s p)) = 1, porque V(r) = 0 y entonces la valuación del condicional es 1. Ejercicio (15): (1) Es una tautología:

(p

 

q)

 

(p

 

q)

   

1

0

01

   

1

1

 

1

1

0

1

01

1

0

0

1

1

1

10

1

1

0

0

0

1

10

1

0

0

0

Ejercicio (16)

 
 

2)

(p

 

(q

 

 

r))

((p

 

q)

r)

condicional asociado

 

1

 

1

1

1

1

1

1

1

1

1

1

0

1

1

1

1

1

0

0

1

1

1

1

1

0

1

1

1

1

0

0

1

1

0

1

0

1

1

1

0

0

0

1

1

1

0

1

0

0

1

1

1

1

0

0

0

1

1

0

0

1

0

0

1

1

0

1

1

0

1

0

1

1

0

0

1

0

0

1

0

1

0

1

0

0

0

1

0

Ejercitación sobre Lógica Proposicional -Prof. Cecilia Duran (UNLP)-2013–2º semestre

| 25

Resultado: dado que la oración condicional asociada al esquema de argumento es una

tautología, hemos demostrado que se cumple que p decir el esquema de argumento es válido)
tautología, hemos demostrado que se cumple que p
decir el esquema de argumento es válido)
(q
r)
(p
q)
r ,
(es
Ejercicio (17)
3)
s
(q
r)
,
t
s
,
p
(
q
r)
/
(
t
p)
(q
r)
hip
1
1
1
0
1
0
10
1
10
1
1
1
1
1
1
01
0
01
1
0
01
1
10
1
1
10
0
1
10
1
0
01

La 3º alternativa cumple con la hipótesis, de modo que el argumento es inválido, por lo

 

tanto: s

(q

r),

 

t

s, p

(

q

r) (

t

p)

(q

r)

 

Ejercicio (18)

 
 

3)

((p

q)

(p

q))

(q

p)

hip

0

1

 

0

 

con-

 

1

0

 

0 1

trad

0

1

 

0

0

 

1

 

0

 

1

 

con-

 

1

1

(a)

 

1 1

trad

1

1

 

1

1

 

1

 

1 0

 

1

0

0

1

(b)

 

0

0

0

0

0

(c)

La alternativa 2(b) cumple con la hipótesis, de modo que la fr. no es una tautología :

 

(( p

q)

(p

q))

(q

p)

Ejercicio (19)

 
 

1)

(

p

q)

(

p

q)

hip

0

0

1

0

 
 

01

01

con-

 

1

trad

1

 

1

 

1

 

0

1

 

01

contr.

01

1

1

 

0

 

26 |

Ejercitación sobre Lógica Proposicional - Prof. Cecilia Duran (UNLP) – 2013 - 2º semestre

Dado que todas las valuaciones alternativas posibles (para demostrar que la equivalencia material entre ambas no es tautológica) llevan a contradecir la hipótesis, se sigue que las fórmulas son lógicamente equivalentes.

Ejercicio (20.5)

(1) V(

valuación para el ). Es decir, es una contradicción.

) = 0, dado que para toda valuaciónV, V( ) = 1 y V(

) = 0 (y la df,. de

valuación V, V( ) = 1 (y df. de valuación de la ). Es decir,

(2) V(

) = 1, cuando V( ) = 1 y V(

) = 0, cuando V( ) = 0 dado que para toda

es una contingencia.

(3) Por consiguiente no son lógicamente equivalentes puesto que hay al menos un caso

en el que V(

, puesto que la primera es siempre falsa.

) = 1 y V(

) = 0, razón por la cual

. Pero

Ejercicio (21)

B7, se corresponde con A3. Reemplazos: = p;

= q;

= q

Ejercicio (22)

4.

1)

p

(r

q)

supuesto

2)

p

q

supuesto

3) q supuesto 4) 5) 6) r → q q supuesto E , 4,5 10)
3) q supuesto 4) 5) 6) r → q q supuesto E , 4,5 10)
3) q supuesto 4) 5) 6) r → q q supuesto E , 4,5 10)
3) q supuesto 4) 5) 6) r → q q supuesto E , 4,5 10)
3) q supuesto 4) 5) 6) r → q q supuesto E , 4,5 10)
3) q supuesto 4) 5) 6) r → q q supuesto E , 4,5 10)

3)

q

supuesto

4)

5)

6)

r q

q

supuesto

E

, 4,5

3) q supuesto 4) 5) 6) r → q q supuesto E , 4,5 10) r

10)

r

I

11)

q

r

I

Ejercitación sobre Lógica Proposicional -Prof. Cecilia Duran (UNLP)-2013–2º semestre

| 27

Ejercicio (23)

5.

1)

p

(q

r)

supuesto

2)

(p

r) (s

t)

supuesto

3)

p

supuesto

4)

p

r

I,3

5)

p (p

r)

 

I

6)

q

r

supuesto

7)

r

E ,6

8)

p

r

I,7

9)

(q

r) (p

r)

I

10)

p

r

E,1,5,9

11)

s

t

E,2,10

12)

s

E ,11

11.

1)

(p q)

 

supuesto

2) 3) 4) q supuesto q supuesto → q Rep.2 5) 6) p → q
2) 3) 4) q supuesto q supuesto → q Rep.2 5) 6) p → q
2) 3) 4) q supuesto q supuesto → q Rep.2

2)

3)

4)

q

supuesto

q

supuesto

q

Rep.2

q supuesto q supuesto → q Rep.2

5)

6)

p q

I

E

,1,5

17.

7)

q

I

1) (p → q) → p sup → 2) p sup 3) 4) 5) p
1) (p → q) → p sup → 2) p sup 3) 4) 5) p
1) (p → q) → p sup → 2) p sup 3) 4) 5) p
1) (p → q) → p sup → 2) p sup 3) 4) 5) p

1)

(p q) p

sup

2)

2)

p

sup

3)

4)

5)

p

q

sup

E

EFSQ,4

,2,3

6)

7)

8)

p q

I

p

E1,6

E

,2,7

,2,3 6) 7) 8) p → q I → p E → 1,6 E ,2,7 9)

9)

10)

 

p

I

p

, 9

28 |

Ejercitación sobre Lógica Proposicional - Prof. Cecilia Duran (UNLP) – 2013 - 2º semestre

21 1) (p q) sup 1) p ⁄ q sup. 2) ( p ⁄ q)
21
1)
(p
q)
sup
1)
p ⁄
q
sup.
2)
(
p ⁄
q)
sup
2)
p
q
sup
3)
p
sup
3)
p
sup→
4)
q
sup
4)
p
E ,2
5)
p
q
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
Ejercicio (24)
4) Sintaxis.
Ejercicio (25)
1)
(p
q)
4)
p
q
6)
p ⁄
(
q ⁄
r)
9)
(p
(q
r))

Ejercitación sobre Lógica Proposicional - Prof. Cecilia Duran (UNLP) - 2013 – 2º semestre

| 29

Más ejercitación sobre Lógica Proposicional

Ejercicio (26) Traduzca al lenguaje formal de la lógica proposicional las siguientes oraciones:

1)

2) Aunque es cierto que Argentina incrementó su nivel de exportaciones en el último lustro, no ha logrado aún equilibrar la balanza comercial.

María no sabe cocinar, pero canta como un jilguero.

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 alemán y filósofo entonces es filósofo.

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 también y viceversa.

9)

Sólo si tiene un promedio mayor de 8, puede inscribirse en la beca.

10) Sólo respetando las normas de tránsito, el tránsito mejorará.

11) Es condición necesaria que tengas documento de identidad para que puedas votar.

12) Que una figura plana sea un triángulo equivale a que sea trilátera.

13) n es divisible por 6 si y sólo si es divisible tanto por 2 como por 3.

14) Si es verdad que hace frío o no lo hace, entonces es falso que hace calor o no lo hace.

15) Si es cierto que si tienes talento triunfarás, entonces también 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, además también 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 sólo si te vas te extrañaré, tampoco lo es que si te quedas no te extrañaré.

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 albañil si y sólo si no es verdad que si no es pintor entonces es albañil.

23) No es verdad que sea condición necesaria ser argentino y mayor de edad para presentarse al cargo.

30 |

Ejercitación sobre Lógica Proposicional - Prof. Cecilia Duran (UNLP) – 2013 – 2º semestre

24) Si terminamos de preparar el final de Lógica la semana próxima, entonces si conseguimos la bibliografía prepararemos Introducción a la Filosofía o Sociología; a menos que Viviana nos convenza de que tomemos vacaciones.

Ejercicio (27) Traduzca al lenguaje natural las siguientes fórmulas:

1)

p

q

4)

(p

q) r

7) (p

q)

(r

s)

10)

(p q)

(r

s)

2)

p

q

5)

p

q

8)

p

p

11)

((p q)

(q r)) (p r)

3)

p q

6)

(p

q)

9)

p

p

12)

(p

q)

(

p

q)

Ejercicio (28)

Determine si cada una de las siguientes expresiones es una fórmula de la lógica proposicional. En caso de que lo sea clasifíquela como fórmula atómica, negación, conjunción, disyunción, implicación o equivalencia y dibuje su árbol constructivo:

1)

r

p

3)

p

q

5) (q

q)

q

2)

p

4) p

q

6)

r

(q (

p

r))

Ejercicio (29)

Entrecomille las expresiones que están mencionadas:

1. Llueve.

2. Llueve comienza con ll y no con y.

3. Triángulo no tiene 3 lados, aunque los triángulos sí.

Ejercicio (30)

En las siguientes oraciones distinga el lenguaje objeto del metalenguaje:

1. El diario de hoy publicó el titular ''Feriado bancario''.