Documentos de Académico
Documentos de Profesional
Documentos de Cultura
TEMA:
PROYECTO AULA:
MATEMÁTICAS
AUTORES:
Carranza Carolina
Chérrez María
Hallón Shirley
Sánchez Karen
DOCENTE:
QUEVEDO-ECUADOR
2016-2017
ÍNDICE
INTRODUCCIÓN ..................................................................................................................... 1
CAPITULO I .............................................................................................................................. 2
1.1 EL PROBLEMA.............................................................................................................. 2
CAPITULO II ............................................................................................................................. 4
2. MARCO TEÓRICO........................................................................................................... 4
i
CAPITULO III ............................................................................................................................ 9
3. DESARROLLO ................................................................................................................. 9
CAPITULO IV ......................................................................................................................... 20
4. CONCLUSIONES Y RECOMENDACIONES............................................................. 20
BIBLIOGRAFÍA ...................................................................................................................... 22
ANEXOS ................................................................................................................................. 23
ii
INTRODUCCIÓN
La lógica es la rama de las matemáticas que nos permite comprender sobre la validez
o no de razonamientos y demostraciones que se realicen. Proposiciones: es una
oración que tiene un valor de verdad, valor que puede ser verdadero o falso. Existen
dos clases de proposiciones que son:
1
CAPITULO I
1. MARCO CONTEXTUAL
1.1 EL PROBLEMA
El docente tratara cada tema del algebra como una herramienta, resolviendo ejercicios
paso a paso para que el estudiante pueda revisar el procedimiento explicado con más
detenimiento.
1.2. OBJETIVOS
2
1.3. JUSTIFICACIÓN
3
CAPITULO II
2. MARCO TEÓRICO
2.1. Preposiciones
Es una oración o idea que tienen un valor de verdad, que puede ser verdadero o
falso
Ejemplo:
p: Todo ingeniero se adapta rápidamente a su centro laboral.
q: El hombre es racional.
r: (a + b)2 = a2 + 2ab + b2.
Son aquellos enunciados que están formados por dos o más proposiciones simples y
unidos por conectores lógicos.
Ejemplo:
Los modelos son una simplificación o abstracción de la realidad que intentan explicar
4
un determinado comportamiento de los fenómenos económicos.
Por lo tanto estas representaciones sencillas no reflejan la realidad misma.
Los modelos son una abstracción de la realidad que intentan explicar un determinado
comportamiento de los fenómenos económicos.
Las representaciones sencillas reflejan la realidad misma.
Estas proposiciones están vinculadas por términos de enlace que destacamos con
negrita:
( ) o( ). Por lo tanto………. no ( )
En general en Lógica:
Los términos "y", "no”, "o”, "si...entonces" y "si y solo si”, que pueden figurar en una
proposición son llamados CONECTIVOS LOGICOS.
negación no p, no es cierto
que p,
no ocurre que p
Tabla N⁶1
2.2.4. Valores de proposiciones.
Ejemplo:
2.2.5. Cálculos.
P Q ~P ~Q ~PV~R
1 1 0 0 0
1 0 0 1 1
0 1 1 0 1
0 0 1 1 1
Tabla N°2
6
Resultado: es una tabla de verdad con contingencia por su resultado variado de
falso y verdadero.
P Q ~Q P^Q
1 1 0 0
1 0 1 1
0 1 0 0
0 0 1 0
Tabla N °3
2.4. Clasificación.
2.4.1. Tautología
Una proposición compuesta es una tautología si es verdad para todas las
asignaciones de valores para sus proposiciones de componentes.
2.4.2. Contradicción
7
2.4.3. Contingencia
8
CAPITULO III
3. DESARROLLO
Estas tablas pueden construirse haciendo una interpretación de los signos lógicos
como: no, o, y, si…entonces, sí y sólo sí. La interpretación corresponde al sentido que
estas operaciones tienen dentro del razonamiento. Puede establecerse una
correspondencia entre los resultados de estas tablas y la deducción
lógico matemática.
En consecuencia, las tablas de verdad constituyen un método de decisión para
chequear si una proposición es o no un teorema. Para la construcción de la tabla se
asignará el valor 1(uno) a una proposición cierta y 0 (cero) a una proposición falsa.
Es una matriz que despliega el valor de verdad de una proposición compuesta, para
cada combinación de valores de verdad que se pueda asignar a sus componentes: P
yQ
P ~P
V F
F V
Tabla N°4
Ejemplo:
Si se tiene la proposición:
a: Tengo un billete de cinco dólares.
La negación de a es:
¬a: No tengo un billete de cinco dólares
Ejemplo:
La función es creciente y está definida para los números positivos, utilizamos Para
que la conjunción p^q sea verdadera las dos expresiones que intervienen deben ser
verdaderas y sólo en ese caso como se indica por su tabla de verdad.
P Q P∧Q
V V V
V F F
F V F
F F F
TablaN°5
Obsérvese también que el razonamiento puede hacerse a la inversa, es decir si p ∧ q
es verdad, entonces p y q son, ambas, verdad y que si p ∧ q es falsa, entonces una
de las dos ha de ser falsa.
Este operador lógico relaciona dos proposiciones para formar una nueva, en la cual la
proposición resultante será verdadera solamente cuando el valor de verdad de ambas
10
proposiciones es verdadero. Representa el producto lógico. En español, la conjunción
copulativa se presenta con los términos gramaticales: “y”, “e”, “a la vez que”, “también”,
“no obstante”, “pero”, “sin embargo”, “aunque”, “mas”, y signos de puntuación como:
la coma, el punto, y el punto y coma.
Ejemplo
La conjunción entre a y b es: a∧b: Obtengo buenas notas y gano una beca.
regla: cuando dos proposiciones son falsas es verdadero en otro caso es falso
P Q P Q
V V F
V F F
F V F
F F V
Tabla N°6
11
Con la disyunción a diferencia de la conjunción, se representan dos expresiones que
afirman que una de las dos es verdadera, por lo que basta con que una de ellas sea
verdadera para que la expresión p ∨ q sea verdadera.
P Q PVQ
V V V
V F V
F V V
F F F
Tabla N°7
Este operador lógico relaciona dos proposiciones para formar una nueva, en la cual la
proposición resultante será falsa solamente cuando el valor de verdad de ambas
proposiciones es falso. Representa la suma lógica. En español, la disyunción se
presenta con el término gramatical “v”.
Ejemplo:
Si se tienen las proposiciones:
a: Tengo un libro de Trigonometría.
b: Tengo un libro de Álgebra.
12
P Q PVQ
V V F
V F V
F V V
F F F
Tabla N°8
Este operador lógico relaciona dos proposiciones para formar una nueva, en la cual
la proposición resultante será verdadera cuando solamente una de ellas sea
verdadera.
P Q PVQ
V V V
V F V
F V V
F F F
Tabla N°9
13
P Q P Q
V V V
V F F
F V V
F F V
Tabla N°10
Ejemplo:
14
P Q P Q
V V V
V F F
F V F
F F V
Tabla N°11
Ejemplo:
15
3.2. LOS SIGNOS DE AGRUPACIÓN
Ejemplo:
¬, Ʌ, V, →, ↔
Ejemplo:
pɅq→r = (p Ʌ q) → r
pɅq→rVs = (p Ʌ q) → (r V s)
p→q ↔r Ʌ s = (p → q) ↔ (r Ʌ s)
16
Si se tienen solamente proposiciones falsas para todos los valores de verdad de
las variables proposicionales, se dice que es una CONTRADICCIÓN.
Si se tienen algunas proposiciones verdaderas y otras falsas para los valores de
verdad de las variables proposicionales, se dice que es una CONTINGENCIA.
Partiendo de estas definiciones, la forma proposicional A del ejemplo anterior
constituye una contingencia.
Ejemplo 1:
p q q→p p→(q→p)
0 0 1 1
0 1 0 1
1 0 1 1
1 1 1 1
Tabla N⁶12
Ejemplo 2:
17
p q r p→q q→r p→r (p→q)∧(q→r) [(p→q)∧(q→r)]→(p→r)
0 0 0 1 1 1 1 1
0 0 1 1 1 1 1 1
0 1 0 1 0 1 0 1
0 1 1 1 1 1 1 1
1 0 0 0 1 0 0 1
1 0 1 0 1 1 0 1
1 1 0 1 0 0 0 1
1 1 1 1 1 1 1 1
Tabla N⁶13
Cuando se requiere sustituir una estructura por otra que sea equivalente,
alternativamente el símbolo ⇔ se lo reemplaza por ≡.
Ejemplo 1:
.
p q ¬p ¬q p→q ¬q→¬p (p→q)↔(¬q→¬p
0 0 1 1 1 1 ) 1
0 1 1 0 1 1 1
1 0 0 1 0 0 1
1 1 0 0 1 1 1
Tabla N⁶14
Ejemplo 2:
18
La forma proposicional: ¬(p∨q)⇔(¬p∧¬q), se puede traducir al lenguaje común como
“no es cierto que se tiene p o q”, y es lógicamente equivalente a “ni se tiene p, ni se
tiene q”.
Tabla N⁶15
19
CAPITULO IV
4. CONCLUSIONES Y RECOMENDACIONES
4.1. CONCLUSIONES
20
4.2. RECOMENDACIONES
21
BIBLIOGRAFÍA
22
ANEXOS
Anexo No. 1.
Ejercicios:
RESULTADO: CONTRADITORIO.
RESULTADO: CONTINGENCIA.
Anexo No. 3
24