¿Qué es la Lógica?
La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico, argumentativo», que a su vez viene de λόγος (logos).
La lógica examina la validez de los argumentos en términos de su estructura, (estructura lógica), independientemente del contenido específico del discurso y de la lengua utilizada en su expresión y de los estados reales a los que dicho contenido se pueda referir.
Esto es exactamente lo que quiere decir que la lógica es una ciencia formal.
Tradicionalmente ha sido considerada como una parte de la filosofía. Pero en su desarrollo …ver más…

La lógica Deóntica se formaliza a través de conceptos relacionados con el deber. Este tipo de lógica se utiliza en el Derecho, infiriéndose del mismo, la denominada lógica de las normas.
La lógica modal lo hace en los conceptos de necesidad y posibilidad.
La lógica de clases relaciona conceptos con propiedades (sujeto y predicado), estudia además las implicaciones de unas clases con otras, las cuales suelen ser representados gráficamente mediante círculos (mejor conocidos como diagramas de Venn) empleando la denominada “álgebra booleana”.
La lógica cuantificacional que estudia de manera más detallada los predicados a través del uso de cuantificadores que expresan cantidad (todos ∀ o algunos ∃).
La lógica proposicional analiza los razonamientos formalmente válidos partiendo de proposiciones y conectivas proposicionales (operadores lógicos).
Esta lógica simbólica, de la que nos estamos refiriendo, emplea un lenguaje artificial en la que simboliza las proposiciones generalmente con las letras p, q, r, s, t utilizando de operadores lógicos, también llamados conectores, functores, juntores, para poder construir formulas operando sobre las variables proposicionales y las proposiciones complejas.
Finalmente existe otro tipo de lógica que es la dialéctica, aunque ésta no la podemos considerar como integrante de la lógica moderna, toda vez que la misma no tiene un contenido formal, sino ideológico; ni es “pasiva” como la lógica formal, sino que es activa, al