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

PROPOSICIONES SIMPLES

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)

PROPOSICIONES SIMPLES

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