USO DE LAS REGLAS DE INFERENCIA

__________________

CODIGO: ___________

__________________

TUTOR

GRUPO: ______________

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

BOGOTA, CUNDINMARCA

NOVIEMBRE 28 DE 2017

1
INTRODUCCIÓN

Consiste en desarrollar la temática respecto a proposiciones simples y compuestas, tablas de

verdad, métodos de demostración, razonamientos lógicos, inferencia lógica y argumentos lógicos,
participando con aportes propios, proporcionando un aprendizaje basado en problemas. Utilizando
diferentes ayudas en libros, artículos físicos, de tal manera de ampliar y fortalecer nuestro
conocimiento y profundización y así llegar a la solución de problemas, auto gestionando los
conceptos y procedimientos operativos.

2
OBJETIVOS GENERAL Y ESPECÍFICOS

General

Con esta actividad logramos como estudiantes identificar y utilizar en forma clara las reglas de
inferencia lógica por inducción y deducción en formulaciones y demostraciones de razonamientos
válidos en situaciones específicas.

Específicos

 Identificar y conceptualizar los diferentes tipos de leyes de inferencia lógica y sus

respectivas representaciones en las tablas de verdad.

 Conceptualizar los procesos de demostración lógica y clasificarlos en directas e indirectas.

 Interpretar un enunciado tipo argumento de una situación probémica del mundo real y
demostrar su validez a través de las tablas de verdad y de las leyes de inferencia.

3
PRIMERA ETAPA: DEMOSTRACIÓN POR CONTRAEJEMPLO

Este método se aplica de manera muy particular para demostrar la falsedad de proposiciones cuya
hipótesis está construida mediante un “cuantificador universal”. Esto es, se aplica para demostrar
la falsedad de una proposición que tenga una conclusión referida para “todos los elementos de un
cierto conjunto”.

Para demostrar la falsedad de proposiciones de este tipo, basta exhibir un elemento que satisfaga
la hipótesis de la proposición, pero que no satisfaga su conclusión. A dicho elemento se le conoce
con el nombre de Contraejemplo.

Ejemplo 1.

Si n es un entero primo entonces n es impar.

Es una implicación falsa porque n = 2 es primo y sin embargo es par.

Ejemplo 2.

El cuadrado de todo número impar es par.

Se debe encontrar un número impar cuyo cuadrado sea impar,52 = 25 queda refutada la
proposición.

Ejemplo 3.

La suma de dos números compuestos siempre es un número compuesto.

Es una implicación falsa, porque 4 + 9 = 13.

4
SEGUNDA ETAPA: SIMPLIFICACIÓN Y LEY DE LA CONJUNCIÓN

Regla que se aplica a proposiciones unidas con "y". Como ambas premisas son ciertas por tanto la
conclusión también lo será es por ello que esta regla nos permite pasar de una conjunción a cada
una de las proposiciones.
Si disponemos de un enunciado formado por dos miembros unidos por una conjunción, podemos
hacer de los dos miembros dos enunciados afirmados por separado.

𝑝⋀𝑞
Forma Esquemática: 𝐶𝑂𝑛𝑑𝑖𝑐𝑖𝑜𝑛𝑎𝑙 𝐴𝑠𝑜𝑐𝑖𝑎𝑑𝑎 = (𝑝⋀𝑞) → 𝑝
𝑝

Ejemplo:
1. p Λ q “Tengo una manzana y tengo una pera”

p “Tengo una manzana”

q “Tengo una pera”

2. p "Juan es cocinero"
q "Pedro es policía"
p^q "Juan es cocinero y Pedro es policía"

3. p “está lloviendo
q “el sol brilla”
p^q “Está lloviendo y el sol brilla, por lo tanto, está lloviendo.

5
TERCERA ETAPA

4. Las naciones siempre quieren tener más y más poder y así controlar las riquezas naturales del
mundo; por ejemplo, Estados Unidos quiere a toda costa tener el control de las riquezas naturales
de países de los demás continentes. Por lo anterior: “Si Estados Unidos envía soldados a Corea,
será el único país americano que lo haga. Si Estados Unidos envía soldados a Corea, los americanos
residentes en ese país están en peligro. Estados Unidos envía soldados a Corea. Luego, Estados
Unidos es el único país americano que envía soldados a Corea y los americanos residentes están
en peligro”. Determinar con el uso de las dos formas de la tabla de verdad la validez del
razonamiento y hacerlo también con el uso de las leyes o reglas de inferencia.

[(p→q) ∧ (p→r)] →q∧r

1 p→q

2 p→r conclusión q∧r

3 q∧r DS en 1,2

6
7
CUARTA ETAPA

APLICACIONES EN EL MUNDO REAL DEL ÁLGEBRA DE BOOLE

https://prezi.com/p/10cahxibkidq/

8
CONCLUSIÓN

Aprendí nuevas cosas que talvez nunca hubieran pasado por mi mente recordé cosas en un
momento ya las avía prendido pero que de una u otra forma las olvide el desarrollo de estos 4
ejercicios el donde me doy cuenta que si puedo ser alguien en la vida y que todo depende de la
lógica, que la matemática es lo primordial en este mundo siempre me he preguntado por que existió
la matemática cuál es su misión para con nosotros y aquí me doy cuenta de que sin ella no seriamos
nada ni nadie porque x muy mínimo que sea tu problema la lógica o matemática estarán hay para
ayudarte.