Cdigo: 1023005190
Grupo: 856
El Bordo-Cauca
Abril de 2017
2
Introduccin
La lgica matemtica nos permite y facilita, que nosotros como alumnos tengamos una mejor
calidad de educacin con bases fundamentales para un buen proceso pedaggico, dado que est
se encuentra basada en la teora del aprendizaje significativo. Esta nos aporta gran conocimiento
esta manera representarlas en la tabla de verdad, utilizando los diferentes conectores que ella
Absorcin.)
3
Objetivos
General
Especficos
Este mtodo se aplica para demostrar la falsedad de proposiciones cuya hiptesis est
proposicin que tenga una conclusin referida para todos los elementos de un cierto conjunto
Este mtodo es de gran utilidad cuando nos encontramos ante una proposicin con
instancia un contraejemplo.
Ejemplos
P: Si X un nmero es par
Q: X es mltiplo de 3
P Q
P: 10 es par Q: es mltiplo de 3
Negamos; P Q
5
P: hay corriente
R: est encendida
pq r
Contraejemplo: la lmpara no est encendida. Hay corriente por lo tanto la lmpara esta
fundida.
r p q
Si Claudia estudia, aprueba el examen por lo tanto aprueba matemticas
P: Claudia estudia
Q: aprueba el examen
R: aprueba matemticas
p ^ q r
P Q R p^q p^qr
V V V V V
V V F V F
V F V F F
V F F F F
F V V F F
F V F F F
F F V F F
F F F F F
6
Dilema Constructivo
entonces Q o S debe ser verdadero. En suma, si dos condicionales son verdaderos, y al menos
uno de sus antecedentes es verdadero, entonces alguno de sus consecuentes debe de ser
verdadero.
Estudi o dorm.
(p q) (r s)
pr
\q s
Dilema de absorcin
Si estudio aprendo
p q
p (q p)
qr
q (q r)
Prendo el horno (p) para ingresar el pollo crudo (q). Estoy cocinando ( P P Q).
P Q PQ P(P Q)
V V V V
V F F F
F V V V
F F V V
8
mejor promedio acadmico; para lo cual se quiere exonerar a dicho estudiante de los
Si Jaime posee un promedio ms alto que Pablo, entonces Martha posee un promedio
ms bajo que Aura. Martha no tiene un nivel acadmico ms bajo que Aura. Si Jaime y
Lina tienen el mismo promedio, entonces Jaime est con un promedio ms alto que
Con el uso de las dos maneras de la tabla de verdad y con el uso de las leyes de
CONCLUSION:
1. Si Jaime posee un promedio ms alto que Pablo, entonces Martha posee un promedio ms
3. Si Jaime y Lina tienen el mismo promedio, entonces Jaime est con un promedio ms
Conclusin
1. P Q
2. Q
3. RP
4. R
5. [ ( P Q ) ( Q) (RP ) ] ( R)
P Q R [( P Q ) ( Q ) ( RP ) ] ( R)
V V V V F F F V V F
V V F V F F F V V V
V F V F F V F V V F
V F F F F V F V V V
F V V V F F F F V F
F V F V F F V V V V
F F V V V V F F V F
F F F V V V V V V V
10
Conclusiones
relacin al uso de las reglas de inferencia, permitindome de este modo poder realizar algunos
La situacin problemica me llevo a analizar, el enunciado para de este modo poder extraer las
Referencias bibliogrficas
Recuperado de:
https://upload.wikimedia.org/wikipedia/commons/b/b4/Logica_y_demostraciones.pdf
Recuperado de:
http://isacalcula.blogspot.com.co/2014/02/los-contraejemplos-en- la-matematica.html
Recuperado de:
Vol_V_num_2/hist_mat_contraej.pdf
Recuperado de:
http://blogs.ua.es/jabibics/2011/01/04/capitulo-5-tablas-de-verdad- y-
contraejemplo/comment-page-1//
Demostraciones
Recuperado de:
http://www2.uca.es/matematicas/Docencia/ESI/1711051/Apuntes/Leccion3.pdf
Recuperado de:
https://educacion.elpensante.com/el-dilema-constructivo/