Tarea 1 – Métodos para probar la validez de argumentos

Nombre: Alejandra Lisette Quintero Santiago

Código del estudiante: 1044429887
No. De grupo: 200611_31

Nombre tutor: José Gregorio Solorzano

Universidad Nacional Abierta y a Distancia

Programa: Psicología
Curso Pensamiento lógico y matemático
Septiembre 2021
 Introducción

El presente trabajo se realiza para el cumplimiento de la tarea 1 de pensamiento lógico y

matemático, relacionada con la temática Métodos para probar la validez de argumentos.

Las matemáticas en general son fundamentales y no como suelen decir que lo son para

determinadas profesiones o actividades pues en todo momento nos encontraremos con ella

desde el momento de la compra de un artículo hasta en la realización del más mínimo

trabajo. La lógica matemática está relacionada con aquellos problemas del razonamiento

como tal, en ella podemos encontrar la elaboración e interpretación de las tablas de verdad,

las diversas leyes de inferencia dentro de las cuales puedo mencionar la ley de

simplificación, adición, contraria, la doble negación, silogismo hipotético, MTP, MTT,

MPP, entre otras.

 Objetivos

- Adquirir conocimientos básicos del curso pensamiento lógico matemático para

realizar correctamente las próximas actividades.

- Conocer la definición de la lógica según varios autores, de la misma manera la

forma en como es aplicada en los distintos problemas que se planteen.

- Escribir en el lenguaje natural proposiciones y crear tablas de verdad.

- Aplicar e identificar las reglas de la inferencia lógica a través de expresiones con

lenguaje simbólico y aplicarles a estas proposiciones.

 Desarrollo de la actividad

Proposiciones y tablas de verdad – Ejercicio 1

C. P: El alcalde de Cali acuerda pacíficamente desbloquear vías

q: Los manifestantes firmaron el acuerdo
r: Los manifestantes desbloquean las vías con respeto a la movilización
(p˄q) → (p→r)

1- Proposición compuesta en el lenguaje natural:

Si el alcalde de Cali acuerda pacíficamente desbloquear vías y los manifestantes
firmaron el acuerdo.
entonces si el alcalde de Cali acuerda pacíficamente desbloquear, entonces los
manifestantes desbloquean las vías con respeto a la movilización

2- Tabla de verdad manualmente:

p q r p˄q p→r (p˄q) → (p→r)

V V V V V V
V V F V F F
V F V F V V
V F F F F V
F V V F V V
F V F F V V
F F V F V V
F F F F V V
Ahora, teniendo en cuenta la tabla elaborada anteriormente, podemos afirmar que el
resultado de esta es una contingencia pues encontramos tanto valores verdaderos
como falsos.

Generar la tabla de verdad a través del simulador Lógica UNAD:

Enlace vídeo con la explicación del ejercicio:

https://youtu.be/fiHc97mvho0
Identificación de las reglas para la inferencia lógica – Ejercicio 2

Lenguaje simbólico de leyes de inferencia

A B C
p→q pvq ~ ( ~P )
q p→R
____________ ___________ ______________
p RVS P
Modus porendo Silogismo Distintivo (DS) Doble negación (DN)
Porens (pp)

Ley de inferencia de la expresión:

Proposiciones simples:
p: Alejandra esta inscrita en el curso pensamiento lógico matemático
q: El taller de pensamiento lógico matemático esta resuelto
r: Alejandra obtuvo una buena calificación en el taller
s: Alejandra aprendió el tema visto

A. Si Alejandra esta inscrita en el curso pensamiento lógico y matemático, entonces

el taller de pensamiento lógico matemático está resuelto. El taller de
pensamiento lógico matemático esta resuelto. Por lo tanto, Alejandra esta
inscrita en el curso de pensamiento lógico matemático.
B. Alejandra esta inscrita en el curso pensamiento lógico y matemático o el taller
de pensamiento lógico matemático esta resuelto. Si Alejandra esta inscrita en el
curso pensamiento lógico matemático entonces Alejandra obtuvo una buena
calificación. Si el taller de pensamiento lógico matemático esta resuelto
entonces Alejandra aprendió el tema visto por lo tanto Alejandra obtuvo una
buena calificación en el taller o Alejandra aprendió el tema visto.

C. No es cierto que Alejandra no esta inscrita en el curso pensamiento lógico

matemático.

Aplicación de reglas de inferencia lógica – Ejercicio 3

A. Conclusión: por lo tanto, la Unad tiene programas de postrados

B. Modus tullendo Ponens (NTP)
C.
p˅q
~q
__________
:p

Proposiciones simbólicas:

p= Alejandra entrego el taller a tiempo

q= La plataforma virtual estaba caída

s= Alejandra paso el curso en 3

Lenguaje natural:

La plataforma no estaba caída o Alejandra entrego el talle a tiempo.

Y si Alejandra paso el curso en 3 entonces Alejandra no entrego el talle a tiempo.

 Y Alejandra paso el curso en 3, por lo tanto, Alejandra no entregó el talle a tiempo y
la plataforma virtual no estaba caída.

Tabla de verdad manualmente:

p q s ¬ qVp S ⇒¬p ( ¬qVp) ∧ (s⇒¬p) ¬p∧¬q ((¬qVp)∧¿ s⇒¬p)∧ s )⇒¬p∧¬q)

∧s
V V V V F F F V

V V F V V F F V

V F V V F F F V

V F F V V F F V

F V V F V F F V

F V F F V F F V

F F V V V V V V

F F F V V F V V

Ahora, teniendo en cuenta la tabla elaborada anteriormente, podemos afirmar que el

resultado de esta es una tautología pues encontramos valores verdaderos.
Generar la tabla de verdad a través del simulador Lógica UNAD:
 Conclusiones

Con la realización del presente trabajo pude adquirir conocimientos básicos del curso de

pensamiento lógico matemático, dentro de estos conocimientos puedo mencionar la

definición de la lógica según varios autores, la importancia que esta tiene, los conectores

lógicos, la definición de la tabla de verdad y como se puede elaborar manualmente pues es

fundamental mencionar que todo el tiempo no tendremos un simulador para que la haga por

nosotros, pero en cambio la podemos elaborar y confirmar con el simulador si está correcta

o incorrecta e identificar el posible error.

Además, pude darme cuenta como la lógica se aplica mediante los diversos problemas que

se plantean y que están muchas veces relacionados con lo que sucede en nuestra vida diaria.

También, pude escribir en el lenguaje natural y simbólico algunas proposiciones,

identifiqué y apliqué algunas de las reglas de la inferencia lógica mediante varios ejercicios.
 Referencias bibliográficas

Curo, A. (2015). Matemática básica para administradores. (pp. 13-27). Universidad Peruana
de Ciencias Aplicadas (UPC).  https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/
unad/41333?page=10

Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos.

Córdoba, AR: El Cid Editor. (pp. 40-
49). https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?page=59

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. https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/
unad/51977?page=20

Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. (pp. 19-39). 

México, D.F, Larousse - Grupo Editorial Patria. https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/39454?page=30

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

[Vídeo].  http://hdl.handle.net/10596/13871  

Castaño, C. (2017). Leyes de inferencia, [Video]. http://hdl.handle.net/10596/13869

Castaño, C. (2019). Leyes de la

inferencia. https://repository.unad.edu.co/handle/10596/31590
Castaño, C., Victoria, D., Amaya, H., Vega, J. (2020). Lógica
Proposicional.  https://repository.unad.edu.co/handle/10596/37836