PENSAMIENTO LGICO Y MATEMTICO

PASO 3 USO DE LAS REGLAS DE INFERENCIA

ACTIVIDAD INDIVIDUAL

KAREN ECHVEZ VELASCO

GRUPO: 200611_170

TUTOR

HERNN LUIS AGAMEZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

VALLEDUPAR - CESAR

22 JUNIO 2017
 OBJETIVOS

Abordar conocimientos tericos y prcticos en la conceptualizacin del uso de la lgica

en anlisis problmicos haciendo uso de las reglas de inferencia.
Hacer uso adecuado de las tablas de verdad.
Aplicar correctamente las inferencias lgicas.
 INTRODUCCIN

Mediante la realizacin de este trabajo se busca comprender la nocin de la lgica, estudiando

y analizando los comportamientos del razonamiento que se toma para argumentar haciendo uso
de premisas para demostrar la veracidad de una proposicin con reglas de inferencia.

Se tratar todo lo relacionado con la unidad 3 en la que se trabajar sobre las inferencias
lgicas, apreciar nuevos trminos que nos ayudan a adquirir conocimientos en cuanto al tema y se
desarrollarn una serie de ejemplos que nos ayudarn a comprender mejor los temas expuestos
para esta actividad.
 PRIMERA ETAPA

DEMOSTRACIN POR CONTRAEJEMPLO

Un contraejemplo es la excepcin que confirma la regla. Los contraejemplos juegan un papel

clave para la compresin de las matemticas.

Un teorema es vlido en todos los casos en que, las hiptesis impuestas en el enunciado se
verifiquen. La negacin de un enunciado, se demuestra por la existencia de un caso en el que se
verifican las hiptesis siendo verdaderas, sin que lo sea la conclusin. La justificacin
matemtica de la falsedad de un enunciado se consigue mediante un contraejemplo.

En la mayora de los casos, un teorema necesita varias hiptesis, para comprenderlo es

importante estar convencido de la necesidad de cada una de ellas. El mtodo de la demostracin
por contraejemplo, se aplica de manera muy particular para demostrar la falsedad de
proposiciones cuya hiptesis est construida mediante un Cuantificador Universal. La principal
idea es buscar un contraejemplo. Si no se encuentra en una primera instancia, se intentara
demostrar su veracidad aplicando los otros mtodos o una combinacin de ellos.

Por ejemplo, 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".

Cuando se trata de demostrar que una cierta proposicin que se refiere a un conjunto M de
elementos, por ejemplo, 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.
Ejemplo 1:

La suma de dos nmeros compuestos debe ser un numero compuesto:

Ejemplo de apoyo Ejemplo contraejemplo

4+4=8 4+9=13
4+6=10
4+8=12

Ejemplo 2:

Todos los nmeros primos son impares:

Ejemplo de apoyo Ejemplo contraejemplo

Nmeros Los nmeros 9, 15 y 21, son impares y
primos: 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31 no son nmeros primos.

Ejemplo 3:

Si un nmero impar es mayor q 2, es primo.

Ejemplo de Apoyo Ejemplo Contraejemplo

Nmeros impares: 3, 5, 7, 9, 11, 13, 15, 17, Los nmeros 9 y 15, son impares y no son
19 primos.
 SEGUNDA ETAPA

MODUS PONENDO PONENS Y MODUS TOLLENDO TOLLENS

El Modus Ponendo Ponens y el Modus Tollendo Tollens, son clasificados como reglas de
inferencia, que son utilizadas continuamente en el lenguaje natural. Las usamos para obtener
conclusiones que consideramos normalmente vlidas.

Modus Ponendo Ponens

El Modus Ponendo Ponens (latn: el modo que, al afirmar, afirma) es una forma de
argumento vlido y una regla de inferencia en lgica proposicional. Se puede resumir como,
si P implica Q; y P es verdad; entonces Q tambin es verdad.

El Modus Ponendo Ponens pueden establecerse formalmente como:

Donde la regla es, cuando "P Q" y "P" aparezcan por s mismos en una misma lnea de una
prueba lgica, Q puede ser escrito vlidamente en una lnea subsiguiente. Ntese que la premisa
de P y la implicacin se disuelven, siendo su nico rastro el smbolo Q que se mantiene para su
uso posterior, por ejemplo, en una deduccin ms compleja.

Un ejemplo de Modus Ponendo Ponens es:

Si est lloviendo, te espero dentro del teatro.

Est lloviendo.
Por lo tanto, te espero dentro del teatro.
Modus Tollendo Tollens

El Modus Tollendo Tollens (en latn, modo que negando niega), es una forma de
argumento vlida y una regla de inferencia en lgica proposicional. Es una aplicacin de la
verdad general de que, si una declaracin es vlida, tambin lo es su contraposicin.

La regla de inferencia Modus Tollendo Tollens establece que si una primera

afirmacin implica una segunda afirmacin; y la segunda afirmacin no es verdadera; se
puede inferir que la primera no puede ser verdadera. Es decir, si P Implica Q; y Q no es
verdadera; entonces P tampoco es verdadera.

Esta regla se puede afirmar formalmente como:

Donde significa implica , significa "no es el caso. Entonces, se puede

colocar vlidamente en una lnea posterior.

Un ejemplo de Modus Tollendo Tollens es:

Si el agua hierve, entonces soltara vapor.

No suelta vapor.
Por lo tanto, no est hirviendo el agua.

Otro ejemplo sera:

Si est lloviendo, te espero dentro del teatro.

No te espero dentro del teatro.
Por lo tanto, no est lloviendo.
 TERCERA ETAPA

SITUACIONES PROBLMICAS DE LA INFERENCIA LGICA FASE INDIVIDUAL

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.

Solucin

Variables:

:
:
:
:

Se prueba validez por Tabla de Verdad

{[( ) ()] ( )} ()

( )

()

( )

()
 ( ) () ( ) () ( ) [( ) ()] ( ) () {[( ) ()] ( )} ()
V V V V V F F V F F V
V V V F V F F V F V V
V V F V V V V V V F F
V V F F V V V V V V V
V F V V F F F V F F V
V F V F F F F V F V V
V F F V F V F V F F V
V F F F F V F V F V V
F V V V V F F F F F V
F V V F V F F V F V V
F V F V V V V F F F V
F V F F V V V V V V V
F F V V V F F F F F V
F F V F V F F V F V V
F F F V V V V F F F V
F F F F V V V V V V V

Argumento no vlido
 Simulador Truth Table

Se prueba validez por Reglas de Inferencia

( )

()

( )

()

Cuarta premisa: ( )

Teniendo en cuenta las anteriores premisas y aplicando las diferentes leyes de inferencia,
notamos que no existe resultado para la comprobacin de:

()
 CONCLUSIONES

Gracias a este trabajo conceptualizamos trminos nuevos sobre demostraciones lgicas y

sobre leyes de inferencia, lo cual nos ayud a comprender mejor la manera correcta de desarrollar
la gua.

Se pudo afianzar los conocimientos adquiridos de la unidad 3 relacionado con la inferencia

lgica y las tablas de verdad lo cual nos permiti a partir de dicha tabla hacer el uso correcto de
las reglas de inferencia, siendo este el propsito de la gua. Pudimos ver sus diferentes casos
como es el proceso para determinar si una proposicin lgica es vlida a partir de las reglas de
inferencia y como el uso de las tablas de verdad es importante para poder comprender el tema de
la mejor manera.
 BIBLIOGRAFA

Rodrguez, V. R. (2013). "... El ser humano vive inmerso en la naturaleza". ProQuest

(Ed). Conjuntos numricos, estructuras algebraicas y fundamentos de lgebra lineal.
Volumen I: conjuntos numricos, complementos. (pp. 17-29). Madrid, Espaa: Editorial
Tbar Flores. http://hdl.handle.net/10596/6534 Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=18&docID=10995
629&tm=1489710145734

Bustamante A. A. (2009). "Un argumento geomtrico para demostrar el Teorema de

Pitgoras". En ProQuest (Ed). Lgica y Argumentacin: De los argumentos inductivos a
las lgebras de Boole. 1. Edicin. (pp. 9-54). Mxico D.F., Mxico: Editorial Pearson.
Recuperado de: http://hdl.handle.net/10596/7960

Zazueta B. L. Clix L. C. (2008). "Qu es una tabla de verdad?" Lgica II. Primera
Edicin. (pp. 91 197). Mxico D.F., Mxico: Universidad Autnoma de Sinaloa.
Recuperado de: http://hdl.handle.net/10596/7963

Villalpando, B. J. F. (2000). "... como observa las proposiciones p y q". En ProQuest (Ed).
Matemticas discretas: aplicaciones y ejercicios. (pp. 29 38). Guadalajara, Mxico:
Larousse - Grupo Editorial Patria. http://hdl.handle.net/10596/6544 Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=11013570&ppg
=30

Giraldo, J. (2016) Uso de las Leyes de Inferencia en la demostracin de la validez de un

argumento. Recuperado de http://hdl.handle.net/10596/7964