UNIDAD 3: PASO 3 - USO DE LAS REGLAS DE INFERENCIA

ALUMNO
JAIRO STEVEN ZAMORA SANCHEZ
COD: 1121963008

TUTOR
SERGIO ANDRES TRUJILLO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

GRUPO: 200611_693
FECHA 25/11/2017
 OBJETIVO GENERAL
identificar y utilizar en forma clara las reglas de inferencia lgica por induccin y
deduccin en formulaciones y demostraciones de razonamientos vlidos en
situaciones especficas del mundo real
OBJETIVO ESPECIFICOS:
Ingresar al foro de Interaccin y produccin intelectual Paso tres Uso de las Reglas
de Inferencia y publicar un mensaje en el cual comparta a sus compaeros la
terminologa de tipos de demostracin lgica seleccionada, la terminologa de las
reglas de inferencia seleccionada, el problema de aplicacin de la validez de un
razonamiento seleccionado y la terminologa del lgebra de Boole seleccionada.
realizar una lectura clara y reflexiva de los enunciados para identificar las temticas
que se aplicarn en el desarrollo de las tareas seleccionadas. Para este fin debe
ingresar al Entorno de Conocimiento y consultar los documentos bibliogrficos de la
Unidad Tres
Desarrollar todos los puntos de la gua de actividades para de esta manera ampliar
nuestros conocimientos y poder obtener la calificacin mas alta posible
 INTRODUCCION
A continuacin, encontraremos la conceptualizacin y tres ejemplos de la
terminologa demostracin en la lgica matemtica (Demostracin por
Contraejemplo), terminologas de las leyes de inferencia (Ley de Adicin y Tollendo
Ponens), una presentacin en prezi de la terminologa lgebra de Boole
(Compuertas Lgicas). Y adems el Planteamiento y resolucin de los problemas
de enunciados tipo argumento del Anexo 1 (utilizando las operaciones necesarias
de las tablas de verdad) y la aplicabilidad de las leyes de inferencia lgica.
1. DEMOSTRACIONES POR CONTRAEJEMPLO
El mtodo por contraejemplo se aplica de manera muy particular para demostrar la
falsedad de proposiciones cuya hiptesis est construida mediante un "cuantificador
universal". Esto es, se aplica para demostrar la falsedad de una proposicin que
tenga una conclusin referida para "todos los elementos de un cierto conjunto"
Qu entender por un contraejemplo?
Para demostrar la falsedad de proposiciones de este tipo, basta exhibir un elemento
que satisfaga la hiptesis de la proposicin, pero que no satisfaga su conclusin. A
dicho elemento se le conoce con el nombre de contraejemplo.
El uso del contraejemplo es muy til cuando uno se encuentra ante una proposicin
con cuantificador universal, de la cul no se sabe si es verdadera o falsa.
La primera idea es buscar un contraejemplo. Si no se encuentra en una primera
instancia, se intentar demostrar su veracidad aplicando los otros mtodos o una
combinacin de ellos.
Ejemplos:
a. todos los espaoles son morenos, no es cierta, es claro que lo ms fcil que
podemos hacer es presentar un espaol rubio. sta es la demostracin por
contraejemplo y el espaol rubio es el contraejemplo.
b. consideremos la proposicin "todos los escritores son inteligentes". Como esta
proposicin dice que una cierta propiedad (inteligencia) es vlida para todos los
escritores, incluso un solo escritor tonto probar su falsedad. En este caso, un
escritor tonto es un contraejemplo a "todos los escritores son inteligentes"..

c. todos los alumnos de la clase son morenos Si encontramos uno que

no lo sea estara demostrada la falsedad de la afirmacin y por lo tanto
y alumno blanco sera el contraejemplo.
2. LEY DE ADICIN Y TOLLENDO PONENS
Ley de la adicin dado un enunciado cualquiera, es posible expresarlo como una
eleccin (disyuncin) acompaado por cualquier otro enunciado.
EJEMPLOS:
a. He comprado manzanas a
He comprado manzanas o he comprado peras. a V b
b. he ido al parque a
He ido al parque o he ido al zoolgico a V b
c. jugu futbol a
Jugu futbol o jugu tenis a V b
El modus tollendo ponens (latn: "el modo que, al negar, afirma")1 o silogismo
disyuntivo (tambin conocido como eliminacin de la disyuncin o eliminacin del
"o", abreviado E), es, en lgica clsica, una forma de argumento vlida que
contiene una declaracin disyuntiva en una de sus premisas, y en lgica
proposicional, una regla de inferencia vlida.
El modus tollendo ponens o silogismo disyuntivo establece que, si se nos dice que
al menos una de las dos proposiciones es verdadera; y tambin se nos dijo que no
es la primera la que es verdadera; se puede inferir que debe ser la ltima la que es
verdadera. Es decir, si P o Q es verdadero y P es falso, entonces Q es verdadero.

El modus tollendo ponens puede escribirse formalmente como:

donde cada vez que aparezcan las instancias de "P V Q" y "P" en las lneas de
una demostracin, se puede colocar "Q" en una lnea posterior.
EJEMPLOS:
a. O el incumplimiento es una violacin de seguridad, o no est sujeto a multas.
pVq
El incumplimiento no es una violacin de seguridad p PVQ, P
Por lo tanto, no est sujeto a multas q q

b. He ido al cine o me he ido de compras p V q

PVQ, P
No he ido de compras q
P
Por tanto, he ido al cine p

c. he desayunado o he almorzado p V q
PVQ, P
no he almorzado q
P
Por tanto he desayunado p
3. PRESENTACIN EN PREZI
LINK: https://prezi.com/view/Ro4L8nYBo623SpMjH029/
4. Anexo Numero 5
Los estudiantes del programa de Ingeniera de Alimentos de la UNAD, al matricular
el curso de Fsica General deben asistir al componente prctico. Marcela hace el
siguiente anlisis de la situacin que se le ha presentado al conocer las fechas en
que debe asistir. Si las prcticas de laboratorio son el prximo domingo entonces
asisto a la universidad. Si realizo los experimentos entonces entrego el informe de
laboratorio. Asisto a la universidad y entrego el informe de laboratorio entonces
obtengo un puntaje sumativo para la nota. No obtengo un puntaje sumativo para la
nota. Por lo tanto, no realizo los experimentos o las prcticas de laboratorio no son
el prximo domingo. Determinar con el uso de las dos formas de la tabla de verdad
la validez del razonamiento y hacerlo tambin con el uso de las leyes o reglas de
inferencia.
Proposiciones simples
p: las prcticas de laboratorio son el prximo domingo
q: asisto a la universidad
r: realizo los experimentos
s: entrego el informe de laboratorio
t: obtengo un puntaje sumativo para la nota.
Proposiciones compuestas
Premisa 1: Si las prcticas de laboratorio son el prximo domingo entonces asisto
a la universidad
Premisa 2: Si realizo los experimentos entonces entrego el informe de laboratorio
Premisa 3: Asisto a la universidad y entrego el informe de laboratorio entonces
obtengo un puntaje sumativo para la nota
Premisa 4: No obtengo un puntaje sumativo para la nota.
Conclusin: no realizo los experimentos o las prcticas de laboratorio no son el
prximo domingo
Lenguaje formal:

{( ) ( ) [( ) ] } ( )
 Tabla de verdad
p q r s t p r (pq) q (q {(pq)(r {(pq) r {(pq)(rs
p q r s t (rs) s) s)[(qs)t] (rs)[(q )[(qs)t]
q s s t s)t]t} p t}(rp)

v v v v v f f f f f v v v v V v f f v
v v v v f f f f f v v v v v F f f f v
v v v f v f f f v v v f f f V f f f v
v v v f f f f f v v v f f f V f f f v
v v f v v f f v v v v v v v V v v v v
v v f v f f f v v v v v v v F f f v v
v v f f v f f v v v v v v f V v v v v
v v f f f f f v v v v v v f V v v v v
v f v v v f v f v v f v f f V f f f v
v f v v f f v f v v f v f f V f f f v
v f v f v f v f v v f f f f V f f f v
v f v f f f v f v v f f f f V f f f v
v f f v v f v v v v f v f f V f f v v
v f f v f f v v v v f v f f V f f v v
v f f f v f v v v v f v f f V f f v v
v f f f f f v v v v v v v f V v v v v
f v v v v v f f v v v v v v V v v v v
f v v v f v f f v v v v v v F f f v v
f v v f v v f f v v v f f f V f f v v
f v v f f v f f v v v f f f V f f v v
f v f v v v f v v v v v v v V v v v v
f v f v f v f v v v v v v v F f f v v
f v f f v v f v v v v v v f V v v v v
f v f f f v f v v v v v v f V v v v v
f f v v v v v f v v v v v f V v v v v
f f v v f v v f v v v v v f V v v v v
f f v f v v v f v v v f f f V f f v v
f f v f f v v f v v v f f f V f f v v
f f f v v v v v v v v v v f V v v v v
f f f v f v v v v v v v v f V v v v v
f f f f v v v v v v v v v f V v v v v
f f f f f v v v v v v v v f V v v v v
El anterior argumento da tautologa, por lo cual podemos acudir a las leyes de inferencia para comprobar puesto que solo
son comprobables con las leyes de inferencia aquellos que dan tautologa
 DEMOSTRACION POR LEYES DE INFERENCIA

{( ) ( ) [( ) ] } ( )
1:
2:
3: ( )
4:

5: ( ) Modus Tollendo tollens (MTT) (3) (4)

6: Ley de Morgan (DM) (5)
7: Silogismo Disyuntivo (SD) (1) (2) (6)

8: Ley Conmutativa (LC) (7)

CONCLUCION
 CONCLUCIONES
Se socializo la conceptualizacin y tres ejemplos de los temas: Demostracin por
Contraejemplo y Ley de Adicin y Tollendo Ponens, se indago sobre las
terminologas del lgebra de Boole y se realiz una presentacin en prezi
Adems, se plante y se solucion el problema de enunciados tipo argumento
anexo 5 (utilizando las operaciones necesarias de las tablas de verdad) y la
aplicabilidad de las leyes de inferencia lgica
Se adquiri muchos conocimientos nuevos como leyes de inferencia y dems teora
sobre el algebre de Boole y sus compuertas lgicas las cuales me sern muy tiles
en un futuro para desarrollar problemas personales como en el mbito laboral y
estudiantil
 BIBLIOGRAFA
Tomado de Captulo 2 Sobre la demostracin pgina 17:
http://www.mat.ucm.es/catedramdeguzman/old/05edumat/inicquehacermat/cap2ve
r.pdf

Tomado de contraejemplo:
https://es.wikipedia.org/wiki/Contraejemplo
Tomado de mtodo por contraejemplo:
http://newton.matem.unam.mx/calculo1/Logica/l_logica11_d.html
Tomado de (Curso Matemticas Discretas) ley de la adiccin
https://sites.google.com/site/cursomatematicasdiscretas/3-1-
proposicion
Tomado de Wikipedia Modus tollendo ponens
https://es.wikipedia.org/wiki/Modus_tollendo_ponens
Tomado de reglas de inferencia modus tollendo ponens (tp) y ley de la adicin
(la) http://lgicaepn.blogspot.com.co/2011/12/reglas-de-inferencia.html
Tomado de compuertas lgicas de:
http://www.profesormolina.com.ar/electronica/componentes/int/comp_log.htm