Que es la lgica?

La lgica es la ciencia formal que estudia los principios de la demostracin y

la inferencia vlida

Para estudiarlo, la lgica construye sistemas formales que capturan los factores
relevantes de las deducciones como aparecen en el lenguaje natural.5 Para entender
esto, considrese la siguiente deduccin:

1. Est lloviendo y es de da.

2. Por lo tanto, est lloviendo.

La obvia validez de este argumento no se debe al significado de las expresiones est
lloviendo y es de da, porque stas podran cambiarse por otras y el argumento
permanecer vlido. Por ejemplo:

1. Est nevando y hace fro.

2. Por lo tanto, est nevando.

En cambio, la clave de la validez del argumento reside en la expresin y. Si esta
expresin se cambia por otra, entonces el argumento puede dejar de ser vlido:

1. Est nevando o hace fro.

2. Por lo tanto, est nevando.

Por qu es importante la lgica?

La Lgica cumple una gran funcin frente a los problemas humanos. Para solucionar
todos los problemas que se nos presenta necesitamos del pensamiento correcto
(lgico) como nico instrumento para llegar a la verdad.
La lgica est presente en las investigaciones de todas las ciencias, permite el
lenguaje coherente de sus teoras y el progreso del conocimiento cientfico.
La Lgica es la base de la informtica gracias a ella se inventaron las computadoras
y siguen perfeccionndolas.
La Lgica interviene en nuestra vida de relacin para hacernos comprender, de ah
que la lgica prctica adquiere relieve frente a estos problemas.

Qu es un enunciado matemtico?
Un enunciado matemtico se refiere a menudo como un enunciado numrico. Los
enunciados numricos representan una ecuacin o desigualdad e incluyen nmeros o
variables y operandos: suma, resta, multiplicacin o divisin.

Qu propocision lgica?

Una proposicin es cualquier enunciado lgico al que se le pueda asignar un valor de

verda. Una proposicin es una oracin con valor referencial o informativo, de la cual
se puede predicar su veracidad o falsedad, es decir, que puede ser falsa o verdadera
pero no ambas a la vez.
Qu son las tablas de verdad?

Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra
el valor de verdad de una proposicin compuesta, para cada combinacin de verdad
que se pueda asignar

Que son conectivo lgico?

En lgica, una conectiva lgica, o simplemente conectiva, (tambin

llamado operador lgico o conectores lgicos) es un smbolo o palabra que se
utiliza para conectar dos frmulas bien formadas o sentencias (atmicas o
moleculares), de modo que el valor de verdad de la frmula compuesta depende del
valor de verdad de las frmulas originales.