Logia Matematica
Logia Matematica
PROYECTO:
LÓGICA MATEMÁTICA
AUTORES:
TUTOR (A):
JIPIJAPA-MANABÍ- ECUADOR
2018
DEDICATORIA
2
AGRADECIMIENTO
INDICE DE CONTENIDO
PORTADA
3
DEDICATORIA................................................................................................................2
AGRADECIMIENTO.......................................................................................................3
INDICE DE CONTENIDO...............................................................................................4
1. TEMA........................................................................................................................5
2. INTRODUCCIÓN.....................................................................................................6
3. JUSTIFICACIÓN......................................................................................................8
4.- OBJETIVOS................................................................................................................9
5.2.- PROPOSICIÓN.......................................................................................................11
5.3.1.- NEGACIÓN.....................................................................................................12
5.3.2.- CONJUNCIÓN................................................................................................14
5.3.3.- DISYUNCIÓN.................................................................................................16
5.3.4.- CONDICIONAL..............................................................................................18
5.3.5.- BICONDICIONAL..........................................................................................20
6.-CONCLUSIONES......................................................................................................25
7.-RECOMENDACIONES.............................................................................................26
7.-BIBLIOGRAFIA.........................................................................................................27
4
1. TEMA
LÓGICA MATEMÁTICA
2. INTRODUCCIÓN
5
El presente trabajo está relacionado al análisis de la Lógica; ya que es el lenguaje
interpretaciones.
maestros, alumnos debido a muchos factores que hacen que esta área sea muy compleja
y de difícil comprensión para los estudiantes; entre los factores de incidencia podemos
decir que en gran medida están involucrados los maestros por carecer de conocimientos
Poe lo que Emplearemos las nociones del razonamiento lógicas, constituidas por
caracterizan porque sus afirmaciones tienen un valor de verdad. La lógica trata a las
verdaderos.
Es así que tenemos que tener en cuenta que el lenguaje natural es un instrumento de
comunicación humana, que se caracteriza por su gran flexibilidad y puede estar lleno de
6
redundancias y ambigüedades. Estas características hacen que el razonamiento lógico
formal no esté interesado en el lenguaje natural. La lógica pretende ser una ciencia
rigurosa y universal que permita realizar cálculos exactos. Para ello, la lógica requiere
el diseño de un lenguaje artificial que sea formal, donde lo que importe sea la forma o
aspecto externo, y no el significado de las frases y donde sólo los mensajes que cumplan
válido, la principal aportación que la lógica hace a las ciencias está en la ordenación,
3. EL PROBLEMA DE INVESTIGACIÓN.
7
El razonamiento lógico matemático y su incidencia en el aprendizaje de los estudiantes
universitarios.
acorde a la realidad social y educativa de los jovenes universitarios, sino a sus propios
ninguna capacitación de los maestros y alumnos, un fiel reflejo del bajo rendimiento de
país a los alumnos de tercero y sexto años de educación básica fueron muestras
suficientes para demostrar el bajo nivel de razonamiento lógico matemático que los
enseñanza-aprendizaje.
8
4. JUSTIFICACIÓN
proveer estrategias para lograr dar una personalidad a un plan que implica
necesario que tendrá beneficios de gran importancia para los estudiantes en formación
9
con el estudio de la lógica matemática porque es aplicable a la vida diaria, sin darnos
cuenta y siempre estamos poniendo en práctica ya sea al momento de decidir entre una
Así mismo la lógica permite resolver incluso problemas a los que nunca se ha
serán Verdaderos, falsas y exactas con respuesta lógica en base a las teorías planteadas.
Entonces es así que el razonamiento lógica contribuye una base fundamental para
las matemáticas y de las ciencias en general. Por ello, se hace necesario construir un
lenguaje claro y preciso que nos permita llegar a una correcta interpretación
problemas
10
4.- OBJETIVOS
11
Analizar los parámetros fundamentales de apoyo para mejorar el Razonamiento
argumento dado.
Ecu18 \l 3082 ]
12
5.1.2.- NOCIONES DE LÓGICA
interpretaciones.
Por otra parte, la lógica matemática se caracteriza por emplear un lenguaje simbólico
5.2.- PROPOSICIÓN
Una proposición es una oración con valor referencial o informativo, de la cual se puede
predicar su veracidad o falsedad, es decir, que puede ser falsa o verdadera pero no
ambas a la vez.
Proposición compuesta:
Proposición abierta:
13
Cuando el enunciado no podemos calificarlo como verdadero o falso, o sea no tiene
valor de verdad
Ejemplos:
¿Cómo te llamas?
¡Hola!
NO PROPOSICIONES
VALOR DE VERDAD
Verdadero: 1
Falso: 0
asignar variables con las letras minúsculas (p, q, r, s,….a, b, c,…. etc.), a los conectivos
14
5.3.1.- NEGACIÓN
NEGACIÓN
EJEMPLO 1.
: "Hoy no es Lunes”
otra proposición llamada negación de ~p. Este signo puede ser traducido en palabras,
así: “no es el caso que” o, “es falso que” y más brevemente, “no”.
Ejemplo 2:
p: “4 + 4 es igual a 9”
-p: “4 + 4 no es igual a 9″
15
p: “El 4 es un numero par”
Ejemplo 3:
VARIAB
LES
CONECTIVOS
V V V V V V
V F F V F F
16
F V F V V F
F F F F V V
5.3.2.- CONJUNCIÓN
CONJUNCIÓN
: "Tengo un lápiz"
: "Tengo un cuaderno"
Lo que equivale a decir que basta que uno de sus componentes sea falsa para que
toda la proposición sea falsa y sólo será verdadera en el caso de que ambos
componentes lo sean.
17
Ejemplo 2.
Ejemplo 3:
18
p ^ q (se lee: ” p y q”)
p =” El número 4 es par”
Ejemplo 4:
Por tanto, la conjunción entre ellas es falsa, ya que ambas no son simultáneamente
verdaderas.
5.3.3.- DISYUNCIÓN
Se representan dos enunciados separadas por la expresión o basta con que una sea
verdadera para que se cumpla la proposición (p v q) (a v b). Su símbolo es: V
DISYUNCIÓN INCLUSIVA
a : "Tengo un lápiz"
b 20
ab
: "Tengo un cuaderno”
DISYUNCIÓN EXCLUSIVA
Ejemplo 2.
21
Ejemplo 3.
Es verdadera si al menos una de las variables atómicas es verdadera. Se puede decir que
solamente cuando las variables atómicas son falsas es que la proposición resultante da
falsa.
p = "El cielo es azul" (verdadera), q = "12 es un número par" (verdadera) por ser
22
Sea la proposición molecular: "El número 1 es el elemento neutro de la suma o
44 es un número par"
(verdadera)
Por tanto, la disyunción inclusiva entre ellas es verdadera, ya que una de ellas es
verdadera.
número par"
Por tanto, la disyunción inclusiva entre ellas es falsa, ya que ambas no son
simultáneamente falsa.
Disyunción exclusiva
Ejemplos:
23
Por ser ambas verdadera la disyunción exclusiva entre ellas es falsa.
Por tanto, la disyunción exclusiva entre ellas es verdadera, ya que ambas no son
simultáneamente verdaderas.
Por tanto, la disyunción exclusiva entre ellas es falsa, ya que ambas son falsas.
5.3.4.- CONDICIONAL
aquella expresión que tiene la forma p → q, y que se lee “si p, entonces q” o bien “p
Ejemplo 1:
TABLA DE VERDAD
24
: “Apruebas el curso de nivelación"
: “Te regalaré un carro"
: “Si apruebas el curso de nivelación" entonces te regalaré un carro"
Ejemplo 2:
Daniela le dice a su hijo:
Si estudias entonces ingresarás a la Universidad
Ejemplo 3:
Tabla condicional
25
El condicional que une a dos proposiciones es falso, cuando el antecedente es
verdadero y el consecuente falso.
p = "entreno"
Condición Necesaria y
Verdadera
Condición Suficiente
26
Ejemplo
“Es suficiente que un número sea divisible para 4 para que se divisible para 2"
“Es necesario que un número sea divisible para 2 para que se divisible para 4"
VARIACIONES
Ejemplo:
27
5.3.5.- BICONDICIONAL
si y sólo si Q”, en la cual tanto P como Q son ambas ciertas o ambas falsas.
símbolo es: ↔, ≡
Expresada por la frase “si y solo sí…”, denotada por el signo“↔”, significa una
relación bidireccional en donde ambas proposiciones se necesitan entre sí.
La conectiva bicondicional, será verdadera solamente si y solo si las dos sentencias que
la componen son a la vez verdaderas o si son ambas falsas.
Ejemplo 1.
28
5.4.- FORMAS PROPOSICIONALES
5.4.1- TAUTOLOGÍA
Una proposición compuesta es una tautología si es verdadera para todas las asignaciones
valor V 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. Sea el
caso:
Si se obtienen sólo proposiciones verdaderas para todos los valores de verdad de las
variables proposicionales
Ejemplo
p q p q
29
5.4.2- CONTRADICCION
Si se obtienen sólo proposiciones falsas para todos los valores de verdad de las
variables proposicionales.
Ejemplo:
p q p q
5.4.3- CONTRADICCION
Ejemplo:
30
5.5.- IMPLICACIONES LÓGICAS
si A B es una tautología.
p q p q
Formula:
Ejemplo:
31
5.6.- EQUIVALENCIAS LÓGICAS
También: AB
Ejempló:
pq p q
6.-CONCLUSIONES
Inteligencia Artificial, ya que para realizar los cambios necesarios para la evolución de
esta ciencia, se precisa de un lenguaje formal para representar los hechos que se reciben
El utilizar proposiciones es una señal que encaja en forma perfecta en este ámbito. Es un
32
disgregando el problema en proposiciones u oraciones sencillas que permiten analizar
los hechos y tomar decisiones, es decir, crear nuevas proposiciones u oraciones sencillas
mejora de esta.
Este trabajo nos ha permitido profundizar los conocimientos del uso de la lógica para la
7.-RECOMENDACIONES
7.-BIBLIOGRAFIA
http://es.wikipedia.org/wiki/Representaciconocimiento
http://es.wikipedia.org/ proposicional#Sistemaaxiom.C3.A1tico
http://www.uhu.es/docsproposicioneslogicas
http://www.ampa-stjhuelva.orgproposicional
http://logicayrazonamientomatamatica.blogspot.com/2011/08/valores-de-la-verdad-de-
los-operadores.html
34
https://matedisunidad3.wordpress.com/tag/negacion/
http://logicayrazonamientomatamatica.blogspot.com/2011/08/bicondicional-o-
coimplicacion.html
35