Datos del estudiante

Nombre: Rene Baron Ocampo

Matrícula: 20004422

Nombre de la Evidencia Reporte de investigación sobre lógica matemática

de Aprendizaje:
Fecha de entrega: 10 de Marzo del 2021

Nombre del Módulo: Matematicas Comoutacionales

Nombre del asesor: Gerardo Gamez

REPORTE DE INVESTIGACIÓN SOBRE LÓGICA

La Matemática es la ciencia que se ocupa de describir y analizar las cantidades, el espacio

y las formas, los cambios y relaciones, así como la incertidumbre. Si miramos a
nuestro alrededor vemos que esos componentes están presentes en todos los
aspectos de la vida de las personas, en su trabajo, en su quehacer diario, en los
medios de comunicación, etc.

A continuación, se tratarán tres conceptos distintos sobre lógica; los cuales son: el cálculo
de predicados, tautologías y contradicciones. Se intenta expresar correctamente la
definición de cada uno de ellos, así como también la relevancia de cada uno de ellos, dando
a entender que cada uno necesita del otro para poder existir. La lógica es el estudio del
razonamiento correcto y se enfoca a la relación entre enunciados o proposiciones y no en el
contenido de ellas. Así pues, según Solís Daun (1995), “la lógica se ocupa de las
argumentaciones válidas”. Las cuales ocurren cuando se quiere justificar una
proposición con base en otras mientras se asegura que la primera es consecuencia
necesaria de las últimas. La lógica matemática, entonces, se puede decir que trata
de métodos de razonamiento. Donde se provee de un lenguaje propio para
respuestas específicas.

Primero, para entender lo que son cálculo de predicados, tautologías y

contradicciones, primero se tiene que definir y entender lo que es una proposición, ya que es
un elemento fundamental en la lógica matemática. Una proposición, también conocida
como enunciado, es una oración que puede considerarse como falsa o verdadera, pero
nunca las dos al mismo tiempo. Se compone de tres partes: un sujeto, un verbo y un
complemento referido al verbo, entonces una proposición es la mínima unidad del lenguaje
con contenido de información sobre la que es posible determinar su veracidad o falsedad

En general, las proposiciones pueden ser simples, compuestas, cerradas,

afirmativas o negativas, verdaderas o falsas. Cada una con sus propias reglas y
métodos de aplicación. Ya que está más claro el concepto de una proposición, se puede
pasar a explicar y tratar el resto de los temas

Calculo de predicados

En los cálculos de predicados se tienen elementos más simples para formar

las expresiones atómicas, a diferencia de una proposición simple donde su valor
es verdadero o falso de acuerdo a una interpretación.

El Cálculo de Predicados permite ampliar el espectro del Cálculo Proposicional,

trabajando con fórmulas de diversos tipos además del booleano.

Mientras la lógica proposicional presenta limitaciones expresivas no permitiendo describir la

estructura interna de las proposiciones, la lógica de predicados cuenta con un lenguaje
mucho más expresivo que posibilita resolver esas limitaciones.

En la lógica proposicional la representación proposicional del juicio “Si Ana estudia,

aprueba” se compone de dos átomos “Ana estudia”, representado como p y “Ana
aprueba”, representado como q, pero las variables proposicionales p y q no reflejan
el vínculo que existe entre las proposiciones que representan, (ambas hacen
referencia a Ana).

En el lenguaje del cálculo de predicados los átomos tienen una representación relacional,
pudiendo representarse “Ana estudia” como Est(ana), donde Est(x) es la relación untaria (de
un argumento) que expresa que el individuo x estudia, de un modo similar “Ana
aprueba” puede representarse como Apr(ana), siendo Apr(x) la relación que expresa que el
individuo x aprueba, de este modo Est(ana) y Apr(ana) expresan explícitamente que
ambas proposiciones hacen referencia a propiedades distintas (estudiar y aprobar) de un
mismo objeto (Ana).
Por lo tanto se puede definir Cálculo de predicado como un sistema formal, estructurado
para el estudio de la inferencia en los lenguajes formales con cuantificadores que
alcanzan solo a variables de individuos, y con predicados y funciones cuyos argumentos son
constantes o variables de individuos

Tautología

Tautologías. Una proposición compuesta es una tautología si es verdadera, cualesquiera

que sean los valores de verdad de las proposiciones simples que la componen.

En una tautología se pueden sustituir sus proposiciones simples por otras proposiciones
simples cualesquiera verdaderas o falsas y la proposición también es verdadera. Por
ejemplo para cualesquier proposición simple p, p∨∽p es una tautología

¿Es la proposición p∨q→p una tautología?

Definición: Una proposición es una tautología si y solo si es verdadera para todas las
combinaciones de asignaciones de valores de verdad atribuidas a cada una de las
distintas proposiciones simples. Una proposición p implica tautológicamente una
proposición q si y solo si el condicional p→q es una tautología. Así, una implicación
tautológica es una tautología cuya forma es la de una proposición condicional. Una
proposición que es una implicación tautológica indica que el condicional correspondiente
es una tautología. Para verificar si una proposición compuesta es una tautología se hace
uso del método de la tabla de verdad.
Se dice que dos proposiciones son lógicamente equivalentes si en cualquier posible
asignación de valor de verdad las dos tienen el mismo

Contradicción.

Se entiende por proposición contradictoria, o contradicción, aquella proposición que en

todos los casos posibles de su tabla de verdad su valor siempre es F. Dicho de otra
forma, su valor F no depende de los valores de verdad de las proposiciones que la
forman, sino de la forma en que están establecidas las relaciones sintácticas de unas con
otras.

Una contradicción es una proposición simbolizada que es falsa en todos los casos (es
decir, independientemente del valor de verdad de las proposiciones simples que la
compongan y de cuáles se tales proposiciones simples). En este sentido las
contradicciones son exactamente lo opuesto de las tautologías: son las ―antileyes de la
lógica.

Conclusión

El cálculo de predicado nos permite expresar distintas variables, con la finalidad de

relacionar a las mismas, como se menciona un ejemplo; “si Ana estudia aprueba”, con el
cálculo de predicado podemos tomar partes de la oración y darlas distintas variable a
cada parte de la expresión, para posteriormente relacionarlas, esto nos ayuda cuando
tenemos que solucionar o llegar a una respuesta matemática, el cálculo de predicado nos
permite ver distintos panoramas, para llegar a una respuesta de manera efectiva.
Como vemos en el texto dice que una tautología es una expresión que siempre da como
resultado verdadero, encontramos que p-q, son una tautología ya que en ambas partes de la
expresión tanto en p como en q encontramos que dicen lo mismo.

Una contradicción son dos expresión dadas que en todas sus relaciones dará como
resultado falso “F”, y que poniéndolo en una tabla de verdad, no importara las relaciones
de ambas expresiones, siempre dará como resultado falso.

Podemos decir que estas tres definiciones, utilizándolas juntas, podemos encontrar las
respuestas matemáticamente hablando, de diversas problemáticas, y que nos llevaran a
una respuesta más acercada a la realidad, en combinación del cálculo de predicado, la
tautología y la contradicción, resolveremos de manera sencilla y eficaz expresiones que
quizá con el sistema binario no podríamos resolver, ya que esto nos presenta una
panorama más extenso, y con más opciones de respuestas.

Referencias
Bibliografía

Gardey, J. P. (1 de enero de 2010). definicion.de. Obtenido de

https://definicion.de/tautologia/ Juan, F. (20 de abril de 2009). ECURED. Obtenido de
https://www.ecured.cu/Tautolog%C3%ADa Santos, J. (2 de mayo de 2004). Logica
Matematica. Obtenido de
https://angelarendon.wordpress.com/2011/10/20/3-1-4-tautologias-contradiccion-
y- contingencia-2/

Víctor, J. J. (15 de Enero de 2007). ECURED. Obtenido de https://www.ecured.cu/C

%C3%A1lculo_de_predicados