ALPI

Asignatura: Lógica

Trabajo Práctico final integrador

Unidad I
1) Indicar cuáles de las siguientes expresiones son proposiciones.
a) 5 + 5 = 21
b) ¿Qué día es hoy?
c) ¡Fuera de aquí!
d) No es cierto que la asignatura Lógica sea entretenida.
e) Pedro va a conseguir un ascenso en su trabajo el día que las vacas vuelen.
f) Hagamos el trabajo práctico de una buena vez.
g) Si Marcela aprueba el examen me hago hincha de sacachispas.

2) Indicar entre los pasajes que siguen cuales de ellos constituyen razonamientos y
cuales no. Identificar en los razonamientos las premisas y conclusiones, señalando
su verdad o falsedad, indicando por último la validez o invalidez el razonamiento.
a) Los amigos tienen todas las cosas en común, de modo que uno de ustedes no puede ser más rico
que el otro, si decís verdaderamente que sois amigos. (PLATON; Lisis)
b) 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. (SCHOPENHAUER; Observaciones psicológicas)
EJEMPLO 1
NO ES UN RAZONAMIENTO. Primero porque su forma es la de un condicional. Segundo porque su consecuente es
una orden, no una proposición.
c) Como todo oftalmólogo es profesional y todo dentista es profesional, de ello se sigue que todo
oftalmólogo es dentista.
EJEMPLO 2
PROP. RAZ.
PREMISA 1 Todo oftalmólogo es profesional. V
PREMISA 2 Todo dentista es profesional. V
CONCLUSIÓN Todo oftalmólogo es dentista. F INV
d) Pero, sostienen, el hombre desea vivir en sociedad; por lo tanto necesita renunciar a una parte de
su bien privado en pro del bien público. (MARQUÉS DE SADE; Juliette)
e) Todo alumno es universitario puesto que todo universitario es estudioso y todo alumno es
estudioso.
f) Debe haber sustancias simples, puesto que las hay compuestas; ya que una sustancia compuesta
no es nada más que una colección o agregado de sustancias simples. (LEIBNIZ; La
monadología)
g) Si nací en Montevideo soy uruguayo. Como Montevideo no es mi lugar de nacimiento no soy
entonces de la República del Uruguay.
h) Si todos los hombres son mortales y Sócrates es hombre entonces Sócrates es mortal.
i) Si todos los hombres son inmortales y mi perro es hombre entonces mi perro es inmortal.

3) Simbolizar las siguientes proposiciones.

a) Patricia está comiendo, bebiendo y divirtiéndose.
b) Samuel no aceptará el nombramiento.
c) No irás hoy en la noche y no irás mañana.
d) La decisión dependerá del juicio o la intuición, no de quien pagó más.
e) Si Pedro o Juan pierden la apuesta, entonces deberán invitar con pizza en el trabajo.
f) Un polígono tiene tres lados sí y solo sí es un triángulo.

4) Dadas p = Pablo es extraño y q = A Pablo le gusta leer libros de matemáticas,

traduzca las siguientes proposiciones al lenguaje natural
 a) (p) q e) p q)
b) pq f) p q)
c) p  q g) (p p) q
d) (p  q)

5) Construir la tabla de verdad para las siguientes proposiciones:

a) p  (p  p) d) –(p  q)
b) (p  q)  p e) p  (p  q)
c) –p  (q) f) [p  (q)]  p
6) Para cada una de las siguientes expresiones señalar el tipo de falacia que
corresponde.
a) Todos fuman marihuana. Si todos lo hacen yo no tengo por qué marginarme.
b) Asistir a la iglesia es un factor valioso en la educación de nuestra juventud, pues todos
nuestros dirigentes y los hombres de negocios más prósperos lo recomiendan firmemente.
c) Señor director: estoy seguro de que esa borrachera de mi hijo que terminó en pelea no
tiene verdadero valor informativo, ¿acaso mi empresa no gasta fortunas en anuncios publicitarios
en su periódico?
d) Me pareció excelente el coro del centro cultural; con seguridad Cacho, que integra el
coro, debe tener una voz bárbara.
e) Cecilia tuvo hoy un día espantoso: se peleó con su jefe, se lastimó el tobillo y perdió los
documentos en la calle. Seguramente todo se debe a que alguien le hizo un “trabajo” con magia
negra.
f) No tenemos por qué aceptar la ética kantiana ya que Kant fue un solterón amargado.

Unidad II
7) Para cada uno de los razonamientos siguientes, señalar la regla de inferencia o
de reemplazo por la cual la conclusión se sigue de su o sus premisas.
a) E  F c) (K  L)  {M  [(N  O)  P]}
 (E  F)  (G  H)  (K  L)  {M  [(O  N)  P]}
b) N (O  P)
(O  P)  Q
NQ

8) Prueba Formal de Validez: enuncie la justificación de cada renglón que no sea

una premisa del razonamiento original.
a) (A  B)  (C  D) e) –(A  B)
b) 2. –C /  B f) –A  B
c) –C  D g) –B  A
d) –(C  D) h) B

9) Construir la Prueba Formal de Validez para los siguientes razonamientos.

a) –A b) K  L
AB  K  (L  M)