INTRODUCION

En este ensayo se habla de las proposiciones de la lógica matemática pero

primero tenemos que saber que es La lógica, como las matemáticas y las
hojas de cálculo y los "algoritmos de decisión", son parte de lo que se puede
llamar pensamiento procesal: está uno procesando cosas dentro de la
cabeza. Hay quien dice que el énfasis histórico que se ha dado a la lógica ha
robado energía al estudio de la percepción el hombre (especie) del
renacimiento actual necesita, el pobre, una percepción amplia y una buena
lógica (o varias buenas lógicas) y tenemos que entender de igual forma que
es. La percepción es un proceso constructivo, de carácter selectivo,
mediante el que las sensaciones son organizadas en conjuntos dotados de
sentido, en el que intervienen tanto los estímulos procedentes del mundo
exterior, como las formas o estructuras perceptivas y las motivaciones,
expectativas, experiencias previas, etc. del sujeto que percibe.
La lógica matemática, es una formulación precisa y completa de la lógica
formal. Podemos centrarnos en las proposiciones matemáticas. Una
proposición matemática es una expresión algebraica que puede acarrear dos
valores: ser verdadera o ser falsa, aunque nunca ambas a la vez.
 DESARROLLO
Hasta el presente, la lógica aristotélica está basada en los trabajos del
filósofo del griego Aristóteles, quien es ampliamente conocido como el padre
de la lógica, estableciendo a través de sus estudios los principios del
razonamiento lógico matemático pues bien, según Aristóteles los argumentos
o silogismos se componen de juicios, estos juicios son oraciones que se
conforman gracias a un sujeto y a un predicado que, se niega o afirma del
sujeto. Observamos que, Aristóteles clasifica a través de una tabla la
posición de los juicios, dicha tabla se puede interpretar de la siguiente
manera: 1) los juicios afirmativos 2) los juicios de negación, ambos poseen
juicios universales, indefinidos, y particulares.
Por consiguiente, 1) los juicios afirmativos universales se definen con la
palabra todos, los indefinidos con la palabra algunos y los definidos con un
sustantivo especifico como por ejemplo Sócrates. En efecto para 2) los
juicios de negación se determinan a través de las palabras ningún, algunos y
con un sustantivo respectivamente. Es así, como se pueden crear los
silogismos que para Aristóteles son fundamentales en cuanto a la necesidad
de expresar una idea. Pero bien, como se expresa una idea en lógica
matemática si se desea clasificar como una proposición categórica:
fácilmente se deben identificar los elementos de la tabla de juicios,
estableciendo la relación sujeto (s) y predicado (p) y crear una conclusión
En relación, con la lógica matemática se desarrolla la inferencia lógica
clásica aristotélica, acuñada así por Aristóteles y sus aporte respecto a la
concepción de inferencia, la cual se puede definir como una evaluación
mental entre distintas expresiones, pero cuáles expresiones; las
proposiciones de lo cual se habla más adelante, esta inferencia permite
relacionar implicaciones y establece la lógica de su relación. Debe señalarse
que, existen procesos que permiten desarrollar la lógica como lo es la
observación, por medio de la cual se puede identificar un sujeto, un
predicado y finalmente la cualidad de verdad.
Sin duda, la inferencia lógica matemática permite identificar el valor de
verdad de enunciados completos, que en lógica matemática, se denominan
proposiciones, que se representan con la letra p por ser principales y otras
con la letra q por ser secundarias, estas a su vez solo permiten dos valores
verdadero o falso. Si bien es cierto, que la inferencia lógica nos permite
establecer una relación condicional y bicondicional, no se puede entablar una
relación contradictoria, lo cual indica que se puede establecer o la verdad o
la falsa verdad, es decir no se puede indicar que una proposición es falsa y
verdadera a la misma vez.
Visto de esta forma, debemos aclarar que la validez de las conclusiones de
inferencia de las proposiciones depende de las premisas verdaderas, por el
contrario una inferencia es inválida o lógicamente falsa cuando la verdad de
la conclusión no se deriva necesariamente de la verdad de las premisas.
Tenemos pues que, existe un principio de contradicción donde se establece
el valor de la verdad igual a la verdad y el valor de verdad también puede ser
igual a la falsedad; es decir, el valor de verdad puede ser: 1) verdadero 2)
falso. Respecto a, el número uno se puede indicar que Venezuela es un país
latinoamericano, lo cual es cierto y se puede expresar como p, respecto a la
falsedad se puede analizar la siguiente proposición: Venezuela es un país
europeo, esto indica claramente cómo se puede inferir el valor de verdad en
una proposición y este mismo ser falso.
Cabe destacar que, existen diversos tipos de inferencia lógica como la
inferencia inmediata que consta de una sola premisa y una breve conclusión,
la inferencia mediata que está compuesta por una o dos premisas y una
conclusión, la inferencia deductiva que establece la conclusión según las
premisas y la inferencia inductiva que genera un principio general como
conclusión. Fácilmente, se podrían ejemplificar cada una de ellas sin
embargo podemos tomar como pilar la inferencia inductiva y demostrar cómo
podemos establecer un principio gracias a ella: tomamos en cuenta que está
formada por varias premisas como 1) el halcón tiene plumas 2) el águila tiene
plumas 3) el loro tiene plumas lo que nos permite concluir que C: toda ave
tiene plumas.
Que podemos llamar en si proposición lógica, una oración con valor
referencial o informativo de la cual se puede predicar su realismo o falsedad,
es decir, puede ser falsa o verdadera pero no ambas a la vez, de tal manera
que en ella podemos encontrar leyes científicas, fórmulas matemáticas,
formulas y esquemas lógicos, y por ultimo diferentes tipos de enunciados.
Por otra parte podemos encontrar el valor de la verdad de una proposición es
por definición ya sea verdadero o falso se representa con la V y F, de la
misma manera no depende solo de las relaciones entre las palabras del
lenguaje y los objetos en el mundo sino también del estado del mundo y del
conocimiento referente a ese estado, ejemplo de ello: El Hierro es un
mineral, Bolívar libertó a Venezuela. Por lo tanto las proposiciones tienen su
clasificación como lo son: 1) Proposiciones Simples o Atómicas: Son
aquellas que carecen de conectivos lógicos, en este grupo se encuentran las
proposiciones predicativas el cual se afirma o se otorga una característica de
un objeto. 2) Proposición Compuesta o Molecular: Son el tipo de
proposiciones que resultan de la mezcla de diferentes proposiciones simples,
unidas por uno o más conectores lógicos que pueden ser separadas en
proposiciones más simples un dato muy importante en ello es que el valor de
verdad depende todas las proposiciones que la componen. En las
preposiciones lógicas se puede apreciar diferentes tipos de símbolos que van
relacionados con los conectores lógicos, diferentes ejemplos de
proposiciones lógicas son: El pasto es verde(V); 39 es un número primo (F);
El sol es una estrella(V), Los problemas de matemática son fáciles(F); 25 es
divisible entre 3(F); Esa caja es de madera(V); La capital de Rusia es
Moscú(V); Nada es para siempre(V); el número 6 es mayor que 3 y menor
que 7(V). Todos estos ejemplos corresponden a lo que son las proposiciones
simples y proposiciones compuestas, que son las dos que componen las
proposiciones lógicas, de esta manera las proposiciones son de gran importa
para la lógica matemática.
Conectivos lógicos, en la lógica proposicional, las conectivas lógicas son
tratados como funciones de verdad. Es decir, como funciones que toman
conjuntos de valores de verdad y devuelven valores de verdad. Por ejemplo,
la conectiva lógica no es una función que si toma el valor de verdad V,
devuelve F, y si toma el valor de verdad F, devuelve V. Por lo tanto, si se
aplica la función no a una letra que represente una proposición falsa, el
resultado será algo verdadero. Si es falso que “está lloviendo”, entonces será
verdadero que “no está lloviendo”. El significado de las conectivas lógicas no
es nada más que su comportamiento como funciones de verdad. Cada
conectiva lógica se distingue de las otras por los valores de verdad que
devuelve frente a las distintas combinaciones de valores de verdad que
puede recibir. Esto quiere decir que el significado de cada conectiva lógica
puede ilustrarse mediante una tabla que despliegue los valores de verdad
que la función devuelve frente a todas las combinaciones posibles de valores
de verdad que puede recibir
 Referencias
Cordova, F (2011) La lógica y la inferencia. Universidad de San Martin de
Porras.Argentina (s.p) disponible en:
http://www.cpu.usmp.edu.pe/intranetcpu/ppt09/9-Lima-Cordova-LPF-
Logica.pdf
Logica matemática de Russell file:///C:/Users/Pc
%20Microsoft/Downloads/Dialnet-LaLogicaMatematicaDeRussell-
1992395.pdf