Está en la página 1de 12

1

Paso 3 Uso de las Reglas de Inferencia

Diana Sofa Bolaos Soto

Cdigo: 1023005190

Grupo: 856

Tutor: Sergio Andrs Trujillo

Universidad Nacional Abierta y a Distancia

Tecnologa en Radiologa e Imgenes Diagnosticas

Pensamiento Lgico y Matemtico

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

acerca de cmo extraer de un enunciado problemico proposiciones simples y compuestas y de

esta manera representarlas en la tabla de verdad, utilizando los diferentes conectores que ella

requiere adems de conocer e identificar las demostraciones de la lgica matemtica

(demostracin por contraejemplo) y las leyes de inferencia lgica (Dilema Constructivo y

Absorcin.)
3

Objetivos

General

Conocer e identificar el concepto de Demostracin por contraejemplo y el dilema constructivo

y de absorcin realizando su respectiva representacin mediante ejemplos.

Especficos

Conceptualizacin de la terminologa de Demostracin por contraejemplo con sus

respectivos ejemplos; como un tipo de demostracin de la lgica matemtica.

Conceptualizacin de la terminologa dilema constructivo y de absorcin con sus

respectivos ejemplos; como una ley de inferencia.

Resolver y representar mediante una tabla de verdad una situacin problemica


4

Demostracin por Contraejemplo.

Este mtodo se aplica para demostrar la falsedad de proposiciones cuya hiptesis est

construida mediante un cuantificador universal; se aplica para demostrar la falsedad de una

proposicin que tenga una conclusin referida para todos los elementos de un cierto conjunto

Para demostrar la falsedad de proposiciones de este tipo, es necesario un elemento que

satisfaga la hiptesis de la proposicin, pero no su conclusin; a esto es a lo que le llamamos

contraejemplo o ejemplos en contra.

Este mtodo es de gran utilidad cuando nos encontramos ante una proposicin con

cuantificador universal, de la cual no sabemos si es verdadera o falsa, buscando como primera

instancia un contraejemplo.

Ejemplos

Los nmeros pares son mltiplos de 3

Si X un nmero es par, entonces X es mltiplo de 3

P: Si X un nmero es par

Q: X es mltiplo de 3

P Q

Contraejemplo 10 es par y no es mltiplo de 3

P: 10 es par Q: es mltiplo de 3

Negamos; P Q
5

Si hay corriente y la lmpara no est fundida, entonces est encendida.

P: hay corriente

Q: la lmpara est fundida

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

Es una inferencia que dice que si P implica Q; y R implica S; y, o bien P o R es verdadero;

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.

Regla del dilema constructivo (DC). A partir de dos frmulas condicionales y de la

disyuncin de obtiene la disyuncin de sus consecuentes.

Si estudio aprendo y si duermo descanso.

Estudi o dorm.

Luego Aprend o descans.

(p q) (r s)

pr

\q s

debemos filosofar o no debemos hacerlo. Si debemos hacerlo, entonces debemos hacerlo.

Si no debemos hacerlo, entonces tambin debemos hacerlo, para explicar por qu no

debemos hacerlo. Luego en cualquier caso debemos filosofar. ARISTTELES.

[(p v q) ^ (p>r) ^ (q>r)] >r.


7

Dilema de absorcin

La regla establece que si P implica Q, entonces P implica P y Q. La regla hace posible

introducir conjunciones en pruebas. A esto le llamamos ley de absorcin ya que el termino P

es absorbido por el termino Q en la consecuencia.

Si estudio aprendo

Estudio, luego aprendo y estudio

p q

p (q p)

Si trabajo gano dinero

Trabajo, luego gano dinero y trabajo

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

1. En un colegio de la ciudad se est buscando brindar un premio al estudiante con el

mejor promedio acadmico; para lo cual se quiere exonerar a dicho estudiante de los

exmenes finales. Es as que en la reunin acadmica se hace el siguiente anlisis:

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

Pablo. Por consiguiente Jaime y Lina no tienen el mismo promedio.

Con el uso de las dos maneras de la tabla de verdad y con el uso de las leyes de

inferencia comprobar la validez del razonamiento hecho.

P: Jaime posee un promedio ms alto que Pablo

Q: Martha posee un promedio ms bajo que Aura

Q: Martha no tiene un nivel acadmico ms bajo que Aura.

R: Jaime y Lina tienen el mismo promedio

CONCLUSION:

R: Jaime y Lina no tienen el mismo promedio.

1. Si Jaime posee un promedio ms alto que Pablo, entonces Martha posee un promedio ms

bajo que Aura.

2. . Martha no tiene un nivel acadmico ms bajo que Aura.

3. Si Jaime y Lina tienen el mismo promedio, entonces Jaime est con un promedio ms

alto que Pablo


9

Conclusin

4. Por consiguiente Jaime y Lina no tienen el mismo promedio.

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

Pantallazo de la comprobacin de la tabla de verdad con el simulador TRUTH


11

Conclusiones

Realizar esta actividad me ha permitido ampliar mis conocimie ntos y profundizarlos en

relacin al uso de las reglas de inferencia, permitindome de este modo poder realizar algunos

ejemplos de un tipo de demostracin de la lgica matemtica y de una ley de inferencia.

La situacin problemica me llevo a analizar, el enunciado para de este modo poder extraer las

premisas tiles y necesarias para la representacin en la tabla de verdad y por consiguiente la

confirmacin en el simulador truth.


12

Referencias bibliogrficas

Maia M,(2012) Lgica Proposicional, Teoremas y Demostraciones

Recuperado de:

https://upload.wikimedia.org/wikipedia/commons/b/b4/Logica_y_demostraciones.pdf

Ortega I,(2014) Los contraejemplos en la matemtica

Recuperado de:

http://isacalcula.blogspot.com.co/2014/02/los-contraejemplos-en- la-matematica.html

Rosales A, (2015) Historia de matemticas-contraejemplos en matemticas

Recuperado de:

Vol_V_num_2/hist_mat_contraej.pdf

Soler J,(2012) Capitulo 5: tablas de verdad y contraejemplo

Recuperado de:

http://blogs.ua.es/jabibics/2011/01/04/capitulo-5-tablas-de-verdad- y-

contraejemplo/comment-page-1//

Gonzlez F,(2005) Apuntes de Lgica Maten tica 3. Razonamientos y

Demostraciones

Recuperado de:

http://www2.uca.es/matematicas/Docencia/ESI/1711051/Apuntes/Leccion3.pdf

El pensante (2016). El dilema constructivo. Bogot: E-Cultura Group.

Recuperado de:

https://educacion.elpensante.com/el-dilema-constructivo/