454 - Tarea - 1 - Diana Ojeda

Pensamiento Lógico Y Matemático
Unidad 1: Tarea 1 Métodos Para Probar Validez De Argumentos
Entregado por: Diana Ojeda Salinas
Código 764
Entregado a:
(Tutor)
Francisco Javier Reyes
Grupo: 200611_454
UNAD – Universidad Nacional Abierta y a Distancia

Escuela De Ciencias Sociales Artes Y Humanidades
04 -2020
Introducción
El presente trabajo se refiere a los métodos para probar la validez de argumentos el cual dice
que un argumento sea deductivamente válido, no es necesario que las premisas o la conclusión
sean verdaderas. Sólo se requiere que la conclusión sea una consecuencia lógica de las premisas.
La lógica formal exige únicamente una relación condicional entre las premisas y la conclusión.
por esa razón hemos realizado este trabajo para entender y conocer el lenguaje simbolico y
pasarlo al un lenguaje natural, realizando proposiciones simples y generando tablas de verdad
manualmente y utilizando el simulador de lógica para comprobar la veracidad del ejercicio
también podemos encontrar la aplicación de las reglas de la inferencia lógica y la identificación
de cada una de ellas, lo cual nos lleva a realizar una serie de ejercicios donde podemos analizar,
comprender e identificar los temas antes mencionados, por esta razón me parece importante el
estudio de estos argumentos que son necesarios para nuestro aprendizaje en un futuro como
profesional.
Objetivos
➢ conocer y aprender los métodos para probar validez de argumentos
➢ desarrollar habilidades de manejo de las tablas de verdad y reglas de inferencia
➢ identificar la ley de inferencia de cada expresión simbólica
➢ aplicar y construir lenguaje natural en una expresión simbólica

A Ejercicio 1: Proposiciones y Tablas de verdad
• Expresión formal o simbólica:
(𝑝 ∨ 𝑟)⋀(𝑝 ⟷ 𝑞)
p = El 2020 fue un año atípico para todo el mundo
q = El COVID19 afecto gran parte de la economía
r = El COVID19 nos hizo reinventar en muchos campos de acción
• Lenguaje natural de la expresión formal:
El 2020 fue un año atípico para todo el mundo o el COVID19 nos hizo reinventar en muchos
campos de acción. y el 2020 fue un año atípico para todo el mundo. sí y solo si el COVID19
afecto gran parte de la economía.
• Tabla de la verdad (manual):

2𝑛 = 23 = 8
𝒑 𝒒 𝒓 (𝒑 ∨ 𝒓) (𝒑 ⟷ 𝒒) (𝒑 ∨ 𝒓)⋀(𝒑 ⟷ 𝒒)
V V V V V V
V V F V V V
V F V V F F
V F F V F F
F V V V F F
F V F F F F
F F V V V V
F F F F V F
• Simulador Lógica UNAD:
• Resultado de la tabla de verdad:

Contingencia
A) Expresión Simbólica
𝑟→𝑠
𝑟 = 𝑀𝑜𝑑𝑢𝑠 𝑃𝑜𝑛𝑒𝑛𝑠
𝑟
𝑝→𝑞
¬𝑞
= 𝑀𝑜𝑑𝑢𝑠 𝑇𝑜𝑙𝑙𝑒𝑛𝑠
¬𝑝
𝑝→𝑞
𝑞→ 𝑟
= 𝑆𝑖𝑙𝑜𝑔𝑖𝑠𝑚𝑜 𝐻𝑖𝑝𝑜𝑡é𝑡𝑖𝑐𝑜
𝑝→𝑟
Link del video
https://www.youtube.com/watch?v=rODuh8Msh9o
2) Identificar la ley de inferencia que representa cada expresión simbólica.
Expresión simbólica
r→ s p→q p→q
r ¬q q→r
___________ _________ ________
s ¬p p→r
➢ Nombrar la ley de inferencia que representa cada expresión simbólica.
1) Modus ponens
2) Modus tollens
3) Silogismo Hipotética
Lenguaje natural.
P dayanna asiste a todas la web conferencia de la Unad
q: dayanna es muy responsable con las actividades de la universidad
r: dayanna pertenece al programa de psicología de la unad
s: dayanna es estudiante de la unad
Lenguaje natural.
1)si dayanna pertenece al programa de psicología de la unad entonces dayanna es estudiante
de la unad. Entonces si dayanna pertenece al programa de psicología de la unad. por lo tanto
dayanna es estudiante de la unad

2) Si dayanna asiste a todas la web conferencia de la Unad entonces dayanna es muy
responsable con las actividades de la universidad. No es cierto que dayanna es muy responsable
con las actividades de la universidad. No es cierto que dayanna asiste a toda la web conferencia
de la Unad
3)Si dayanna asiste a todas la web conferencia de la Unad entonces dayanna es muy
responsable con las actividades de la universidad. si dayanna es muy responsable con las
actividades de la universidad entonces dayanna pertenece al programa de psicología de la unad.
si dayanna asiste a todas la web conferencia de la Unad entonces dayanna pertenece al programa
de psicología de la unad
3: Aplicación de las reglas de la inferencia lógica
Identificar la conclusión del argumento
Nombrar la ley de inferencia que se aplica para probar el argumento.
Definir la expresión del argumento en lenguaje simbólico o formal.
A. Si Rafael va al gimnasio entonces Rafael tiene un cuerpo tonificado. Rafael va al gimnasio.
a. Conclusión: Rafael tiene un cuerpo tonificado
b. Ley de inferencia aplicada: modus ponendo ponens (pp)
c. Lenguaje simbólico: _ p→ q
_____r________
q
4) A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un
argumento para el desarrollo del ejercicio 4:
A. Expresión simbólica: {(𝒑 → ¬𝒓) ∧ (¬𝒒 → 𝒑) ∧ (𝒑 ∧ ¬𝒒)} → (𝒑 ∧ ¬𝒓)
Premisas:
P1: 𝒑 → ¬𝒓
P2: ¬𝒒 → 𝒑
P3: 𝒑 ∧ ¬𝒒
Conclusión: 𝒑 ∧ ¬r
P: valentina estudia ingeniería de sistema en la Unad
q: valentina aprobó el curso de lógica matemática
r: valentina se matriculo en la unad en el periodo 16-04
sí valentina estudia ingeniería de sistema en la unad entonces valentina no se matriculo en la
unad en el periodo 16-04. valentina no aprobó el curso de lógica matemática entonces valentina
si estudia ingeniería de sistema en la Unad. y valentina estudia ingeniería de sistema en la Unad
pero valentina no aprobó el curso de lógica matemática por lo tanto valentina estudia ingeniería
de sistema en la Unad y no se matriculo en la unad en el periodo 16-04

➢ Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel o
foto del desarrollo manual).
A: {(𝒑 → ¬𝒓) ∧ (¬𝒒 → 𝒑) ∧ (𝒑 ∧ ¬𝒒)} → (𝒑 ∧ ¬𝒓)
𝒑 𝒒 𝒓 ¬ ¬𝒓 𝒑 ( ¬q (𝒑 ∧ ¬𝒒 (𝒑 ∧ ¬r) {(𝒑 → ¬𝒓) ∧ (p→¬r) ((p→¬r) ∧ (¬𝒒→ 𝒑)

𝒒 ) (¬𝒒 → 𝒑) ∧(¬𝒒→p) ∧ ∧ (p ∧ ¬𝒒))
→ →p
(p∧¬q) →(p∧¬𝒓)
¬r )
v v v f f f v f f f f v
v v f f v v v f v v f v
v f v v f f v v f f f v
v f f v v v v v v v v v
f v v f f v v f f v f v
f v f f v v v f f v f v
f f v v f v f f f f f v
f f f v v v f f f f f v
➢ Demostración de la validez del argumento mediante las leyes de la inferencia lógica
P1: 𝒑 → ¬𝒓
P2: ¬𝒒 → 𝒑
P3: 𝒑 ∧ ¬𝒒
P4: P Simplificación p3
P5: ¬𝒓 modus ponens p1 y p4
P6: p∧¬𝒓 conjunción p4 yp5
Conclusión: 𝒑 ∧ ¬r
Conclusiones
Con este trabajo puedo concluir que logre los objetivos de conocer y comprender los métodos
para probar valides de argumentos lo cual me parece muy importante para mi aprendizaje
académico, puedo decir que este tema ha sido interesante y provechoso en mi formación como
futuro profesional.
Termino diciendo que desarrolle habilidades con la elaboración de ejercicios lo que me
permitió como estudiante ampliar conocimientos, analizar e identificar y ejecutar problemas
lógicos.
Referencias
Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de
álgebra lineal. Volumen I: conjuntos numéricos, complementos. (pp. 19-28). Madrid, España:
Editorial Tébar Flores. Recuperado de https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3226457&ppg=20
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp.
9-28). Ediciones Elizcom, Madrid. Recuperado de https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3199701&ppg=12

454 - Tarea - 1 - Diana Ojeda

Cargado por

Copyright:

Formatos disponibles

454 - Tarea - 1 - Diana Ojeda

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

454 - Tarea - 1 - Diana Ojeda

Cargado por

Copyright:

Formatos disponibles

Pensamiento Lógico Y Matemático

Unidad 1: Tarea 1 Métodos Para Probar Validez De Argumentos

Entregado por: Diana Ojeda Salinas

UNAD – Universidad Nacional Abierta y a Distancia

pasarlo al un lenguaje natural, realizando proposiciones simples y generando tablas de verdad

manualmente y utilizando el simulador de lógica para comprobar la veracidad del ejercicio

también podemos encontrar la aplicación de las reglas de la inferencia lógica y la identificación

➢ conocer y aprender los métodos para probar validez de argumentos

➢ desarrollar habilidades de manejo de las tablas de verdad y reglas de inferencia

➢ identificar la ley de inferencia de cada expresión simbólica

➢ aplicar y construir lenguaje natural en una expresión simbólica

• Expresión formal o simbólica:

p = El 2020 fue un año atípico para todo el mundo

q = El COVID19 afecto gran parte de la economía

r = El COVID19 nos hizo reinventar en muchos campos de acción

• Lenguaje natural de la expresión formal:

afecto gran parte de la economía.

• Tabla de la verdad (manual):

• Resultado de la tabla de verdad:

___________ _________ ________

➢ Nombrar la ley de inferencia que representa cada expresión simbólica.

q: dayanna es muy responsable con las actividades de la universidad

r: dayanna pertenece al programa de psicología de la unad

s: dayanna es estudiante de la unad

1)si dayanna pertenece al programa de psicología de la unad entonces dayanna es estudiante

de la unad. Entonces si dayanna pertenece al programa de psicología de la unad. por lo tanto

dayanna es estudiante de la unad

actividades de la universidad entonces dayanna pertenece al programa de psicología de la unad.

3: Aplicación de las reglas de la inferencia lógica

Identificar la conclusión del argumento

Nombrar la ley de inferencia que se aplica para probar el argumento.

Definir la expresión del argumento en lenguaje simbólico o formal.

A. Si Rafael va al gimnasio entonces Rafael tiene un cuerpo tonificado. Rafael va al gimnasio.

a. Conclusión: Rafael tiene un cuerpo tonificado

b. Ley de inferencia aplicada: modus ponendo ponens (pp)

P: valentina estudia ingeniería de sistema en la Unad

q: valentina aprobó el curso de lógica matemática

r: valentina se matriculo en la unad en el periodo 16-04

sí valentina estudia ingeniería de sistema en la unad entonces valentina no se matriculo en la

si estudia ingeniería de sistema en la Unad. y valentina estudia ingeniería de sistema en la Unad

de sistema en la Unad y no se matriculo en la unad en el periodo 16-04

A: {(𝒑 → ¬𝒓) ∧ (¬𝒒 → 𝒑) ∧ (𝒑 ∧ ¬𝒒)} → (𝒑 ∧ ¬𝒓)

𝒑 𝒒 𝒓 ¬ ¬𝒓 𝒑 ( ¬q (𝒑 ∧ ¬𝒒 (𝒑 ∧ ¬r) {(𝒑 → ¬𝒓) ∧ (p→¬r) ((p→¬r) ∧ (¬𝒒→ 𝒑)

Termino diciendo que desarrolle habilidades con la elaboración de ejercicios lo que me

permitió como estudiante ampliar conocimientos, analizar e identificar y ejecutar problemas

Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de

Editorial Tébar Flores. Recuperado de https://ebookcentral-proquest-

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp.

9-28). Ediciones Elizcom, Madrid. Recuperado de https://ebookcentral-proquest-

También podría gustarte

_______ _ ____