1

LOGICA MATEMATICA

LOGICA MATEMATICA

UNIVERSIDAD CENTRAL DEL ECUADOR

Génesis Saritama

Alisson Gusñay

Josselyn Llumiquinga

Dayana Cando

Jenny Shuguli

Mayo 16 de 2018

Matemática

Ing. José Guamán

Nivelación UCE
 2
LOGICA MATEMATICA

Lógica Matemática

Es la disciplina que estudia métodos de análisis y razonamiento; utilizando el lenguaje de las

matemáticas como un lenguaje analítico, la lógica matemática nos ayuda a establecer
criterios de verdad, equivalencias lógicas tales como el silogismo, hacer demostraciones de
teoremas que participan en el análisis de argumentos planteados.

La lógica estudia la forma del razonamiento, que por medio de reglas y técnicas determina si
un argumento es válido. La lógica es ampliamente aplicada en la filosofía, matemáticas,
computación, física. En las matemáticas se usa para demostrar teoremas e inferir resultados
matemáticos que puedan ser aplicados en investigaciones.

También estudia los sistemas formales en relación con el modo en el que codifican
o definen nociones intuitivas de objetos matemáticos como: conjuntos,
números, demostraciones y algoritmos, utilizando un lenguaje formal, La lógica matemática
comprende dos áreas de investigación distintas: la primera es la aplicación de las técnicas de
la lógica formal a las matemáticas y el razonamiento matemático y la segunda, en la otra
dirección, la aplicación de técnicas matemáticas a la representación y el análisis de la lógica
formal.

el objetivo central de su estudio no son las tablas de verdad y la demostración de tautologías

complicadas sino la forma en que contribuye a determinar la estructura del pensamiento
matemático.

La lógica matemática trabaja a la par con la tabla de verdad.

Tabla de verdad

es una forma sencilla y concisa de indicar los valores de verdad de varias proposiciones de
una manera ordenada
 3
LOGICA MATEMATICA

Elementos de la lógica matemáticas

La lógica como herramienta esencial para construir el edificio matemático, lo hace a través
de 4 elementos que son:

1. Términos no definidos: son considerados conceptos primitivos, o sea que no es

posible definirlos a partir de otros elementos ya conocidos. Sin embargo es posible
elaborar definiciones entre los entes fundamentales. Ej. El punto, la recta, el plano,
conjunto, numero, relación de pertenencia, etc.

2. Definiciones: son proposiciones que dan un significado o un símbolo, expresión,

operación, palabra o término. Ej. Definición de resta, definición de segmento de
recta, definición de número impar, etc.

3. Axiomas: son proposiciones que se suponen verdaderas y por lo tanto no necesitan

ser demostradas. Ej. Los axiomas de la suma, de la multiplicación, de la igualdad, de
orden y otros.

4. Teoremas: es una proposición que afirma una verdad demostrable. es toda

proposición que partiendo de un supuesto, afirma una racionabilidad) no evidente
por sí misma. También puede decirse que un teorema es una fórmula bien formada
que puede ser demostrada dentro de un sistema formal, partiendo de axiomas u
otros teoremas. Demostrar teoremas es un asunto central en la lógica matemática.

Enunciados de la lógica matemática

LOGICA PROPOSICIONAL:

El ser humano en la vida diaria, se comunica con sus semejantes a través de un lenguaje
determinado (oral, escrito,..., etc.) por medio de las denominadas frases u oraciones, estas
pueden tener diferentes significados pero siempre van a resumirse a las formas de
verdaderas o falsas, siendo este el precedente fundamental para el desarrollo del
pensamiento humano. Lo importante en el presente estudio es el hecho de que, a partir de
los enunciados (frases u oraciones) y de acuerdo a su significado es posible establecer una
proposición y a partir de un conjunto de estas podemos llegar a una conclusión, siendo la
ciencia encargada del estudio de estas, la lógica.
 4
LOGICA MATEMATICA

1.1. ENUNCIADO.- Denominamos así a toda frase u oración.

Ejemplos:

1) Prohibido fumar.

2) x2+y2≥9

3) Tribunal en Lima verá denuncias sobre Ancash

4) 4x – 1= – 5

1.2. PROPOSICIÓN.- Una proposición es un enunciado que tiene la propiedad de ser

verdadera (V) o falsa (F), pero no ambas simultáneamente.

Representación simbólica: p, q, r, s, t,..., etc.

Ejemplos:

VALOR DE
VERDAD
REPRESENTACIÓN PROPOSICIÓN

SIMBÓLICA

p: El pentágono tiene cuatro lados F

r: Mario Vargas Llosa escribió conversación en V

la catedral

s: Ica es la región más afectada por el V

terremoto del 2 007

t: El parque de la identidad se encuentra F

ubicado en Chilca

p: -4+3=7 F

r: 3,56 > 0,099 V

El valor veritativo o valor de verdad de una proposición se expresa simbólicamente. Si p es

una proposición, su valor de verdad se denota por V(p)

Se escribe: V(p) = V. Si valor de verdad de la proposición p es verdadera

Se lee: el valor de verdad de la proposición p es verdadera

 5
LOGICA MATEMATICA

Se escribe: V(p) = F. Si valor de verdad de la proposición p es falsa

Se lee: el valor de verdad de la proposición p es falsa

1.3. EXPRESIONES QUE NO SON PROPOSICIONES LÓGICAS

Son las expresiones que indican orden, advertencia, saludo, exclamación o interrogación. Es
decir, estas expresiones sólo se quedan como enunciados.

Ejemplos:

- ¡Buenos días!. - ¡Hola, Harry!

- ¿Quién tocó la puerta? - ¿Qué edad tienes?

- No faltes. - Prohibido fumar.

- ¿Así se llaman esas criaturas? - ¡Viva la matemática!

Enunciado

Un enunciado es un conjunto de símbolos por medio de los cuales expresamos lo pensado

en juicio, ya sea en forma oral o escrita.
Los enunciados numéricos representan una ecuación o desigualdad e incluyen números o
variables y operandos: suma, resta, multiplicación o división.

ENUNCIADO ABIERTO (o función proposicional)

Es aquel en donde intervienen dos o más variables, y pueden convertirse en una proposición
lógica cuando la variable adquiere un valor determinado. Utilizan las palabras el, ella y los
símbolos X, Y, Z.
No tienen la propiedad de ser verdaderos o falsos, es decir, no son proposiciones.

Pero, si a estas palabras o letras se les asigna un determinado objeto o valor, llamado
constante, el resultado es una proposición.
Un enunciado es abierto si tiene una o más variables.
La presencia de variables hacen que sea imposible tener una respuesta definitiva, sin saber
lo que la variable representa, por lo que está abierto a la interpretación.
Una solución o soluciones pueden satisfacer el valor de la variable o variables y hacer que el
enunciado sea verdadero. También puede pasar que un enunciado abierto no tenga
solución.
 6
LOGICA MATEMATICA

EJEMPLOS

 Los enunciados abiertos necesitan por lo menos una variable, como por ejemplo 3x =
4 + y, 80 = 8z y 2a + 6 = b + c. Estos son ejemplos de enunciados abiertos debido a
que las soluciones a las variables x, y, z, y a, b, c, respectivamente, son desconocidas
conforme a la manera en que las ecuaciones están escritas. Los números pueden
sustituir las incógnitas para hacer los enunciados verdaderos.
 X+5 = 11
 N es un numero par
 El es un futbolista ecuatoriano
 X<9

Enunciado Variable

Es la variable que puede ser manejada o manipulada sistemáticamente por el

experimentador, cuyos cambios controlados tienen un efecto directo en la variable
dependiente.

Hablando desde el punto de vista matemático, son los elementos de entrada a la ecuación o
modelo de estudio y se representa en el eje de las abscisas (x) en una gráfica.

En otras palabras, es la supuesta “causa” en la relación que se está estudiando.

Generalmente se elige una sola como variable independiente para evitar que varios factores
a la vez tengan efectos en la variable dependiente.

Si eso ocurriese, sería difícil identificar y medir cuál de las modificaciones en las variables
“independientes” es la que está causando cambios en el comportamiento observado.

La variable independiente también se le conoce como variable controlada o variable

predictiva dependiendo del tipo de estudio.

Variable dependiente

Es el factor cambiable dentro del estudio cuyo comportamiento termina siendo afectado por
los factores que el experimentador manipula. De ahí su nombre, ya que “depende” de los
cambios hechos a la variable independiente.
 7
LOGICA MATEMATICA

Es el foco del estudio en general en cual el experimentador centra sus observaciones y

mediciones, para ver cómo su comportamiento responde a los cambios controlados. En
otras palabras, es el presunto “efecto” de la relación estudiada.

Se representa en el eje de las ordenadas (y) de una gráfica, ya que son los elementos de
salida de un modelo funcional o ecuación. Los cambios observados en esta variable son
registrados meticulosamente como parte fundamental de los resultados del experimento.

Dependiendo del tipo de estudio, también se le puede conocer como variable experimental,
variable de medición o variable de respuesta