EXPLICACIÓN LOGICDA

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; este compone toda la estructura que voy aexponer a continuación:
1. SISTEMAS FORMALES: Ordenamiento teórico que funciona esencialmente a partir de una aserie de elementos primitivos o signos.
Cualquier valoración sobre validez de unaexpresión depende exclusivamente del sistema. Se puede distinguir entre:
Lógica de enunciados o proposiciones: se basa en relaciones o conexiones que se pueden establecer entre las proposiciones.
Lógica depredicados: hace posible detenerse en el análisis interno de las proposiciones y distingue los enunciados según se refiera. (dos tipos de cuantificadores uno universal y otro existencial)
Lógica derelaciones: 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 dan entre enunciados y que hace posiblehacer 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 que permiten determinar si una expresiónesta bien formada. La negación y conectores.
Tablas de verdad: sistema bivalente que considera solo dos valores de verdad.
Usos de tablas de verdad: aporta condiciones 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 argumentos puntuales.
Reglas de transformación oinferencia: permite manejar mas cómodamente formulas que usualmente llamamos argumentos, entre estas tenemos:
Doble Negación, Simplificación, Conjunción, Modus Tollendo, Adición, Modus Ponens, Modus...