LGICA I 12345678Caracterice la nocin de argumento. Qu es, cules son sus partes, cuntos hay.

Explique la diferencia entre argumentos deductivos y no deductivos. Explique la relacin entre argumentos, formas de argumento y validez deductiva. Caracterice, segn D. C, la nocin de validez inductiva. Garantiza la verdad de las premisas y de la conclusin de un argumento deductivo la validez de ese argumento? Justifique. Garantiza la falsedad de las premisas y de la conclusin de un argumento deductivo la validez de ese argumento? Justifique. Qu diferencia es posible establecer entre la validez deductiva y la validez inductiva? Formule argumentos que ejemplifiquen las siguientes formas argumentales: a. Reduccin al absurdo. b. Silogismo hipottico. c. Silogismo disyuntivo Formule argumentos que ejemplifiquen las siguientes formas argumentales: a. Modus Ponens b. Modus Tollens c. Reduccin al absurdo Formule argumentos que ejemplifiquen las siguientes falacias formales: a. Afirmacin del consecuente b. Negacin del antecedente. Caracterice y proporcione un ejemplo de falacia no formal. Explique la estructura de los argumentos por analoga. Proporcione un ejemplo de argumento por analoga y analice su estructura. Caracterice los elementos del modelo de Toulmin. Analice un argumento utilizando el modelo de Toulmin

9-

10-

1112131415-

2do parcial
1) 2) 3) 4) 5) 6) 7) Especifique el vocabulario del lenguaje de la Logica Proposicional (LP) Enuncie las reglas de formacin de formulas del lenguaje de LP (FBF) Cul es la funcin de las metavariables proposicionales? Cul es la funcin de los signos auxiliares (parntesis) del lenguaje de LP? Proporcione un ejemplo que ilustre esta funcin Enumere algunas expresiones del castellano que suelen formalizarse con , respectivamente. Caracterice la funcin interpretacin de la semntica de LP Cul es la tabla de verdad de una conectiva binaria (ni, o, negacin conjunta) que pretende traducir ni a ni b Cmo se podra definir en trminos de a) b) c) ? Compruebe mediante tablas de verdad. Defina forma tautolgica y formula contradictoria

8)

9) Explique por qu se sigue de las definiciones de forma tautolgica y forma contradictoria a la negacin de una forma contradictoria es una forma tautolgica y viceversa. 10) Defina formula contingente 11) Explique por qu se sigue de la definicin de forma contingente, que la negacin de una forma contingente tambin es una forma contingente 12) Caracterice la relacin de consecuencia lgica de LP 13) Enumere 5 verdades lgicas de LP cuya conectiva principal sea . 14) Enumere 5 verdades lgicas de LP cuya conectiva principal sea . 15) Explique por qu se sigue de la definicin de consecuencia lgica y forma tautolgica que una tautologa es consecuencia lgica de cualquier conjunto de formulas. 16) Explique por qu se sigue de la definicin de consecuencia lgica y forma tautolgica y la tabla de verdad de que si B es consecuencia lgica de (A), entonces (A B) es tautolgica. 17) Formule las reglas de inferencia primitiva del clculo Deduccin Natural de LP 18) Formule 5 reglas de inferencia derivadas del clculo DN de LP 19) Defina las nociones de derivacin, deduccin y deducibilidad del calculo DN para LP 20) Caracterice la nocin de teorema de LP y enuncia 5 teoremas de LP.