1

Métodos para probar validez de argumentos

Jean Carlo Loaiza

Universidad Nacional Abierta y a Distancia

Facultad de Ciencias Administrativas, Contables, Económicas y de Negocios
Administración de empresas
Bogotá, Colombia
Octubre 2018

* Patricia Leguizamón
 2

Introducción

El siguiente trabajo se realizó en base a lo entendido acerca de los métodos para probar
validez de argumentos, los tipos de razonamientos, las reglas de inferencia lógica y como se
aplican a los ejercicios propuestos en la actividad y en los diferentes entornos que se nos
pueden presentar durante la vida cotidiana.
 3

Objetivos

- Identificar y conceptualizar las reglas de la inferencia.

- Identificar e interpretar los métodos para probar la validez delos argumentos.
- Identificar y aplicar las reglas de inferencia lógica.
- Identificar el razonamiento inductivo e inductivo
- Realizar tablas de verdad a partir del ejercicio propuesto.
- Resolver problemas de aplicación.
 4

Ejercicio 1: Aplicación de la Teoría de Conjuntos

En un diplomado de idiomas compuesto por 22 alumnos; 12 estudian mandarín; 11 estudian

inglés y 11 portugués, 6 estudian mandarín e inglés; 7 estudian inglés y portugués; 5
estudian mandarín y portugués y 2 estudian los tres idiomas.

¿Cuántos alumnos estudian sólo inglés? 0

¿Cuántos estudian mandarín en inglés, pero no portugués? 7

¿Cuántos estudian mandarín o portugués, pero no inglés? 7

Ejercicio 2: Métodos para probar la validez de un argumento

 5

Expresión simbólica: [(𝑝 → 𝑞) ∧ (𝑞 → 𝑟)⋀(¬𝑟)] → (¬𝑝)

Premisas:
P1: 𝑝 → 𝑞
P2: 𝑞 → 𝑟
P3: ¬𝑟
Conclusión: ¬𝒑

A partir de la expresión simbólica seleccionada, el estudiante deberá:

 Definir las proposiciones simples, tendrá la libertad de definirla bajo una

descripción basada en un contexto, el que se solicita es un contexto académico.

p: Carlos estudia administración de empresas en la UNAD

q: La UNAD es una Universidad Pública

r: Administración de empresas es una carrera a distancia

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

Carlos estudia administración de empresas en la UNAD si La UNAD es una Universidad

Pública y La UNAD es una Universidad Pública si Administración de empresas es una
carrera a distancia y Administración de empresas no es una carrera a distancia y Carlos no
estudia administración de empresas en la UNAD.

 Generar una tabla de verdad con el simulador Truth Table a partir del lenguaje
simbólico (El estudiante encontrará la Guía para el uso de recursos educativos
 6

Simulador TRUTH, en el Entorno de Aprendizaje Práctico, así como el link de

acceso al recurso)

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).

p q r [(𝒑 → 𝒒)] [(𝒑 → 𝒒) [(𝒑 → 𝒒) [(𝒑 → 𝒒)

∧ (𝒒 → 𝒓)] ∧ (𝒒 → 𝒓)⋀(¬𝒓)] ∧ (𝒒 → 𝒓)⋀(¬𝒓)]
→ (¬𝒑)

v v v v v v v

v v f v f f v

v f v f f f v

v f f f f f v

f v v f v v v

f v f f v v V

f f v f v v v
 7

f f f f v v v

 Demostración de la validez del argumento mediante las leyes de la inferencia lógica

Leyes de inferencia:

Premisas:
P1: 𝑝 → 𝑞
P2: 𝑞 → 𝑟
P3: ¬𝑟
Conclusión: ¬𝒑
 8

Conclusiones

Podemos decir que las leyes de la inferencia las utilizamos en nuestra vida cotidiana, de allí
sacamos conclusiones acerca de temas que tratamos diariamente y estas nos ayudan a resolver
problemas que se nos presentan en los diferentes entornos en los que convivimos.

Las tipos de razonamientos nos sirven para llegar a verdades desde diferentes puntos de vista
a través de hechos históricos, reglas o instrucciones para llegar a un producto final.
 9

Referencias Bibliográficas

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

Grupo Editorial Patria. (pp. 29-38). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=40&docID=110135
70&tm=1492519542738

Chávez, C. P. (2000). Compendio de lógica: Larousse - Grupo Editorial Patria. (pp.163-

166). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=178&docID=11046
000&tm=1492520104862

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
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=59&docID=107324
85&tm=1492520387992

Gutiérrez, J. (2016). Tutoría Unidad 2 Curso 90004. [Archivo de video]. Recuperado de

http://hdl.handle.net/10596/6559

Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal,
MÉXICO: Grupo Editorial Patria. (pp. 80-84) Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=91&docID=112308
87&tm=1496180214861
 10

Castaño, C. (2016). Razonamientos Lógicos. [Archivo de video]. Recuperado de

http://hdl.handle.net/10596/6548

Gutiérrez, W. (2016). Validez de un argumento. [Archivo de video]. Recuperado de

http://hdl.handle.net/10596/6543