Lógica y Argumentación Profesor:

Taller Simbolización Calificación

Grupo: 21
Fecha: 20/10/2021
Fabián Andrés González López

Nombre de los estudiantes:

1. _________________________________Código: ______________ Email: ________________
2. _________________________________Código: ______________ Email: ________________

I. Representar en la lógica proposicional los siguientes razonamientos con las letras p, q,

r… (y siguientes en caso de ser necesario) de acuerdo con el orden de aparición.
(Atención: la representación de Premisas y Conclusión debe hacerse en sentido
vertical y respectivamente numeradas, es decir, p1, p2… respectivamente). El primer
ejercicio debe realizarle también el proceso de deducción natural.
NOTA: Por cada minuto de retraso en la entrega del taller se descontará una
décima.

1. (15 puntos) No es cierto que no se vaya a aprobar la ley 1876 o que yo no tenga que
llenar formatos. Supe que esa era mi condena desde que me enteré de los siguientes
datos: en primer lugar, si se aprueba dicha ley, será condición suficiente que se gane 4
smmlv para tener que declarar renta. En segundo lugar, siempre que se declara renta, se
debe llenar formatos o incluso pagar impuestos. En tercer lugar, sólo no pagan
impuestos quienes ganen 4 smmlv. Finalmente, es seguro que se va a aprobar la ley
1876 y, bueno, yo gano 4 smmlv.

2. (10 puntos) Sólo si existe la democracia y los DDHH, se considera que un estado es
moderno o incluso justo. Ahora bien, siempre que un estado sea justo, no habrá
violaciones a los derechos de cada persona. No obstante, este estado es moderno, pero
presenta violaciones a los derechos de los ciudadanos. Por otro lado, si en un estado
existe democracia y DDHH, entonces los ciudadanos son libres y potencialmente
felices. De todo esto se puede concluir que no es cierto que no ser libre sea condición
necesaria para ser potencialmente feliz.

II. Realice la demostración formal de cada uno de los siguientes razonamientos. Los temas
que se revisan en este taller corresponden a los numerales 3.8 y 3.10 del texto guía.
Para la solución de los ejercicios deben circunscribirse exclusivamente a los
numerales antes mencionados.

Tenga presente que la competencia y el objetivo de aprendizaje que se persiguen en

esta parte del curso apunta al desarrollo de la competencia argumentativa formal y a
la capacidad para probar la validez de argumentos deductivos en general,
respectivamente.

A. (10 puntos) Método indirecto

P 1:[( p ⋀ q) ⇒¬ r ]
P 2:[r ⋁( s ⋀ t )]
P 3:( p ⇔ q)
C /:( p ⇒ s )

B. (10 puntos) Método directo.

P 1:(r ⋁ q)
P 2:( p⇒ q)
P 3:(¬ p ⇒¬ q)
P 4 :(¬t ⇒ ¬q)
P 5:(¬ p ⇒¬ r)
C /:¬(¬ t ⋀ ¬w)

C. (5 puntos)
P 1:{[( p ⋁ q) ⋀ r ]⇒t }
P 2:[(r ⇒ t)⇒( s ⇒ u)]
P 3: s
C /: ¿)