Evaluación Taller de Lógica (tipos de música)

Evaluación Taller de Lógica (tipos de música)  

Autores: 

*Cinthya Nicole Vanegas Becerra: 20142578082

* Angie Motta: 20142578139
*Andrey Benavides: 20142578065

*Juan Cuervo: 20142578130

En Términos generales este trabajo esta bien redactado, tiene buena estructura y en su mayoría esta bien hecho pero podemos encontrar algunos errores, como:

*A pesar de que este género se fundó en chicago, en Colombia han surgido muchas bandas como promise this like y deformes y 74grados.

P: A pesar de que este género se fundó en chicago
Q: en Colombia han surgido muchas bandas
R: promise this like
S: deformes
T: 74grados

(P <-> Q -> R ^ S ^ T )

1. En este ejercicio de formalización podemos ver que NO se agrupan las proposiciones en su formalización lógica; (P <-> Q -> R ^ S ^ T ) esto es un problema porque da lugar a errores al no saber  que conjunción resolver en primer lugar. 

2. En la formalización lógica  podemos ver una conjunción bicondicional P <-> Q que no se encuentra en el enunciado del texto no hay ninguna condición doble para las preposiciones p y q. 

3. por ultimo vemos que de la proposición "como promise this like y deformes y 74grados." salen tres proposiciones atómicas pero esto es un error puesto que la conjunción "y"  esta enumerando sujetos y no proposiciones. 

Formalización de inferencias 

1. Ingmar Bergman es cineasta, pero Vallejo es escritor.

p = Ingmar Bergman es cineasta 

 = pero 

q = Vallejo es escritor 

Formalización: p ^ q 

2. No me duchare a menos que haya agua caliente

 = No

p = me duchare 

 = a menos que 

q = haya agua caliente 

Formalización:  p  q

3. Alfonso P no es persona es un asesino.

p = Alfoso P es persona

 = no 

q = es un asesino

Formalización: p q 

4. Tanto Alfonso P. como Alfonso A son dementes por que son torturadores.

p = Tanto Alfonso P. como Alfonso A son dementes

  = por que 

q = son torturadores.
Formalización: p  q

5. Si la suegra se pone pesada, entonces el marido se irá de casa y la esposa se irá de vacaciones.

p =  la suegra se pone pesada

 = si.... entonces 

q =  el marido se irá de casa 
 = y
r = la esposa se irá de vacaciones 
Formalización: (p  q)  r

6. Los senadores roban a la nación , pero nunca se les comprueba, luego los senadores roban a la nación.

p = Los senadores roban a la nación
 = pero 
 = nunca 
q =  se les comprueba  
 = luego
r =  los senadores roban a la nación
Formalización:  (p  q)  r 

*Diana Osorio

Código: 20142578061

*Andrés Acosta

Código: 20142578030