Que es al lógica?

Los razonamientos se hacen en el lenguaje cotidiano denominado “lenguaje ordinario o

natural”, puesto que el lenguaje natural está cargado de ambigüedades e imprecaciones
resulta difícil de analizar logimante.

La lógica necesita extraer del lenguaje natural su estructura formal reduciendo su variedad a
unas cuanta extensiones lógicas y además formales para hacer esto con precisión al lógica
necesita crear un lenguaje artificial con sus propias de constitución que sea el reflejo de la
estructura formal del razonamiento todo lenguaje artificial (por ejemplo. Las señales de
tránsito los iconos en el computador y otros) está construido pensando en ser utilizado como
medio para lograr un fin determinado, en el caso del lenguaje formal su fin es destacar en los
razonamientos su estructura formal.

Existen diferentes sistemas lógicos cada uno los cuales se ocupa los análisis de una clase
particular de razonamiento.

¿POR QUÉ NECECITAMOS LA LOGICA?

Por qué necesitamos usar un lenguaje con una sintaxis precisa y una semántica bien definida.

¿POR QUÉ NECECITAMOS LA LOGICA Y LA EN COMPUTACION E INFORMATICA?

Por ejemplo. En bases de datos:

Por qué necesitamos lenguajes de consulta y también lenguajes para restricciones de

integridad.

En Ingería de software:

Por qué las especificaciones de los sistemas deben tener un lenguaje lógico y estructurado.

En teoría de la computación:

Por qué en este tema se cuenta con una complejidad descriptiva y además algoritmos de
aproximación.

En criptografía:

Par verificación de protocolos criptográficos.

LÓGICA PREPOSICIONAL

Se ocupa de la valides o invalides d los razonamientos constituidos por expresiones tales

como:

Y, O, SI,……ENTONCES, SI SOLO SI, SI, NO, etc.

TIPOS DE PROPOCICIONES

Proposición simple

Son aquellas constituidas por una sola información ejemplo. La medicina es una ciencia.

Proposición compuesta

Son aquellas constituidas por una o más proposiciones simples ejemplo. El paciente contrae
sida si y solo si es invadido por el virus VIH y falla su sistema inmune.
Condiciones de verdad

La verdad o falsedad de una proposición simple depende de la información efectiva e esta

proporción.

La verdad o falsedad de una proposición compuesta depende del valor de verdad de las
proposiciones simples que la componen, pero también de las cognitivas (conectores) que la
constituyen. Por ejemplo. Es el siguiente argumento válido:

Todos los hombres son mortales: Sócrates es hombre por lo tanto Sócrates es mortal.

La lógica debería poder usarse para demostrar que sí.