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.