LOGICA


















El titulo principal esta compuesto por el titulo de la Unidad I, que es SISTEMAS FORMALES, CÁLCULOS LÓGICOS, LENGUAJES NATURALES, ARGUMENTOS Y FALACIAS; estecompone toda la estructura que voy a exponer a continuación:
1. SISTEMAS FORMALES: Ordenamiento teórico que funciona esencialmente a partir de una aserie de elementos primitivos o signos.
Cualquiervaloración sobre validez de una expresión depende exclusivamente del sistema. Se puede distinguir entre:
Lógica de enunciados o proposiciones: se basa en relaciones o conexiones que se pueden establecerentre las proposiciones.
Lógica de predicados: hace posible detenerse en el análisis interno de las proposiciones y distingue los enunciados según se refiera. (dos tipos de cuantificadores unouniversal y otro existencial)
Lógica de relaciones: se habla de lógicas de característica intencional, permite la comprensión formal de todo individuo.
2. CÁLCULOS LÓGICOS: serie de relaciones que se danentre enunciados y que hace posible hacer operaciones que permitan evaluar su validez formal.
Se dan a partir de los parámetros establecidos por las reglas del sistema que son:
Elementos Primitivos:cuenta con tres clases de signos, variables (letras minúsculas), Conectores lógicos (signos que establecen las relaciones que se dan a conjunciones) y como se lee.
Reglas de formación: son las quepermiten determinar si una expresión esta bien formada. La negación y conectores.
Tablas de verdad: sistema bivalente que considera solo dos valores de verdad.
Usos de tablas de verdad: aportacondiciones de verdad especificas (negación, conjunción, disyunción, condicional, bicondicional), estas permiten que pueda calcularse el valor de un enunciado complejo o formula, incluso argumentospuntuales.
Reglas de transformación o inferencia: permite manejar mas cómodamente formulas que usualmente llamamos argumentos, entre estas tenemos:
Doble Negación, Simplificación, Conjunción, Modus...