Métodos para probar validez de argumentos

Presentado Por:

Maira Jeniffer Bejarano Rengifo

Tutor:

Yersson David Mosquera Obregón

Curso: Pensamiento lógico y matemático

Nro. De curso: 200611

Nro. de grupo: 1221

Universidad Nacional Abierta y a Distancia UNAD

Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios -ECACEN

Programa: Administración de Empresas

CEAD QUIBDÓ

Quibdó, marzo 4 de 2021

 Introducción

En el presente trabajo se lleva a cabo el desarrollo de la Unidad 1, donde veremos temáticas

como proposiciones simples, tablas de verdad y leyes de inferencia.

En las proposiciones simples se evidenciará el cambio de una proposición simples o compuesta a

lenguaje simbólico y natural. Por medio de las tablas de verdad demostrar como analizar o

descifrar cualquier fórmula y hallar sus valores de verdad, apoyándome del simulador para

verificar el lenguaje simbólico de la fórmula. Y en las leyes de inferencia se demostrará como a

través de estas leyes se puede deducir una conclusión a partir de una premisa para crear un

argumento.

Para realizar esta actividad seleccioné la letra C para dar cumplimiento a todos los ejercicios

propuestos.

En el ejercicio # 1 pasé la proposición a lenguaje simbólico y natural, se estableció una

estructura de acuerdo a una tabla de verdad indicando que es una tautología. En el segundo se

nombraron cada una de las 3 expresiones simbólicas, realicé las premisas y determiné la ley de

inferencia con su lenguaje natural expresado en lenguaje simbólico. En el tercero se identifican

proposiciones simples en lenguaje simbólico o formal y se aplica la ley de inferencia. En el

cuarto se asignarán las variables a cada proposición simple y se realiza proposición de mi

autoría, se remplazan variables expresadas simbólicamente y transformadas al lenguaje natural;

se genera tabla de verdad simulada y manual y se procede a comprobar con leyes de inferencia

solo si los resultados de la tabla son todos verdaderos y por ende da una tautología; y se

demuestra con las premisas y llegando a la conclusión.

2
 Objetivos

Objetivo general

Identificar los distintos métodos existentes para probar validez de argumentos, basados en las

leyes de inferencia, tablas de verdad y razonamientos argumentados.

Métodos para probar validez de argumentos

Objetivos específicos

 Distinguir todas las leyes de inferencia

 Entender cada uno de los ejercicios propuestos

 Desarrollar de manera adecuada los puntos, teniendo en cuenta la rúbrica.

 Diferenciar leyes de inferencia, premisas y argumentos.

3
Ejercicio 1

Proposiciones Simples:

p: Estudiamos para el parcial

q: Nos distraemos estudiando

r: Nos dormimos estudiando

Lenguaje Simbólico

(p ˄ ̴ q) ˅ ̴ r

Lenguaje Natural

Estudiamos para el parcial y no nos distraemos estudiando, o no nos dormimos estudiando.

Tabla Manual

p q r ̴q ̴r (p ˄ ̴q) (p ˄ ̴q) ˅ ̴ r
V V V F F F F
V V F F V F V
V F V V F V V
V F F V V V V
F V V F F F F
F V F F V F V
F F V V F F F
F F F V V F V

4
Es una contingencia porque tiene valores de verdad tanto falsos como verdaderos.

Tabla de verdad simulador UNAD

https://www.youtube.com/watch?v=XgmfyumknI8

[video explicativo del ejercicio #1]

Ejercicio 2

Expresión simbólica #1

r→s

r Modus Ponendo Ponens

Proposiciones simples

r: Isabella va a clases todos los días

5
s: Isabella sale de clases con los conocimientos claros

Lenguaje natural

Si Isabella va a clases todos los días, entonces sale de clases con los conocimientos claros.

Expresión simbólica # 2

q Adjunción

p˄q

Proposiciones simples

p: Holmer estudia diseño gráfico

q: Holmer sabe diseñar muy bien

Lenguaje natural

Holmer estudia diseño gráfico y sabe diseñar muy bien

Expresión simbólica # 3

p→¬q

q Modus Tollendo Tollens

¬p

6
Proposiciones simples

p: Mateo estudia contaduría en la UTCH

q: Mateo aprobó la asignatura de contabilidad básica

Lenguaje natural

Si Mateo estudia contaduría en la UTCH entonces no aprobó la asignatura de contabilidad

básica. Mateo aprobó la asignatura de contabilidad básica. Por la tanto, Mateo no estudia

contaduría en la UTCH.

Ejercicio # 3

Argumento: Voy a ver alumbrados o prendo velitas en mi casa. No voy a ver alumbrados.

p: Voy a ver alumbrados

q: prendo velitas en mi casa

a) Conclusión: Prendo velitas en mi casa_

b) Ley de inferencia aplicada: Modus Tollendo ponens (MTP)

c) Lenguaje simbólico: __________________________________

p˅q

̚ p
Modus Tollendo Ponens
⸫q (MTP)

Ejercicio # 4

7
Expresión simbólica: [(p → q) ˄ (q ˄ ¬ r) ˄ (q → r)] → (¬ p)

Premisas:

P1: p → q

P2: q ˄ ¬r

P3: q → r

Conclusión: ¬ p

Proposiciones simples

p: Maijen estudia Administración de Empresas en la FUCLA

q: Maijen aprobó la asignatura de pensamiento lógico y matemático

r: Maijen está matriculada en el segundo semestre

[(p → q) ˄ (q ˄ ¬ r) ˄ (q → r)] → (¬ p)

Lenguaje natural

Si Maijen estudia Administración de empresas en la FUCLA entonces Maijen aprobó la

asignatura de pensamiento lógico y matemático. Maijen aprobó la asignatura de pensamiento

lógico y matemático y Maijen no está matriculada en segundo semestre. Maijen aprobó la

asignatura de pensamiento lógico y matemático entonces Maijen está matriculada en el segundo

semestre. Por ende, Maijen no estudia Administración de empresas en la FUCLA.

Tabla manual

8
Es una tautología porque todos los valores de verdad son verdaderos

Tabla de verdad Simulador UNAD

Demostración de la validez del argumento mediante las Leyes de Inferencia

P1: p → q

P2: q ^ ̚ r

P3: q → r

9
Conclusión ¬ p

P4: Simplificación (S) en P2

P5: Modus Tollendo Tollens (TT) entre P3 y P4

P6: Modus Tollendo Tollens (TT) entre P1 y P5 (conclusión)

Conclusión

Con la realización de este trabajo adquirí conocimientos de razonamientos argumentados, leyes

de inferencia y tablas de verdad, logrando así culminar el desarrollo de las actividades

propuestas.

Para concluir por medio de las tablas de verdad y leyes de inferencia se puede demostrar o

concluir una premisa o argumento, es necesario identificar con claridad cada una de las leyes de

inferencia y saber transformar un lenguaje simbólico a lenguaje natural para culminar de forma

adecuada el desarrollo de un ejercicio planteado.

Además, comprendí que es de vital importancia identificar los conectores lógicos para un

desarrollo eficiente de la actividad.

10