Qu es la Lgica:

Lgica es una ciencia formal que estudia la estructura o formas del pensamiento
humano (como proposiciones, conceptos y razonamientos) para establecer leyes y
principios vlidos para obtener criterios de verdad. Como adjetivo, 'lgico' o 'lgica'
significa que algo sigue las reglas de la lgica y de la razn. Indica tambin una
consecuencia esperable natural o normal. Se utilizar tambin para referirse al llamado
'sentido comn'. Procede del latn logca, y a su vez del griego (logike, 'que
posee razn, 'intelectual', 'dialctico', 'argumentativo'), que a su vez deriva de la
palabra (logos, 'palabra', 'pensamiento', 'razn', 'idea','argumento').

Lgica proposicional, matemtica o simblica

La lgica proposicional es la rama de la lgica que estudia las variables
proposicionales, las conectivas lgicas (

). Algunos autores tambin la

identifican con la lgica matematica o la lgica simblica, ya que utiliza una serie de
smbolos especiales que la acercan al lenguaje matemtico. Las proposiciones
pueden ser verdaderas o falsas.

Lgica filosfica
Se suele considerar que la lgica forma parte de la Filosofa, aunque la lgica, como
tal, se aplica en diversas reas y actividades del ser humano. La lgica filosfica
utiliza cuatro principios fundamentales que establecen los procesos de pensamiento
correcto. Estos principios son el principio de identidad, el principio de no contradiccin,
el principio de tercero excludo y el principio de razn suficiente.

Lgica formal y lgica informal

La lgica formal es aquella cuyo objeto de estudio son las inferencias de forma tcnica
mediante la utilizacin de sistemas deductivos y lenguajes y semnticas formales. La
lgica informal, por su parte, estudia sistemas de razonamiento y argumentacin
naturales a travs del lenguaje y el pensamiento cotidiano.

Lgica aristotlica
Es la lgica que se basa en los estudios de Aristteles, filsofo griego del siglo IV a.C.
La lgica aristotlica utiliza los llamados silogismos, que se trata de una deduccin o
forma de razonamiento en el que se establecen unas premisas de las que se infiere

una conclusin. Se trata, por lo tanto, de un concepto semejante a argumentos

deductivamente vlidos. Un ejemplo clsico de la lgica aristotlica es:'Todos los
hombres son mortales. Todos los griegos son hombres. Por lo tanto, todos los griegos
son mortales'. Las dos primeras frases seran las premisas y la tercera la conclusin.

Lgica difusa
El concepto de lgica difusa procede del ingls ('fuzzy logic'). Es un tipo de lgica
que utiliza valores aleatorios pero contextualizados y relacionados entre s
estableciendo lo relativo de lo observado como posicin diferencial. La lgica difusa
se aplica en diversas reas como la informtica y la industria.