Ejercicios

QUE ESTOS EJERCICIOS TIENEN LA FINALIDAD DE AYUDARLES A RECONOCER LOS PUNTOS QUE TODAVÍA TENGAN DÉBILES, PARA QUE PODAMOS REFORZARLOS EN CLASE. RESPONDAN SOLO LO QUE SEPAN, LO QUE NO SEPAN DEJELÓ EN BLANCO Y TOMEN NOTA DE SUS DUDAS O PROBLEMAS. CALIFIQUEN Y SOLO DESPUÉS, REVISEN LAS RESPUESTAS Y VEAN SI LES ACLARAN SUS DUDAS O PROBLEMAS, PERO YA NO CAMBIEN SU RESPUESTA. TENGAN PRESENTE QUE EL RESULTADO NO AFECTA PARA NADA EN SU CALIFICACIÓN, PERO SI NO REALIZAN LOS EJERCICIOS APEGADOS A ESTAS INSTRUCCIONES, ENTONCES NO TENDRÁ EL EFECTO ESPERADO; ES DECIR, QUE LES AYUDE A ESTAR PREPARADOS PARA SU EXAMEN. POR FAVOR, NO ECHEN A PERDER EL EJERCICIO VIENDO LAS RESPUESTAS ANTES DE TIEMPO O CAMBIANDO SUS RESULTADOS. 1

• 2. Elaboró GHD Febrero 2010 INSTRUCCIÓN GENERAL: IMPRIME SÓLO LOS EJERCCIOS QUE APARECEN A CONTINUACIÓN (VAN DE LA PÁGINA 2 A LA PÁGINA 8) Y RESPONDE. Nombre: ________________________________ Grupo:______ Calificación: _____ I. Instrucción: Con base en las siguientes opciones, coloca el inciso en donde corresponda. a. Paréntesis, corchetes o llaves

• b. Letra proposicional

• c. Conectiva de negación

• d. Conectiva de disyunción

• e. Conectiva de condicional

• f. Conectiva de conjunción

• g. Conectiva de equivalencia

• h. Noción de validez

• i. Tabla de verdad

• j. Tautología

• k. Contradictoria

• l. Contingente

• m. 2N

• n. Símbolos para un lenguaje lógico formal

• o. Lógica de base 2

• p. Regla de Formación 1

• q. Regla de Formación 2

• r. Regla de Formación 3

• s. Regla de Formación 4 o clausula de cierre

• t. Condicional asociado

• u. Tautología como Verdad lógica

• v. Tautología que indica validez 2

• 3. Elaboró GHD Febrero 2010 1. Es la fórmula proposicional más pequeña o atómica y simboliza a un enunciado que carece de conectivas. ( b )

• 2. Es la regla que nos indica que en un lenguaje formal para lógica proposicional solo es una fórmula bien formada las fórmulas permitidas por las reglas que anteriormente se ha dicho (s )

• 3. Son los signos que empleas en la lógica proposicional para reconocer en una fórmula, quién es la conectiva principal. ( a )

• 4. Es el nombre que recibe una tabla de verdad cuando el resultado de la conectiva lógica dominante da solo valores verdaderos. ( j )

• 5. Es la forma en la que es necesario cambiar a la estructura argumentativa para poder emplear la tabla de verdad para demostrar su validez. Consiste en unir las premisas por conjunción para que sean el antecedente de un condicional que tiene por consecuente con a la fórmula que la conclusión. Esto es así porque la definición del condicional es equivalente a la definición de la validez. (t)

• 6. Es una conectiva lógica monádica que invierte el valor que tenía la fórmula a la que antecede. ( c )

• 7. Es el nombre que recibe una tabla de verdad cuando el resultado de la conectiva lógica dominante da solo valores falsos. ( k )

• 8. Es la regla que nos indica que en un lenguaje formal para lógica proposicional es una fórmula bien formada cualquier letra proposicional ( p )

• 9. Es una conectiva lógica binaria que expresa una relación de antecedente y consecuente entre las fórmulas que relaciona, es verdadera cuando su antecedente es falso o su consecuente verdadero. ( e )

• 10. Son el medio o la herramienta que emplea la lógica para realizar un análisis fino de la estructura de sus argumentos ( n )

• 11. Es una conectiva lógica binaria que expresa que las fórmulas a las que relaciona están en alternativas u opciones, además es verdadera con que alguno de sus elementos sea verdadero. ( d )

• 12. Es una conectiva lógica binaria que expresa una relación de unión entre las fórmulas que relaciona, es falsa cuando alguno de sus elementos sea falso. ( f )

• 13. Es la regla que nos indica que en un lenguaje formal para lógica proposicional es una fórmula bien formada la negación a cualquier otra fórmula bien formada (q) 3

• 14. Se dice de una estructura argumentativa deductiva cuando tenemos la garantía de que en el paso de premisas a conclusión nunca se presentará el caso de que las premisas sean verdaderas y la conclusión falsa. En otras palabras, garantiza que si partimos de premisas verdaderas la conclusión sólo será verdadera. ( h )

• 15. Se dice del resultado de una tabla de verdad que sólo arroja valores verdaderos, siempre y cuando proceda de la estructura de un enunciado molecular. (u) 16. Es el nombre que recibe una tabla de verdad cuando el resultado de la conectiva lógica dominante da valores verdaderos junto con valores falsos. ( l )

• 17. Es la regla que nos indica que en un lenguaje formal para lógica proposicional si A y B son fórmulas bien formadas, también lo es la conexión de A y B a través de la conectiva de conjunción, disyunción, condicional o equivalencia. ( r )

• 18. Es el nombre de un método de demostración de validez que funciona tomando en cuenta todas las posibles relaciones (en términos de

...