PENSAMIENTO LOGICO Y MATEMATICO

Grupo: 200611_531
TAREA 1: METODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

Presentado por:
Lina Sarai Burbano Muñoz
C.C: 1.126.598.657

Tutor:
Nevardo Alonso Ayala

Universidad Nacional Abierta y a Distancia

Escuela de Ciencias Sociales, Artes y Humanidades
Facultad de Psicología
CEAD Bucaramanga. Septiembre 2020
INTRODUCCION
La presente tarea consta de 4 ejercicios; cada uno de nosotros seleccionamos una letra: A, B,
C, D o E, así en cada ejercicio se desarrollará lo solicitado en la descripción del ejercicio.
Debemos presentar en el foro de la actividad tarea 1: el desarrollo de cada una de las
actividades. Incluyendo un video explicativo de la primera actividad.
OBJETIVOS
Aprender la resolución de problemas mediante el uso de la lógica proposicional y las Tablas
de Verdad,
Identificar las leyes de inferencia.
Construcción de lenguaje natural de un argumento.
EJERCICIO 1
Para el desarrollo de esta actividad cada estudiante debía seleccionar una letra, en mi caso
seleccione la letra D.
Ejercicio 1: Proposiciones y tablas de verdad.
A continuación, encontrara las proposiciones simples para el desarrollo del ejercicio 1:
Preposiciones simples:
p: Los equipos de futbol de Colombia cesaron sus actividades a causa del COVID 19
q: Los jugadores del deporte Tolima siguieron entrenando desde sus casas bajo la
dirección de Hernán Torres.
r: Algunos equipos del futbol colombiano siguieron entrenando de forma presencial.
Lenguaje simbólico:
(p → ~ q) ᴠ (~ r ↔p)
Lenguaje natural
Si los equipos de futbol de Colombia cesaron sus actividades a causa del COVID 19
entonces los jugadores del deporte Tolima no siguieron entrenando desde sus casas
entonces bajo la dirección de Hernán Torres o algunos equipos del futbol colombiano
no siguieron entrenando de forma presencial si y solo si los equipos de futbol de
Colombia cesaron sus actividades a causa del COVID 19.
Tabla de verdad.
p q r ~q ~r p→~q (~ r ↔p) (p → ~ q) ᴠ (~ r ↔p)
V V V F F F F F
V V F F V F V V
V F V V F V F V
V F F V V V V V
F V V F F V V V
F F V V F V V V
F V F F V V F V
F F F V V V F V

Se clasifica como: Contingencia

Tabla de verdad obtenida con ayuda de simulador Lógica UNAD:

LINK VIDEO
https://vimeo.com/462469532
EJERCICIO 2
A continuación, se encuentra el lenguaje simbólico de expresiones que representan algunas
leyes de inferencia.
Expresión simbólica:
r (r ∨ s) (r → s)
s ¬r r
(r ∧ s) s s
 Nombrar la ley de inferencia que representa cada expresión:

r
s ; Adjunción (A)
(r ∧ s)
(r ∨ s)
¬r ; Modus Tollendo Ponens (MTP)
s
(r → s)
r ; Modus Ponendo Ponens (PP)
s
Definir las proposiciones simples, tendrá la libertad de definirlas bajo un contexto, el que se
solicita es un contexto académico (puede usar las mismas proposiciones simples en cada una
de las tres expresiones simbólicas.

r  r: Sarai estudia psicología en la UNAD

s  s: Sarai estudia agronomía en la UNAD
 r ∧ s: Sarai estudia psicología y agronomía en la
(r ∧ s)
UNAD

(r ∨ s )  r ∨ s: Sarai estudia psicología o estudia agronomía

¬r en la UNAD
s  ¬ r: Sarai no estudia psicología en la UNAD

(r → s)  r: Sarai estudia psicología en la UNAD

 s: Sarai estudia en la UNAD
r
 r → s : Si Sarai estudia psicología entonces Sarai
s estudio en la UNAD
EJERCICIO 3
A continuación, encontrara los argumentos para el desarrollo del ejercicio 3.
D. A Emilio le gusta viajar durante las vacaciones a tierra caliente o a Emilio le gusta viajar
durante las vacaciones a tierra fría. A Emilio no le gusta viajar durante las vacaciones a tierra
caliente.
a. Conclusión:
b. Ley de inferencia aplicada:
c. Lenguaje simbólico.

Preposiciones simples:
c: Emilio le gusta viajar durante las vacaciones a tierra
f: Emilio le gusta viajar durante las vacaciones a tierra fría
Premisas:
P1: c ∨ f
P2: ¬c
Expresión simbólica: (c ∨ f) ∧ ¬c
Lenguaje simbólico y demostración de la validez del argumento mediante la leyes de
inferencia, específicamente modus Tollendo Ponens (MTP).
(c ∨ f )
¬c
f
Conclusión: f, A Emilio le gusta viajar durante las vacaciones a tierra fría.
EJERCICIO 4
A continuación, encontrara la expresión simbólica, las premisas y la conclusión de un
argumento para el desarrollo del ejercicio 4:
D. Expresión simbólica: [(p∨q) ∧ (¬q) ∧ (p→r) ∧ (q→r)] →(p∧r)
Premisas:
P1: p∨q
P2: ¬q
P3: p→r
P4: q→r
Conclusión: p∧r
Demostración de la validez del argumento mediante leyes de inferencia lógica.
P5: p ………….. Modus Tollendo Ponens (MTP) entre P1 y P2
P6: r ………….. Modus Ponendo Ponens (PP) entre P5 y P3
P7: p∧r ………….. Adjunción (A) entre P5 y P6
Proposiciones simples (basadas en un contexto académico):
p: psicología es una carrera virtual.
q: agronomía es una carrera virtual.
r: Es una carrera de la UNAD.
Lenguaje Natural:
psicología es una carrera virtual o agronomía es una carrera virtual y agronomía
es una carrera virtual. Si psicología es una carrera virtual entonces es una carrera
de la UNAD y si agronomía es una carrera virtual entonces es una carrera de la
UNAD. Si psicología es una carrera virtual entonces también es una carrera de la
UNAD.
 Tabla de verdad:
[(p∨q) ∧ (¬q) ∧ (p→r) ∧ (q→r)]
[(p∨q) ∧ (¬q) ∧ →(p∧r)
p q r ¬q p∨q p→r q→r
(p→r) ∧ (q→r)]

V
V V V F V V V F
V
V V F F V F F F
V
V F V V V V V V
V
V F F V V F V F
V
F V F F V V F F
V
F F V V V V V V
V
F V V F V V V F
V
F F F V F V V F

Tabla de verdad obtenida con ayuda del simulador Lógica UNAD:

CONCLUSIONES
En esta actividad aprendimos la resolución de problemas mediante el uso de la lógica
proposicional y las Tablas de Verdad.
Se comprendió como identificar las leyes de inferencia, y como identificar conclusiones a
partir del uso adecuado de las mismas.
También se aprendió a como construir un lenguaje natural de un argumento.
BIBLIOGRAFIA
 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y
computación. (pp. 9 - 31). Ediciones Elizcom, Madrid. Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/71192?page=12
 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). Recuperado de 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. Recuperado de 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. 28-
37).  México, D.F, Larousse - Grupo Editorial Patria. Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/39454?page=39
 Castaño, C. (2017). Proposiciones y tablas de verdad, [Vídeo]. Recuperado
de http://hdl.handle.net/10596/13871  
 Castaño, C. (2017). Leyes de inferencia, [Video]. Recuperado
de http://hdl.handle.net/10596/13869