curso de matemática propedeútica
DESCRIPTION
Curso de Matemática Propedeútica. Año académico 2008. MSc. Ing. Julio Rito Vargas Avilés 15-ene-2008. 111 = 6 222 = 6 333 = 6 444 = 6 555 = 6 666 = 6 777 = 6 888 = 6 999 = 6. - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/1.jpg)
Curso de Matemática PropedeúticaAño académico 2008
MSc. Ing. Julio Rito Vargas Avilés 15-ene-2008
![Page 2: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/2.jpg)
1 1 1 = 62 2 2 = 63 3 3 = 64 4 4 = 65 5 5 = 66 6 6 = 67 7 7 = 68 8 8 = 69 9 9 = 6
![Page 3: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/3.jpg)
(1 + 1 + 1) ! = 62 + 2 +2 = 63 x 3 - 3 = 6√4 + √4 + √4 =
65 ≠ 5 + 5 = 66 + 6 - 6 = 6-7 ÷ 7 + 7 = 63√8 + 3√8 + 3√8 = 6√9 x √9 - √9 = 6
![Page 4: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/4.jpg)
Lógica matemática.
La lógica matemática sirve de fundamento al razonamiento matemático, evitando ambigüedades y contradicciones mediante la determinación absolutamente precisa y rigurosa de lo que es un razonamiento matemático válido.
![Page 5: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/5.jpg)
Proposición Una proposición es una oración que
es verdadera o falsa, pero no es verdadera y falsa a la vez.
Simbólicamente: p: 2 + 2 = 4 q: El cinco es un número primo r: Estelí es la capital de Nicaragua s: √4 + 5 = 9
![Page 6: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/6.jpg)
Proposición Lo que no es una proposición.
1. Qué hora es?2. Lee esto con atención.3. x + 1 = 24. x + y = z
![Page 7: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/7.jpg)
Proposición La negación de una proposición es
otra proposición, llamada la negación de p.
Simbólicamente: ¬p ~pEjemplo: p: 12 + 33 = 39 ¬p: 12 + 33 ≠ 39
![Page 8: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/8.jpg)
Proposición Tabla de verdad para la negación de una
proposición.
p ¬pv ff v
p ¬p1 00 1
![Page 9: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/9.jpg)
Son dos o más proposiciones simples unidas por medio de operador lógico.
: operador de la conjunción (léase
“y”) : operador de disyunción incluyente
(“o”)
Proposiciones compuestas
: operador condicional (“si…entonces…”)
: operador bicondicional (“p si y sólo q ”)
: operador de disyunción excluyente (“o”)
![Page 10: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/10.jpg)
La Conjunción Sean p y q proposiciones. La proposición
p ^ q, es la proposición que es
verdadera cuando tanto p como q son verdaderas y falsa en cualquier otro caso.
fórmula 2n
n= número de proposiciones.
p q p^qv v vv f ff v ff f f
![Page 11: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/11.jpg)
La Disyunción inclusiva Sean p y q proposiciones. La proposición
p v q, es la proposición que solo es falsa
cuando tanto p como q son falsas. fórmula 2n
n= número de proposiciones.
p q p v qv v vv f vf v vf f f
![Page 12: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/12.jpg)
La Disyunción excluyente Sean p y q
proposiciones. La proposición
p q, es la proposición que solo es verdadera cuando tanto p como q son falsas.
fórmula 2n
n= número de proposiciones.
p q p qv v fv f vf v vf f f
![Page 13: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/13.jpg)
La Implicación Sean p y q
proposiciones. La proposición
p q, es la proposición que solo es falsa cuando p es verdadero y q es falso.
fórmula 2n
n= número de proposiciones.
p q p qv v vv f ff v vf f v
![Page 14: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/14.jpg)
La Doble implicación Sean p y q
proposiciones. La proposición
p q, es la proposición que solo es verdadera cuando tanto p como q tienen el mismo valor de verdad.
fórmula 2n
n= número de proposiciones.
p q p qv v vv f ff v ff f v
![Page 15: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/15.jpg)
Resumen
![Page 16: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/16.jpg)
Verificación de Aprendizajes
ninguna (e) ninguna (e)
![Page 17: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/17.jpg)
Prueba Escribir las correspondientes sentencias lógicas para las
siguientes frases: Una relación es una relación de equivalencia si y sólo si es
reflexiva, simétrica y transitiva.p: R es relación de equivalenciar: R es reflexivas: R es simétricat: R es transitivap r s t
Si la humedad es alta, lloverá esta tarde o esta noche.p: la humedad es altaq: lloverá esta tarder: lloverá esta nochep q r
![Page 18: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/18.jpg)
Prueba El cáncer no se cura al menos se
determine su causa y se encuentre un nuevo fármaco.
p: el cáncer se curaq: se encuentra su causar: se encuentra un nuevo fármacop q r
Se requiere valor y preparación para escalar esta montaña.
p: se requiere valorq: se requiere preparaciónr: escalar la montañar q p
![Page 19: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/19.jpg)
Prueba Si es un hombre que hace una
campaña dura, probablemente será elegido.
p: hace campaña duraq: será elegido
( p q ) ( p q )
![Page 20: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/20.jpg)
Prueba
![Page 21: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/21.jpg)
Prueba
![Page 22: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/22.jpg)
Prueba
)( )(
)()(
pqpqppqqp
pqqppqqp
DEMOSTRAR QUE ES UNA CONTRADICCIÓN
conjunción de Def. f
negación la deley f f asociativaley )()(
imp. la de iaequivalenc )()(DeMorganley )()(
)()(
qqpppqqppqqp
pqqp
![Page 23: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/23.jpg)
Prueba
)( )(
)()(
pqpqppqqp
pqqppqqp
)()(p
)()(p )()(p)()(p
)()(p : dado tanto,lopor bab)(a que Partimos
qpqqpqqpqqpq
qpq
DEMOSTRAR QUE
negaciónley v
negación doble Def.Por f DeMorgan deley )()(
nimplicació equiv.por )()(imp. doble la denegación por )()(
)()( que b)(a que Sabemos
qpqpqpqpqpqp
qpqpDadoba
![Page 24: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/24.jpg)
Inferencia lógica Doble negación: de una premisa p puede
concluirse su doble negación y viceversa.
Simplificación: De una conjunción puede concluirse cualquiera de las proposiciones que la componen.
pp
pp
pqp
qqp
![Page 25: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/25.jpg)
Inferencia lógica Adición: De una proposición p, tomada como
premisa, puede concluirse la disyunción de la misma con cualquier otra proposición.
Modus Ponendo Ponens(MPP): De una fórmula condicional y la afirmación de su antecedente como premisas, puede concluirse la afirmación del consecuente.
qpp
qp
qp
![Page 26: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/26.jpg)
Inferencia lógica Modus Tolendo Tollens(MTT): De una fórmula
condicional y la negación de su consecuente como premisas, puede concluirse la negación del antecendente.
Modus Tolendo Ponens(MTP):De una disyunción y la negación de uno de sus miembros como premisas, puede concluirse la afirmación la afirmación del otro miembro.
p
qp
q
qpqp
![Page 27: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/27.jpg)
Inferencia lógica Distributiva: La conjunción de una proposición y
una fórmula disyuntiva puede transformarse en la disyunción de dos conjunciones.
Distributiva: La disyunción de una proposición y una fórmula conjuntiva puede transformarse en la conjunción dos conjunciones disyunciones.
)()( )(rpqp
rqp
)()()(rpqp
rqp
![Page 28: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/28.jpg)
Inferencia lógica D´Morgan: Una conjunción puede transformarse
en una disyunción en la cual se niega las proposiciones integrantes y se niega la totalidad de la fórmula.
D´Morgan: Una disyunción puede transformarse en una conjunción en la cual se niega las proposiciones integrantes y se niega la totalidad de la fórmula.
)( qp
qp
)( qpqp
![Page 29: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/29.jpg)
Resolver
![Page 30: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/30.jpg)
A partir de las reglas de inferencia demostrar la validez del siguiente esquema de inferencia:
1) p v q 2) p v r3) q r
4 ) De 1 y 3 resulta p (MTP)5) De 2 y 4 resulta r (MTP)
![Page 31: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/31.jpg)
A partir de las reglas de inferencia demostrar la validez del siguiente esquema de inferencia:
1) p v r v q 2) r3) q p
4 ) r v (p v q) expresando (1) por ley asociativa5) De 4 y 2 resulta (p v q) (MTP)6) De 5 y 3 resulta p (MTP)
![Page 32: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/32.jpg)
A partir de las reglas de inferencia demostrar la validez del siguiente esquema de inferencia:
1) p 2) q v p 3) q f
4 ) De 2 y 1 resulta q (MTP) De De 4 y 3 resulta f (ley negación)
![Page 33: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/33.jpg)
A partir de las reglas de inferencia demostrar la validez del siguiente esquema de inferencia:
1) ( p q ) r2) r s3) q s p
4 ) De 3 resulta s (por Simplificación)5 ) De 2 y 4 resulta r (por MTT)6) De 1 y 5 resulta (p q) (MTT)7) De 6 resulta p v q Ley DeMorgan8) De 7 resulta p (Simplificación disyunción)
![Page 34: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/34.jpg)
Ejemplos Sean: p: Pablo es extraño q: A Pablo le gustan leer libros de matemáticas.
Exprese cada una de las proposiciones en el lenguaje ordinario:
¬p ^ q : p ^ q : ¬(p ^ q): p v ¬ q: ¬p v ¬ q:
![Page 35: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/35.jpg)
Ejemplos Sean: p: Pablo es extraño q: A Pablo le gustan leer libros de matemáticas. Exprese cada una de las proposiciones en el
lenguaje ordinario: ¬p ^ q : p ^ q : ¬(p ^ q): p v ¬ q: ¬p v ¬ q: p → q : p ↔ q :
![Page 36: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/36.jpg)
Ejemplos Sean: p: Pablo es extraño q: A Pablo le gustan leer libros de matemáticas.
Exprese cada una de las proposiciones en el lenguaje ordinario:
¬p ^ q : Pablo no es extraño y le gusta leer libros de matemática.
p ^ q : Pablo es extraño y le gusta leer libros de matemática.
¬(p ^ q): No es cierto que Pablo es estraño y le guste leer libros de
p v ¬ q: Pablo es extraño o no le gusta leer libros de matemáticas.
¬p v ¬ q: Pablo no es extraño o no le gusta leer libros de matemática
p → q : Si Pablo es extraño entonces le gusta leer libros de mat.
p ↔ q : Pablo es extraño si y solo si le gusta leer libros de mat.
![Page 37: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/37.jpg)
Ejemplos Sean: r: La humanidad contamina el medio ambiente. s: La humanidad sobrevivirá. Si r es verdadera y s es falsa. Determine el valor de
verdad de las siguientes proposiciones:
(r٨s) v¬s :¬r v ¬s : r ٨ ¬s : ¬r v s : r → s : r ↔ s :
![Page 38: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/38.jpg)
Ejemplo Determine el valor de verdad de ¬(p٨q)٨[(pvq)٨q]
p q (p٨q) ¬(p٨q) (pvq)
(pvq)٨q ¬(p٨q)٨[(pvq)٨q]
![Page 39: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/39.jpg)
Equivalencias lógicasp ٨ V ≡ p p v F ≡ p
Leyes de identidad
p v V ≡ Vp ٨ F ≡ F
Leyes de denominación
p v p ≡ pp ٨ p ≡ p
Leyes idempotencias
p v q ≡ q v pp ٨ q ≡ q ٨ p
Leyes conmutativas
¬(¬p) ≡ p Ley de la doble negación
![Page 40: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/40.jpg)
Equivalencias lógicas(p v q) v r ≡ p v (q v r) (p ٨ q) ٨ r ≡ p ٨ (q ٨ r)
Leyes asociativas
p v (q ٨ r) ≡( p v q)٨(p v r) p ٨ (q v r) ≡( p ٨ q)v(p ٨ r)
Leyes distributivas
¬(p v q) ≡ ¬p ٨ ¬ q ¬(p ٨ q) ≡ ¬p v ¬ q
Leyes de De Morgan
p v (p ٨ q) ≡ pp ٨ (p v q) ≡ p
Leyes de absorción
(p v ¬p) ≡ V (p ٨ ¬p) ≡ F
Ley de negación
![Page 41: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/41.jpg)
Equivalencias lógicasp → q ≡ ¬p v qp → q ≡ ¬q → pp v q ≡ ¬p → qp ٨ q ≡ ¬(p →¬q)¬(p →q) ≡ p ٨ ¬q(p → q)٨ (p → r) ≡ (p → (q ٨ r)(p → r)٨ (q → r) ≡ (p v q) → r(p → q) v (p → r) ≡ p → (q v r)(p → r) v (q → r) ≡ (p ٨ q) → r
![Page 42: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/42.jpg)
Equivalencias lógicasp ↔ q ≡ (p → q)٨ (q → p) p ↔ q ≡ ¬p ↔ ¬qp ↔ q ≡ (p ٨ q) v (¬p ٨ ¬q)¬(p ↔ q) ≡ p ↔ ¬q
![Page 43: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/43.jpg)
Ejemplo 1Muestre que (p ٨ q) → (p v q) es una tautología. Demostración:¬(p v (¬p ٨ q)) ≡ ¬p ٨ ¬(¬p ٨ q) Ley de DeMorgan ≡ ¬p ٨ [¬(¬p) v ¬q] “ “ ≡ ¬p ٨ [p v ¬q] Ley doble neg. ≡ (¬p ٨ p) v (¬p ٨ ¬q) Ley distrib. ≡ F v (¬p ٨ ¬q) Ley negación ≡ ¬p ٨ ¬q Ley de Indentidad
![Page 44: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/44.jpg)
Ejemplo 1Justifica que las proposiciones ¬(p v (¬p ٨ q)) y ¬p ٨ ¬q son lógicamente equivalentes.
Demostración:¬(p v (¬p ٨ q)) ≡ ¬p ٨ ¬(¬p ٨ q) Ley de DeMorgan ≡ ¬p ٨ [¬(¬p) v ¬q] “ “ ≡ ¬p ٨ [p v ¬q] Ley doble neg. ≡ (¬p ٨ p) v (¬p ٨ ¬q) Ley distrib. ≡ F v (¬p ٨ ¬q) Ley negación ≡ ¬p ٨ ¬q Ley de Indentidad
![Page 45: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/45.jpg)
Ejemplo 2Muestre que (p ٨ q) → (p v q) es una tautología. Demostración:(p ٨ q) → (p v q) ≡ ¬(p ٨ q) v (pvq) por equiv. ≡ (¬p v ¬q)v(pvq) DeMorgan ≡ (¬p v p) v (q v ¬q) Conm yAsoc. ≡ V v V Leyes de negación ≡ V regla disyunción
![Page 46: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/46.jpg)
Predicados y Cuantificadores
![Page 47: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/47.jpg)
Predicados y Cuantificadores
P(x) : función proposicionalEjemplo:P(x) : (x+1) ≥ xNotación: léase, para todo x P(x),
para cada x P(x), o para cualquier x P(x).Q(x): x ≤ 4
)(xxP
![Page 48: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/48.jpg)
Predicados y Cuantificadores
Todo A es B su negación es Algún A no es
B. Ningún A es B su negación es Algún A es
B.
![Page 49: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/49.jpg)
Predicados y Cuantificadores
![Page 50: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/50.jpg)
Predicados y Cuantificadores
![Page 51: Curso de Matemática Propedeútica](https://reader035.vdocuments.mx/reader035/viewer/2022062813/568165bf550346895dd8c1c7/html5/thumbnails/51.jpg)
Predicados y Cuantificadores