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 (neg ,andorto
,leftrightarrowdownarrow ,nleftrightarrow). 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.