2572 Tarea 1

tarea -1 métodos para probar la valides de argumentos
Gisel Alexandra valencia duque
Xesley pinilla
Universidad nacional abierta y a distancia
Pensamiento lógico matemático 200611
Administración de empresas
Puerto gaita (meta)
13-03-2022
Introducción
1
El presente trabajo va referido a las proposiciones y tablas de verdad, Identificación de las reglas de
la inferencia lógica, se proporcionan problemas la cual TIENEN SU respectivo DESARROLLO Y
se aplican ciertas reglas y tablas DE VERDAD.
2
Objetivos
 Aplicar CADA UNA DE LAS REGLAS DE INFERENCIA y tablas de verdad
 Aumentar el aprendizaje de los estudiantes
 Encontrar una mejor forma de poner en práctica lo aprendido
3
Ejercicio 1: proposiciones y tablas de verdad.
Escojo la letra c
Proposiciones simples
p: Sofía se inscribió en la UNAD
Q: Sofía estudia música
r: a Sofía le gusta el aprendizaje autónomo
. lenguaje simbólico
(𝑝 ∧ 𝑞) ⟷ 𝑟
. Lenguaje natural
Sofia se inscribió en la UNAD y Sofia estudia música si y solo si a Sofia le gusta el aprendizaje autónomo.
. Tabla de verdad manual
p q r 𝑝∧𝑞 ⟷r (𝑝 ∧ 𝑞) ⟷ 𝑟
V V V V V V
V V F V F F
V F V F V F
V F F F F V
F V V F V F
F V F F F V
F F V F V F
F F f F F V
Se clasifica como: contingencia

TABLA DE VERDAD SIMULADOR UNAD
p q r (p ∧ q) ↔ r
v v v V
v v f F
v f v F
v f f V
F v v F
F v f V
F f v F
F f f V
4
https://youtu.be/npvGt08OQqg
Ejercicio-2 Identificación de las reglas de la inferencia lógica
C. Expresión simbólica
¬s→
r→t
¬s→t
LEY DE LA INFERENCIA DE LA EXPRESION: silogismo hipotético
PROPOSICIONES SIMPLES
s. Camila trabaja en el banco BBVBA
r. Camila estudia administración de empresas en la UNAD
t. Camila le gusta rendir su tiempo para realizar sus deberes
LENGUAJE NATURAL
Si Camila no trabaja en el banco BBVBA entonces si Camila estudia administración de empresas en la UNAD
entonces Camila le gusta rendir su tiempo para realizar sus deberes . por lo tanto , si Camila no trabaja en el
banco BBVBA entonces Camila le gusta rendir su tiempo para realizar sus deberes
Expresión simbólica
¬q
p ∧ ¬q
LEY DE LA INFERENCIA DE LA EXPRESION: conjunción o adjunción
p. el libro está muy interesante
q. el libro habla de las ciencias sociales
lenguaje natural
el libro está muy interesante, el libro no habla de las ciencias sociales. por lo tanto, el libro esta muy
interesante y no habla de las ciencias sociales
5
EXPRESION SIMBOLICA
r ∨ ¬s
LEY DE LA INFERENCIA DE LA Expresión: modus tollendo tollens (TT)
r. el helicóptero se dirige para Villavicencio
s. el helicóptero partió a las 12 pm
lenguaje natural
el helicóptero se dirige para Villavicencio o el helicóptero no partió a las 12 pm. El helicóptero

partió a las 12 pm. por lo tanto, el helicóptero se dirige para Villavicencio
ejercici-3 descripción
argumento
En el almuerzo de hoy comeré mojarra frita con arroz de coco o un mote de ñame con suero. En el
almuerzo de hoy no comeré un mote de ñame con suero
Lenguaje simbólico
P. en el almuerzo de hoy comeré mojarra frita con arroz de coco
q. comeré un mote de ñame con suero
𝑝∧𝑞
~𝑞
LEY DE LA INFERENCIA aplicada: modus tollendo ponens (MTP)
CONCLUSION: en el almuerzo de hoy comeré mojarra frita con arroz de coco
Ejercicio-4 problemas de aplicación
6
Expresión simbólica:
[(𝑝 → ¬𝑞) ∧ (𝑞 ∨ ¬𝑟) ∧ 𝑟] → ¬𝑝
Premisas:
P1: 𝑝 → ¬𝑞
P2: 𝑞 ∨ ¬𝑟
P3: 𝑟
Conclusión: ¬𝑝
Proposiciones simples:
p. Alexandra estudia en el día
q. Alexandra maneja su tiempo
r. Alexandra se atrasa en las actividades
lenguaje natural
p q r ¬p ¬q ¬r 𝑝→ 𝑞∨ (𝑝 → ¬𝑞) ∧ (𝑞 ∨ [(𝑝 → ¬𝑞) ∧ (𝑞 ∨ ¬𝑟) [(𝑝 → ¬𝑞) ∧ (𝑞 ∨ ¬𝑟)

¬𝑞 ¬𝑟 ¬𝑟) ∧ 𝑟] ∧ 𝑟] → ¬𝑝
V V V F F F F V F F V
V V F F F V F V F F V
V F V F V F V F F F V
V F F F V V V V V F V
F V V V F F V V V V V
F V F V F V V V V F V
F F V V V F V F F F V
F F F V V V V V V F V
sí Alexandra estudia en el día entonces Alexandra no maneja su tiempo. Alexandra maneja su

tiempo o Alexandra no se atrasa en las actividades. Por lo tanto, Alexandra no estudia en el día
Tabla de verdad
7
Se clasifica como tabla de tautología
Tabla de verdad simulador UNAD
p q r [(p→~q) ∧(q∨~r) ∧r)]→~p

v v v V
v v f V
v f v V
v f f V
f v v V
f v f V
f f v V
f f f V Demostración de la validez del
argumento mediante las Leyes de Inferencia:
P1: 𝑝 →¬𝑞
P2: 𝑞 ∨ ¬𝑟
P3: 𝑟
𝑞 ∨ ¬𝑟
𝑟
𝑞
P4: 𝑞 ………… Modus Tollendo Ponens entre P2 y P3
𝑝 →¬ 𝑞
¬𝑝
P5: ¬𝑝 ……… Modus Tollendo Tollens entre P1 y P4
8
CONCLUSIONES
tal y como hemos podido comprobar encontramos 4 ejercicios desarrollados aplicando las reglas de
inferencia y tablas de verdad
9
referencias bibliográficas
Castaño, C. (2017). OVI. Leyes de inferencia. Repositorio

Institucional UNAD. http://hdl.handle.net/10596/13869
Castaño, C. (2017). OVI. Proposiciones y tablas de

verdad. Repositorio Institucional
UNAD. http://hdl.handle.net/10596/13871
Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones

y ejercicios. (pp. 19-39). Larousse - Grupo Editorial
Patria https://elibro-net.bibliotecavirtual.unad.edu.co/es/eread
er/unad/39454?page=30
10

2572 Tarea 1

Cargado por

Copyright:

Formatos disponibles

2572 Tarea 1

Cargado por

Información del documento

Descripción original:

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

2572 Tarea 1

Cargado por

Copyright:

Formatos disponibles

tarea -1 métodos para probar la valides de argumentos

Gisel Alexandra valencia duque

Universidad nacional abierta y a distancia

Pensamiento lógico matemático 200611

Puerto gaita (meta)

 Aplicar CADA UNA DE LAS REGLAS DE INFERENCIA y tablas de verdad

 Aumentar el aprendizaje de los estudiantes

 Encontrar una mejor forma de poner en práctica lo aprendido

Se clasifica como: contingencia

Ejercicio-2 Identificación de las reglas de la inferencia lógica

LEY DE LA INFERENCIA DE LA EXPRESION: silogismo hipotético

s. Camila trabaja en el banco BBVBA

r. Camila estudia administración de empresas en la UNAD

t. Camila le gusta rendir su tiempo para realizar sus deberes

LEY DE LA INFERENCIA DE LA EXPRESION: conjunción o adjunción

p. el libro está muy interesante

q. el libro habla de las ciencias sociales

LEY DE LA INFERENCIA DE LA Expresión: modus tollendo tollens (TT)

r. el helicóptero se dirige para Villavicencio

s. el helicóptero partió a las 12 pm

el helicóptero se dirige para Villavicencio o el helicóptero no partió a las 12 pm. El helicóptero

P. en el almuerzo de hoy comeré mojarra frita con arroz de coco

q. comeré un mote de ñame con suero

LEY DE LA INFERENCIA aplicada: modus tollendo ponens (MTP)

CONCLUSION: en el almuerzo de hoy comeré mojarra frita con arroz de coco

Ejercicio-4 problemas de aplicación

[(𝑝 → ¬𝑞) ∧ (𝑞 ∨ ¬𝑟) ∧ 𝑟] → ¬𝑝

p. Alexandra estudia en el día

q. Alexandra maneja su tiempo

r. Alexandra se atrasa en las actividades

p q r ¬p ¬q ¬r 𝑝→ 𝑞∨ (𝑝 → ¬𝑞) ∧ (𝑞 ∨ [(𝑝 → ¬𝑞) ∧ (𝑞 ∨ ¬𝑟) [(𝑝 → ¬𝑞) ∧ (𝑞 ∨ ¬𝑟)

sí Alexandra estudia en el día entonces Alexandra no maneja su tiempo. Alexandra maneja su

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

P4: 𝑞 ………… Modus Tollendo Ponens entre P2 y P3

P5: ¬𝑝 ……… Modus Tollendo Tollens entre P1 y P4

Castaño, C. (2017). OVI. Leyes de inferencia. Repositorio

Castaño, C. (2017). OVI. Proposiciones y tablas de

Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones

También podría gustarte