Actividad 4 Razonamiento Matem Tico Pruebas de Inferencia y Deducci N

Actividad 4 - Razonamiento matemático: pruebas de inferencia y deducción
Juan Sebastian Lara Aros
Corporación universitaria Iberoamericana

Matemáticas discretas
2021
This study source was downloaded by 100000810485029 from CourseHero.com on 04-23-2022 19:07:00 GMT -05:00
https://www.coursehero.com/file/126832669/Actividad-4-Razonamiento-matem%C3%A1tico-pruebas-de-inferencia-y-deducci%C3%B3ndocx/
Tabla de contenido
1. Introducción…………………………………………………………………..
2. Análisis Combinatorio: Inferencia y deducción…………………………….
3. Ejercicios libro: Soto Aguilar, A. (2007). Matemáticas discretas. Universidad Estatal a
Distancia…………………………………………………………………………………………………………………
4. Conclusiones…………………………………………………………………………………………………………….
5. Bibliografía………………………………………………………………………………………………………………
1.Introducción:
El presente trabajo tiene como fin resolver ejercicios de inferencia y deducción
lógica, el desarrollo del taller es ordenado y se evidencia un procedimiento detallado en
cada uno de los ejercicios propuestos, adicionalmente se implementan 3 ejercicios del
libro de Matemáticas discretas. Universidad Estatal a Distancia.
2.Análisis Combinatorio: Inferencia y deducción.

1. Demostrar ¬N, como consecuencia lógica de las proposiciones dadas.
i. R→¬S
ii. R
iii. ¬S→Q
iv. Q→¬N
RTA =
R → ¬S Si se tiene R se tendrá la negación de S
R Se afirma R
∴ ¬S Por la afirmación de R se afirma la negación de S y seria
la proposición #5
v. ¬S MPP(i,ii)
¬S→Q Si se tiene la negación de S se tendrá Q

¬S Se afirma la negación de S
∴Q Por la afirmación de la negación de S se afirma Q y
sería la proposición #6
vi. Q MPP(iii,v)
Q→¬N Si se tiene Q se tendrá la negación de N

Q Se afirma Q
∴ ¬N Por la afirmación Q se afirma la negación de N y
sería la proposición #7 que sería la conclusión
vii. ¬N MPP(iv,vi)
2. Verifique que la conclusión (R & S ) es consecuencia de las premisas

dadas.
i. P → ¬Q
ii. Q
iii. ¬P→R & S
RTA =
P → ¬Q Si se tiene P se tendrá la negación de Q
Q Negando el antecedente P→¬Q niega el consecuente Q
∴ ¬P Si se niega Q entonces se niega P y sería la premisa #4
iv. ¬P MTT(i,ii)
¬P→R & S Si se tiene la negación de P se tendrá R y S

¬P Se afirma la negación de P
∴R&S Por la afirmación de la negación de P se afirma R y S
y sería la premisa #5 que sería la conclusión
v. R & S MPP(iii,iv)
3. Demostrar que x≠0, teniendo presente que x = 0 es su negación. Evitar la regla

de doble negación en la deducción.
i. x = y →x = z
ii. x = z →x = 1
iii. x = 0 →x≠1
iv. x = y
RTA =
Transitividad para la premisa v
v. x = y → x = 1 Transitividad
x = y → x = 1 Si se tiene la afirmacion x = y se tendrá x = 1

x=y Se afirma x = y
∴x=1 Por la afirmación x = y se afirma x = 1 y sería la
premisa #5
vi. x = 1 MPP(v,iv)
x=1 Se afirma x = 1
x = 0 →x≠1 Negando el antecedente x = 1 niega el consecuente
x=0
∴ x≠0 Si se niega x = 1 entonces se niega x = 0 y sería la
premisa #6 y la conclusión
vii. x≠0 MTT(vi, iii)
4. Probar que la conclusión ¬S & Q es consecuencia lógica de las premisas dadas.
i. ¬S → Q
ii. ¬(T & R)
iii. S → T & R
RTA =
iv. ¬S MTT(iii, ii)
v. Q MPP(i, iv)
vi. ¬S & Q LA(iv, v)
5. ¿Qué conclusión se puede deducir del conjunto de premisas dadas, utilizando la

regla TP?
i. O la energía interna de un átomo puede cambiar con la continuidad o
cambia sólo a saltos. La energía interna de un átomo no puede
cambiar con continuidad.
RTA =
P = La energía interna de un átomo puede cambiar con la continuidad
Q = La energía interna de un átomo cambia solo a saltos
i. P o Q
ii. ¬P
iii. P MTT(i, ii)
Se concluye que la energía interna de un átomo cambia solo a saltos
6. En el siguiente ejercicio, deduzca por medio de las reglas trabajadas la

consecuencia lógica en relación a las premisas dadas.
i. Si Juan es más alto que Pedro, entonces María es más baja que Juana.
María no es más baja que Juana. Si Juan y Luis tienen la misma estatura,
entonces Juan es más alto que Pedro. Por tanto, Juan y Luis no tienen la
misma estatura.
P = Juan es más alto que pedro
Q = María es más baja que Juana
R = Juan y Luis tienen la misma estatura
i. P → Q
ii. ¬Q
iii. R → P
RTA =
P→Q Si se tiene P se tendrá Q
¬Q
∴ ¬P Si se niega Q entonces se niega P y sería la premisa #4
iv. ¬P MTT(i, ii)
R→P Si se tiene R se tendrá la negación de P

¬P
∴ ¬R Si se niega P entonces se niega R y sería la premisa #5 y la
conclusión
v. ¬R MTT(iii, iv)
3. Ejercicios libro: Soto Aguilar, A. (2007). Matemáticas discretas. Universidad Estatal a

Distancia.
1. Considere las proposiciones p: hoy es lunes, q: el césped está mojado. Usando

conectivos escriba las proposiciones:
(a) Hoy es lunes y el césped está seco.
(b) El césped está mojado u hoy no es lunes.
RTA =
(a) p ∧ ¬q
(b) ¬p ∨ q
2. Establezca si el razonamiento es válido o no. En el caso de que sea válido,

identifique las tautologías en las que se basa:
Si voy en auto a mi trabajo entonces llegaré cansado.
Yo llego cansado a mi trabajo.
∴ Yo voy en auto a mi trabajo.
RTA =
Si se llama
p: Voy en auto a mi trabajo.
q: llego cansado.
El argumento se escribe:
((p → q) ∧ q) → p
Por lo tanto, no es un argumento válido pues dado que q es verdadera no es

posible deducir que p lo sea
3. Considere las proposiciones p y q, la disyunción de p y q corresponde a:
(a) p →q
(b) p ∧ q
(c) p ∨ q
(d) p ↔ q
RTA = (b) p ∧ q
4.Conclusiones:
“La proposición P —> Q es la misma, en cuanto a la forma lógica se refiere,

cualesquiera que sean las proposiciones en castellano que sustituyan a la P y a la Q. Los
términos de enlace determinan la forma de la proposición”
- Capitulo 2 inferencia lógica
5.Bibliografía:
 Soto Aguilar, A. (2007). Matemáticas discretas. Universidad Estatal a Distancia.
 http://www.dci.ugto.mx/~msabido/logica/2_a.pdf
Powered by TCPDF (www.tcpdf.org)

Actividad 4 Razonamiento Matem Tico Pruebas de Inferencia y Deducci N

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Actividad 4 Razonamiento Matem Tico Pruebas de Inferencia y Deducci N

Cargado por

Copyright:

Formatos disponibles

Actividad 4 - Razonamiento matemático: pruebas de inferencia y deducción

Juan Sebastian Lara Aros

Corporación universitaria Iberoamericana

2.Análisis Combinatorio: Inferencia y deducción.

¬S→Q Si se tiene la negación de S se tendrá Q

Q→¬N Si se tiene Q se tendrá la negación de N

2. Verifique que la conclusión (R & S ) es consecuencia de las premisas

¬P→R & S Si se tiene la negación de P se tendrá R y S

3. Demostrar que x≠0, teniendo presente que x = 0 es su negación. Evitar la regla

x = y → x = 1 Si se tiene la afirmacion x = y se tendrá x = 1

4. Probar que la conclusión ¬S & Q es consecuencia lógica de las premisas dadas.

5. ¿Qué conclusión se puede deducir del conjunto de premisas dadas, utilizando la

P = La energía interna de un átomo puede cambiar con la continuidad

Q = La energía interna de un átomo cambia solo a saltos

iii. P MTT(i, ii)

Se concluye que la energía interna de un átomo cambia solo a saltos

6. En el siguiente ejercicio, deduzca por medio de las reglas trabajadas la

Q = María es más baja que Juana

R = Juan y Luis tienen la misma estatura

R→P Si se tiene R se tendrá la negación de P

3. Ejercicios libro: Soto Aguilar, A. (2007). Matemáticas discretas. Universidad Estatal a

1. Considere las proposiciones p: hoy es lunes, q: el césped está mojado. Usando

(a) Hoy es lunes y el césped está seco.

(b) El césped está mojado u hoy no es lunes.

2. Establezca si el razonamiento es válido o no. En el caso de que sea válido,

Si voy en auto a mi trabajo entonces llegaré cansado.

Yo llego cansado a mi trabajo.

p: Voy en auto a mi trabajo.

Por lo tanto, no es un argumento válido pues dado que q es verdadera no es

3. Considere las proposiciones p y q, la disyunción de p y q corresponde a:

“La proposición P —> Q es la misma, en cuanto a la forma lógica se refiere,

- Capitulo 2 inferencia lógica

También podría gustarte