1

Unidad 1 – Tarea 1

Métodos para probar la validez de argumentos

Dayana Isabel Piedrahita – Código 1115079698

Pensamiento Lógico y Matemático 200611C

Grupo 200611C-1144

Director-Tutor

Westminster Manyoma

Universidad Nacional Abierta y a Distancia - UNAD

Escuela de Ciencias Administrativas, Contables, económicas y de negocios

Administración de Empresas

2022
 2

Introducción

Las tablas de verdad son una herramienta que nos ayuda a demostrar propiedades de la

lógica matemática del lenguaje natural nos permite determinar con sus resultados sin son

tautologías, contradictorias o contingentes y las reglas de inferencia son una serie de reglas que

nos ayudad a una transformación e inferir una conclusión a partir de una serie de premisas y con

su desarrollo se crea un argumento

 3

Objetivos

General

 Aprender a conocer las clases de proposiciones que se encuentran en un

enunciado

 Aprender a utilizar y diferenciar los tipos de reglas de la inferencia para poderlas

usar en la solución de problemas

 Uso adecuado del lenguaje natural en la una premisa

Específicos

 Aprender a utilizar y poner en práctica de manera correcta la lógica y el uso de

tablas de verdad en el día a día

 Obtener un mejor conocimiento y manejo de cada uno de los temas desarrollados

ya que serán de suma importancia como para el ámbito laboral y personal

 Entender y aprender a identificar las reglas de inferencia

 Analizar y entender las premisas del problema para diseñar y desarrollar la

solución aplicando las leyes de inferencia

 4

Ejercicio 1. Proposiciones y tablas de verdad

A continuación, encontrara las proposiciones simples para el desarrollo del ejercicio 1 punto E.

 Proposiciones simples

P: la UNAD facilita espacios para alimentar conocimiento a través de áreas para la

comunicación
q: la UNAD por medio de los CIPAS propende participación de los estudiantes
r: la UNAD le apuesta a la estrategia de la educación a distancia con los encuentros
pedagógicos CIPAS “círculos de interacción y participación académica y social”
s: la UNAD utiliza este tipo de metodología para generar conocimiento donde el
estudiante puedan despejar dudas entre ellos asesorándole de un docente para mayor
integración pedagógica

 Lenguaje simbólico

 Lenguaje natural

La UNAD facilita espacios para aclimatar conocimientos a través de áreas para la

comunicación si entonces la UNAD le apuesta a la estrategia de la educación a distancia
 5

los encuentro pedagógicos CIPAS “círculos de interacción y participación académica y

social” si y solo si la UNAD por medio de los CIPAS propende participación de los
estudiantes o la UNAD utiliza este tipo de metodología para generar conocimiento donde
el estudiante puedan despejar dudas entre ellos asesorándose de un Docente para una
mayor integración pedagógica

 Tabla de verdad manual

2n
N=4
24 = 2 x 2 x 2 x 2 = 16
 6

p q r s (p→r) (qvs) (p→r)←→(qvs)

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

 Se clasifica como: contingencia

 Tabla De verdad simulador UNAD

 Link video
 7

Ejercicio 2: identificación de las reglas de la inferencia lógica

A continuación, encontrara el leguaje simbólico de expresiones para el desarrollo del ejercicio
numero 2:
 8

Expresión simbólica

p→¬ q
p
¬q

 Ley de inferencia de la expresión

Modus ponendo ponens

 Proposiciones simples

P: pablo quiere estudiar astronomía en la UNAD

Q: la UNAD no tiene astronomía

 Lenguaje natural

Si Pablo quiere estudiar en la UNAD entonces, jamás la UNAD tiene astronomía jamás
pablo quiere estudiar astronomía

Expresión simbólica

P
q

pᴧq

 Ley de inferencia de la expresión

Adjunción (A)

 Proposiciones simples

P: pablo quiere estudiar astronomía en la UNAD

q: la UNAD no tiene astronomía

 Lenguaje natural
 9

Pablo quiere estudiar astronomía y la UNAD no tiene Astronomía

Expresión simbólica

¬p→r
¬p
r

 Ley de inferencia de la expresión

Modus ponendo ponens

 Proposiciones simples

P: pablo quiere estudiar astronomía en la UNAD

R: la UNAD no tiene astronomía

 Lenguaje natural

No, pablo quiere estudiar astronomía en la UNAD entonces la UNAD no tiene

astronomía de ninguna forma pablo quiere estudiar Astronomía en la UNAD por lo tanto
la UNAD no tiene astronomía

Ejercicio 3: aplicación de las reglas de inferencia lógica

A continuación, encontraran el desarrollo para el ejercicio numero 3:

Si los gatos pasan el 70% de sus vidas durmiendo, entonces los gatos el 30% de sus vidas están
despiertos si los gatos pasan 1.950 horas ronroneando

 Lenguaje simbólico

p→q
q→r
 10

჻p → r

 Ley de inferencia aplicada

Modus ponendo ponens

 Conclusión si los gatos pasan el 70% de sus vidas durmiendo entonces los gatos pasan
1.950 horas de sus vidas ronroneando

჻p → r

Ejercicio 4: problemas de aplicación

Expresión simbólica
[(t → s) ᴧ (s → p)]→ (t → p)

Premisas
P1: (t→s)
P2: (s→p)
Conclusión: (t→p)
 Proposiciones simples

P: sara estudia lógica matemática

t: estudia construcción de tablas de verdad
s: para proar la valides de argumentos

 Lenguaje natural

Si estudia construcción de tablas de verdad entonces para probar la validez de

argumentos y, si para probar la validez de argumentos entonces sara estudia lógica
matemática si estudia construcción de tablas de verdad por lo tanto sara estudia lógica
matemáticas

 Tabla de verdad
 11

p t s (t→s) (s→p) (t→p) [(t→s)ᴧ(s→p)] [(t→s)ᴧ(s→p)]→(t→p)

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

 Se clasifica como: tautología

 Tabla de verdad simulador UNAD

 Valides del argumentó mediante las leyes de inferencia

T→s
S→p

჻ →p

P1: (t → s)
P2: (s → p)
 12

P3: t → s
s→p aplicando silogismo hipotético (SH) entre p1 y p2

჻t→p

Conclusión: (t → p)
13
14
15
16
 17

Conclusiones del trabajo desarrollado

Todos los trabajos académicos deben tener una o más conclusiones, eso no puede faltar. Se trata

de presentar en unas ideas cortas lo que se ha expresado a lo largo del trabajo. Una clave a la

hora de hacer una conclusión sería: ¿qué quiero que retenga la persona que lea el trabajo? Otro

aspecto importante es que debe haber una armonía entre la introducción (en la que se plantea lo

que va a hacer en el trabajo y lo que se ha desarrollado en el contenido. No puede haber divorcio

entre estas partes.

En las conclusiones no hay que agregar datos ni citas bibliográficas, lo único que va es el

resumen condensado de lo que hemos hecho a lo largo del trabajo. ¿Cuántas conclusiones debe

llevar un trabajo? Si el trabajo es muy largo, de 200 o 300 páginas, serán de 10 a 15

conclusiones. Si el trabajo es corto, dos o tres conclusiones son suficientes.

 18

En el aspecto formal, las conclusiones ni se numeran ni llevan viñetas. Solo se separan

por el punto aparte y por el tabulado de la primera línea, como en estos Referencias

Bibliográficas

. Una vez leído este comentario quitar este recuadro del documento, es solo

informativo.

Córdoba, M. (2011). Formulación y evaluación de proyectos.  Ciclo de vida de los proyectos.

(pp. 8-16) https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/69169?

page=23

Ackerman, S. E., y Com, S. L. (2013). Metodología de la investigación. Buenos Aires, AR:

Ediciones del Aula Taller. (pp. 31 - 44). https://elibro-

net.bibliotecavirtual.unad.edu.co/es/ereader/unad/76246?page=31

Córdoba, M. (2011). Formulación y evaluación de proyectos.  Ciclo de vida de los proyectos.

(pp. 8-16) https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/69169?

page=23

Nota: Para colocar las referencias (bibliografía) puedes guiarte según los

ejemplos mostrados anteriormente en citación APA.

Si deseas consultar norma APA Bibliografía en el siguiente enlace (Página 49):

https://repository.unad.edu.co/static/pdf/Norma_APA_7_Edicion.pdf