UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

PASO 3 USO DE REGLAS DE INFERENCIA

RITA SOFA BETANCOURT RODRGUEZ CC 49.784.317

Grupo

200611_59

Tutor

GONZALO FESTER

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA-UNAD

PROGRAMA DE PSICOLOGA

VALLEDUPAR
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

OBJETIVOS

-Conocer y aplicar el Las Reglas de Inferencia mediante el desarrollo de ejercicios

propuestos de la vida diaria.

-Conceptualizar algunas de las terminologas de los diferentes tipos de demostracin en

la Lgica Matemtica

-Desarrollar ejercicios prcticos haciendo uso de Tablas de Verdad, as como la

aplicacin de la herramienta Truth Table, con el fin de resolver situaciones problmicas
que se presentan en la vida diaria.

-Aplicar adecuadamente las Reglas de Inferencia de acuerdo a cada ejercicio planteado.

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

INTRODUCCIN

Mediante el presente trabajo se darn a conocer conceptos muy importantes

relacionados con las Reglas de Inferencia y su aplicacin para la resolucin de
problemas de la vida diaria.

As mismo, mediante una presentacin en Prezi, se dar a conocer la definicin y

ejemplos del lgebra de Boole.

De igual manera se aplicarn los conocimientos adquiridos para resolver un ejercicio en

donde se debern emplear las Tablas de verdad y se pondrn en prctica las Reglas de
Inferencia apropiadas para su resolucin.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Etapa1: Conceptualizacin y ejemplos de alguna de las terminologas de los

diferentes tipos de Demostracin en la Lgica Matemtica

1. Demostraciones Directas e Indirectas

La Demostracin es un razonamiento que prueba la validez de un nuevo conocimiento;

es el enlace entre los conocimientos recin adquiridos y los conocimientos anteriores.
Los procedimientos de demostracin permiten establecer la conexin lgica entre las
proposiciones fundamentales de la teora, sus consecuencias sucesivas, hasta deducir
la conclusin o tesis que as se demuestre.

1.1 Demostracin directa: La demostracin directa de na proposicin t (teorema) es

un conjunto de proposiciones o premisas que son postulados o proposiciones de
validez aceptada y de las cuales se infiere t como consecuencia inmediata.

Ejemplo 1
Dadas las premisas: 1. ~
2.
Concluir: t. ~

Demostracin: puesto que rq es equivalente a ~q~r, se tiene la premisa 3. ~

~, Ahora, de las premisas 1 y 3 se puede concluir t, es decir, como ~ ~
~r,
Entonces p~r.

Ejemplo 2.
Demostrar que si x es impar, entonces que 2 es impar. El enunciado genera las
siguientes premisas:
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

1. x es impar
2. = 2 + 1 donde n es un entero

Hay que demostrar que 2 = (2 + 1)2 es impar

Demostracin: Si es impar, entonces = 2 + 1

Entonces, 2 = (2 + 1)2=42 + 4 + 1 esta expresin se puede escribir de la forma
2(22 + 2) + 1, tomando el trmino 22 + 2 como el entero m, se tiene que:
2 = (2 + 1)2 = 2 + 1, es decir, 2 es un nmero impar.

1.2 Demostracin Indirecta: Se realiza una demostracin indirecta cuando se

establece la validez de una tesis t probando que las consecuencias de su contraria son
falsas.

Ejemplo 1
Construir la demostracin indirecta de:
Si 2 es par, entonces es par, (con entero)
Suponga que existe al menos un entero tal que 2 es par y es impar.
Por el ejemplo 2 analizado en la demostracin directa, se sabe que si es impar,
entonces 2 es impar, luego es imposible que x sea impar y 2 sea par. Esa es la
contradiccin buscada.

2. Terminologa de las leyes de inferencia

2.1 Modus Ponendo Ponens: Este mtodo de inferencia establece que si una
implicacin es cierta, y adems lo es su antecedente, entonces su
consecuente es necesariamente verdadero.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Simblicamente se expresa as:

[( )]
-Ejemplo 1:
Premisa 1: Si Julin estudia Ingeniera de Sistemas a distancia, entonces l
estudia en la UNAD.
Premisa 2: Julin estudia Ingeniera de Sistemas a distancia.
Conclusin: Julin estudia en la UNAD
Simblicamente se expresa as:
Si:
: Julin estudia Ingeniera de Sistemas a distancia
: l estudia en la UNAD

Usando el Lenguaje simblico para este ejemplo:

Premisa 1:
Premisa 2:
Conclusin:

-Ejemplo 2:
Premisa 1: si + = , entonces, + =
Premisa 2: + =
Conclusin: + =

Simblicamente:
Si : + =
: + =
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Entonces:
Premisa 1:
Premisa 2:
Conclusin:

-Ejemplo 3:
Premisa 1: ~
Premisa 2: ~
Conclusin: s

2.2 Modus Tollendo Tollens

Esta regla de inferencia dice que si una implicacin es verdadera y su
consecuente es falso, entonces su antecedente ser necesariamente falso;
simblicamente se expresa as:
[( )^~] ~

-Ejemplo 1:
Premisa 1: Si un ngulo de un tringulo es mayor de 90, entonces la suma
de los otros dos ngulos es menor de 90.
Premisa 2: La suma de los otros dos ngulos no es menor de 90
Conclusin: Un ngulo de un tringulo no es mayor de 90
Simblicamente:
: Un ngulo de un tringulo es mayor de 90
: La suma de los otros dos ngulos no es menor de 90

Premisa 1:
Premisa 2: ~
Conclusin: ~
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

-Ejemplo 2:
Deducir una conclusin del conjunto de premisas.
Premisa 1: ~r
Premisa 2: ~(~)
Conclusin: ~

-Ejemplo 3:
Deducir una conclusin del conjunto de premisas.
Premisa 1:
Premisa 2: ~
Conclusin: ~

_____________________________________________________________
ENUNCIADO #1

1. Este ao 2017 se ha generado un gran caos por el paro de los docentes

del Magisterio a nivel nacional. Afortunadamente ya se llegaron a
negociaciones muy positivas para la educacin de todos nuestros nios y
jvenes. Un estudiante de grado once de cierto colegio hace la siguiente
reflexin: Si los acuerdos se cumplen, entonces, se termina el paro de
docentes. Si se termina el paro de docentes, el nivel de educacin incrementa
su calidad. Las discusiones terminan y los acuerdos se cumplen. Si los
problemas sociales de la juventud se agravan, el nivel de educacin no
incrementa su calidad. Si los problemas sociales no se agravan, entonces, la
excelencia acadmica se alcanza. Por lo tanto, las discusiones terminan y la
excelencia acadmica se alcanza. 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.

Planteamiento del ejercicio

En la lgica booleana es muy comn el uso de las tablas de la verdad, por medio de estas se
muestra el valor de verdad de una proposicin compuesta, para cada combinacin de verdad
que se pueda agregar.

Se afirma lo siguiente:
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

- Si los acuerdos se cumplen se termina el paro de docentes.

- Si se termina el paro de docentes, el nivel de educacin incrementa su calidad.

- Las discusiones terminan y los acuerdos se cumplen.

- Si los problemas sociales de juventud se agravan, el nivel de educacin no incrementa su

calidad.

- Si los problemas no se agravan, la excelencia acadmica se alcanza.

- Las discusiones terminan y la excelencia acadmica se alcanza.

Lo primero que debemos hacer es asignar una variable a cada proposicin del problema

p= Acuerdos se cumplen

q= Termina paro de docentes

r= Nivel de educacin incrementa calidad

s= Discusiones terminan

t= Problemas sociales de la juventud se agravan.

u= Excelencia acadmica se alcanzar.

Ahora que tenemos las 6 variables definidas junto con las afirmaciones del problema podemos
construir las tablas de la verdad segn sea el caso.

En esta oportunidad dos afirmaciones tiene un caso de conjuncin y cuatro tienen un

caso de condicional.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

La primera afirmacin "Si los acuerdos se cumplen se termina el paro de docentes" es

un condicional ya que hace uso de la estructura "Si___, ___", por lo tanto la tabla de la verdad
es la siguiente:

p | q | pq
V|V|V
V|F|F
F|V|V
F|F|V

La segunda afirmacin "Si se termina el paro de docentes, el nivel de educacin incrementa su

calidad." es un condicional ya que hace uso de la estructura "Si___, ___", por lo tanto la tabla
de la verdad es la siguiente:

q | r | qr
V|V|V
V|F|F
F|V|V
F|F|V

La tercera afirmacin "Las discusiones terminan y los acuerdos se cumplen.

" es una conjuncin ya que usa el operador lgico "y", por lo tanto la tabla de la verdad es la
siguiente:

s | p | sp
V|V|V
V|F|F
F|V|F
F|F|F

La cuarta afirmacin "Si los problemas sociales de juventud se agravan, el nivel de educacin
no incrementa su calidad.
" es un condicional ya que hace uso de la estructura "Si___, ___", es importante resaltar que
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

tambin se hace uso de la negacin, ya que en una de las dos preposiciones esta presente el
operador lgico "no" por lo tanto la tabla de la verdad es la siguiente:

_ _
t | r | tr
V|V|V
V|F|F
F|V|V
F|F|V

La quinta afirmacin "Si los problemas no se agravan, la excelencia acadmica se alcanza" es

un condicional ya que hace uso de la estructura "Si___, ___", es importante resaltar que
tambin se hace uso de la negacin, ya que en una de las dos preposiciones esta presente el
operador lgico "no" por lo tanto la tabla de la verdad es la siguiente:

_ _
t | u | tu
V|V|V
V|F|F
F|V|V
F|F|V

La sexta y ltima afirmacin "Las discusiones terminan y la excelencia acadmica se

alcanza. es una conjuncin ya que usa el operador lgico "y", por lo tanto la tabla de la verdad
es la siguiente:

s | u | su
V|V|V
V|F|F
F|V|F
F|F|F

Si por otro lado utilizamos las reglas de inferencia para analizar este problema, se partir
de las premisas suministradas, estas sern analizadas de acuerdo a su sintaxis y como
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

resultado se devolver una conclusin.

Premisa #1 + Premisa #2 .... + Premisa #n = Conclusin.

AB