HISTORIA DE LAS PROPOSICIONES SIMPLES

Siglo XVI

Ramón Llull y Leibniz

La lógica proposicional no tuvo mayores avances que los alcanzados por los
estoicos, y dicha lógica para esta época ya no era entendible y tenía inconsistencias,
a inicios del siglo XVI, Ramón Llull y Leibniz, introdujeron la matemática a la lógica,
dando inicio a lógica simbólica o calculo proposicional. Leibniz pensaba que se
podía crear sistema de reglas que permitiera operar con ideas de un modo exacto,
a la manera como la matemática lo hace con los números, a dicho concepto le llamo
el Calculus ratiocinator, sin embargo estos escritos no fueron tomados en cuenta
por un largo tiempo debido a su estrecha relación con ideas de metafísica y la
teodicea.

SIGLO III a.C

Lógica Aristotélica
Las proposiciones son tipo oraciones enunciativas que tratan de informar algo pero
a la vez toman un valor de verdad que puede ser verdadero o falso. La lógica es
una ciencia con un lenguaje muy exacto que ha incorporado a la proposición como
parte de su estudio en busca de métodos que ayuden a identificar los razonamientos
verdaderos de los herrados.

Lógica proposicional Estoica.

Zenón de Citio creador de la escuela filosófica Estoica, no fue lógico creativo, fue
Crisipo quien recogió las ideas de Diodoro Cronos y Filón de Megara, y las hizo
fructificar. La lógica estoica es una lógica proposicional, bivalente, pues los Estoicos
consideraron fundamental el principio de que toda proposición o es verdadera o
falsa. Definieron la proposición como aquello que es o verdadero o falso. Dividieron
las proposiciones en simples y no simples, los simples están formados por único
axioma, y las no simples resultan de la combinación de dos ocurrencias de la misma
proposición o de la combinación de diferentes proposiciones, o de varios. Las
combinaciones se realizan por medio de conectivas apropiadas.
La proposición es una parte fundamental de la lógica que tiene sus inicios con el
filósofo Aristóteles. Para él, la proposición era un discurso enunciativo perfecto, que
se expresa en un juicio que significa lo verdadero y lo falso como juicio de términos.
Por eso el juicio es una afirmación categórica, es decir, incondicionada porque
representa adecuadamente la realidad.

SIGLO XIX
George Boole Y Augustus De Morgan
Friedrich Ludwig Gottlob Frege
En 1879, Frege publicó su obra Conceptografía en la que sentó las bases de la
lógica matemática moderna donde presentó el primer sistema de lógica de
predicados una extensión de la lógica proposicional que toma como base de cálculo
el predicado, función que devuelve un valor verdadero o falso dependiendo de su
argumento. Y con la inclusión de los llamados cuantificadores («para todo» o «para
al menos un»), permitió formalizar una enorme cantidad de nuevos argumentos. Sin
embargo, la notación de Frege era difícil de entender, y sus revolucionarias
contribuciones permanecieron desconocidas por varios años.
En el año 1854 George Boole publica un libro independientemente de Leibniz en
donde incorporaba la lógica a las matemáticas en una algebra simple, comprobando
las investigaciones realizadas por Leibniz 200 años antes y que también fueron
ratificadas por Augustus De Morgan quien también publico dos leyes que estaban
formadas por proposiciones compuestas pero en un lenguaje simbólico.

SIGLO XX
Bertrand Russell y Alfred North Whitehead
Lofti Zadeh
En 1965 el ingeniero y matemático Lofti Zadeh formula la lógica difusa también
llamada lógica borrosa, esta se basa en lo relativo de lo observado como posición
diferencial. Este tipo de lógica toma dos valores aleatorios, pero contextualizados y
referidos entre sí. Así, por ejemplo, una persona que mida 2 metros es claramente
una persona alta, si previamente se ha tomado el valor de persona baja y se ha
establecido en 1 metro. Ambos valores están contextualizados a personas y
referidos a una medida métrica lineal

Entre 1910 y 1913, Bertrand Russell y Alfred North Whitehead publicaron Principia
Mathematica, una monumental obra directamente influida por los trabajos de Frege
demostrando sus investigaciones. Los contenidos de los Principia son: Teoría de
conjuntos, números cardinales, números ordinales y números reales.

Cuadro sinóptico
Desafíos de proposiciones simples

Las proposiciones simples son aquellas que expresan un estado de situación en su

estado más sencillo, es decir uniendo a un sujeto con un objeto a partir del verbo
‘es’. Existe tanto en el ámbito de la matemática como en el de otras disciplinas, e
incluso para cuestiones que no son relativas a ninguna de ellas. Se caracteriza por
no tener ningún término que condicione la proposición de ninguna manera.

1. El 9 y el 27 son factores del 81.

2. Esa caja es de madera.
3. Nada es para siempre.

Proposiciones Abiertas: Son aquellas en las que el(los) sujeto(s) es incógnito Se

caracterizan por ser verdaderas para algunos sujetos y falsa para otros.

Ejemplo:
Sea x un sujeto definido en un conjunto incógnito y considere las expresiones
matemáticas definidas para x que pueden considerarse como proposiciones
abiertas.
a. x+2=4
b. x2−5x+6 = 0
c. x2−9 = (x−3)(x+3)
d. x2= 9 y x−1 = 0

De las proposiciones anteriores se puede afirmar que

a. x+2=4es verdadera para x= 2 y falsa para otros valores de x.
b. x2−5x+6=0es verdadera para x=2 o x=3, y falsa para otros valores de x.
c. x2−9=(x−3)(x+3) es verdadera para todo valor de x.
d. x2=9 y x−1 = 0 es falsa para todo valor de x.