Capítulo I: LÓGICA
1
Teoría de Lógica Proposicional
La Lógica Matemática surge como una necesidad de expresar las frases del
lenguaje común en términos o ecuaciones matemáticas, de modo que pudiera
evitarse la ambigüedad del lenguaje natural y transformar...
More
Capítulo I: LÓGICA
1
Teoría de Lógica Proposicional
La Lógica Matemática surge como una necesidad de expresar las frases del
lenguaje común en términos o ecuaciones matemáticas, de modo que pudiera
evitarse la ambigüedad del lenguaje natural y transformar el pensamiento en
cálculo.
Este lenguaje en fórmulas es lo que se conoce como Lenguaje
Formal, el cual consiste en abreviar o simbolizar las oraciones o juicios, que en
la lógica matemática se llaman proposiciones.
Las proposiciones son expresiones del lenguaje natural, y se diferencian del
resto de las expresiones en que su planteamiento conlleva a un análisis de la
misma, para determinar si es cierto o no el juicio emitido.
Más claramente, una
proposición es un enunciado a través del cual se emite un juicio o condición, el
cual puede ser verdadero o falso; mientras ninguna expresión interrogativa,
exclamativa, o imperativa de nuestro lenguaje cotidiano puede considerarse
una proposición, pues las mismas no pretenden esclarecer la
Less