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