1

Unidad 1 – Fundamentos de Lógica

Métodos para Probar la Validez de Argumentos

Presentado por: Carmen Lucero Cedeño Roncancio

200611C_954_Grupo: 1926

Tutor: Roger Ricardo Negrete

Universidad Nacional Abierta y a Distancia – UNAD

Escuela de Ciencias Sociales, Artes y Humanidades - ECSAH

Psicología

Bogotá, D.C., septiembre 26 de 2021

 2

Introducción

En el presente trabajo encontrará el desarrollo sobre tablas de verdad,

proposiciones, reglas de inferencia para probar la validez de los argumentos,

desarrollada bajo las lecturas suministradas por las unidades que se encuentran en el

entorno de aprendizaje, lecturas sobre matemáticas discretas, contenidos de

estructuras algebraicas, conjuntos numéricos, entre otros.

Todos los ejercicios desarrollados corresponden al punto E de la guía de

actividades que nos permitía seleccionar.

 3

Objetivos

Método para aplicar las tablas de verdad y reglas de inferencia para probar la

validez de argumentos.

Generar tabla de verdad manual y a través del simulador de la UNAD.

Hacer un video donde explique la forma como desarrolle el punto 1 de la guía de

actividades.

Identificar las reglas de inferencia lógica

Leer los contenidos suministrado por la universidad y ampliar conocimientos

lógicos matemáticos.

Conocer e identificar los lenguajes simbólicos, lenguaje natural y conectores que

dan una estructura lógica a la oración.

 4

Tarea 1 Métodos para Probar la Validez de Argumentos

Proposiciones y tablas de verdad

Ejercicios literal E.

p: Hay protestas en contra la reforma tributaria en Colombia.

q: Desde el inicio de las manifestaciones el dólar subió

r: la reforma tributaria desata la violencia.

( p ⋁ q ) →( q ⋀ r)

Proposiciones simples

p: Hay protestas en contra la reforma tributaria en Colombia.

q: Desde el inicio de las manifestaciones el dólar subió

r: La reforma tributaria desata la violencia.

Lenguaje simbólico

( p ⋁ q ) →( q ⋀ r)

La proposición compuesta en lenguaje natural

( p ⋁ q ) : Hay protestas en contra la reforma tributaria en Colombia o desde el inicio

de las manifestaciones el dólar subió.

(q ⋀ r ): Desde el inicio de las manifestaciones el dólar subió y la reforma

tributaria desata la violencia.

 5

( p ⋁ q ) →( q ⋀ r): Si hay protestas en contra la reforma tributaria en Colombia o

desde el inicio de las manifestaciones el dólar subió, entonces, desde el inicio de las

manifestaciones el dólar subió y la reforma tributaria desata la violencia.

El lenguaje natural

Si hay protestas en contra la reforma tributaria en Colombia o desde el inicio de

las manifestaciones el dólar subió, entonces, desde el inicio de las manifestaciones el

dólar subió y la reforma tributaria desata la violencia.

La tabla de verdad manual de ( p ⋁ q ) →( q ⋀ r)

p q r ( p⋁q) (q ⋀ r ) ( p ⋁ q ) →(q ⋀ r)

V V V V V V

V V F V F F

V F V V F F

V F F V F F

F V V V V V

F V F V F F

F F V F F V

F F F F F V

La tabla elaborada nos muestra una contingencia, teniendo en cuenta que

existen valores de verdadero y valores de falso.

 6

Tabla de verdad con el simulador lógica UNAD

Video explicando el desarrollo del punto 1

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

E. Expresión simbólica
 7

Expresión simbólica

p⟶ q

Ley de inferencia de la expresión simbólica: Modus Ponendo Ponens (PP).

Proposiciones simples

p: Federico estudia arquitectura en la Fundación de Popayán.

q: Federico aprobó el curso de taller 6.

Lenguaje natural:

Si Federico no estudia arquitectura en la Fundación de Popayán entonces

Federico no aprobó el curso de taller 6. Federico no estudia arquitectura en la

Fundación de Popayán. Por lo tanto, Federico no aprobó el curso de taller 6.

Expresión simbólica

q
 8

p⋀q

Ley de inferencia de la expresión simbólica: Regla de adjunción

Proposiciones simples

p: Federico estudia arquitectura en la Fundación de Popayán.

q: Paola Andrea estudia ingeniería de alimentos en Pamplona.

Lenguaje natural:

Federico estudia arquitectura en la Fundación de Popayán y Paola Andrea

estudia ingeniería de alimentos en Pamplona.

Expresión simbólica

p ∨r

p⟶s

r⟶s

Ley de inferencia de la expresión simbólica: Simplificación disyuntiva (SD)

Proposiciones simples

p: Federico estudia arquitectura en la Fundación de Popayán.

r: Federico juega baloncesto en la NBA.

s: Federico viaja Europa.

 9

Lenguaje natural:

Federico estudia arquitectura en la Fundación de Popayán o Federico juega

baloncesto en la NBA. Si Federico estudia arquitectura en la Fundación de Popayán,

entonces Federico viaja a Europa. Si Federico juega baloncesto en la NBA, entonces

Federico viaja a Europa. Luego, Federico viaja a Europa.

E. Si Estados Unidos de América goza de una gran extensión geográfica

entonces Estados Unidos presenta las 4 estaciones del año. Estados Unidos No

presenta las 4 estaciones del año.

Argumento: Si Estados Unidos de América goza de una gran extensión

geográfica entonces Estados Unidos presenta las 4 estaciones del año. Estados

Unidos No presenta las 4 estaciones del año.

Conclusión: Estados Unidos de América no goza de una gran extensión geográfica.

b. Ley de inferencia aplicada: Modus Tollendo Tollens (TT)

c. Lenguaje simbólico:

p→q

~q

~p

Proposiciones simples:

p: Estados Unidos de América goza de una gran extensión geográfica.

q: Estados Unidos presenta las 4 estaciones del año

p⟶q

∼q
 10

∼p

Ejercicio 4 Unidad _Carmen Lucero Cedeño Roncancio

E. Problema de aplicación

Expresión simbólica

[ ( p ∨q ) ∧ ( p ⟶ r ) ∧ ( q ⟶ r ) ∧ q ] ⟶(r ∧ p)

Premisas:

P1 : p ∨ q

P2 : p ⟶ r

P3 :q ⟶ r

P4 : q

Conclusión: r∧p

Proposiciones simples:

p: Federico estudia arquitectura en la Fundación de Popayán.

q: Federico juega baloncesto en la NBA.

r: Federico viaja a Europa.

Lenguaje natural:

Federico estudia arquitectura en la Fundación de Popayán o Federico

juega baloncesto en la NBA. Si Federico estudia arquitectura en la Fundación

de Popayán entonces Federico viaja a Europa. Si Federico juega baloncesto en

la NBA entonces Federico viaja a Europa. Federico no juega baloncesto en la

 11

NBA. Por lo tanto, Federico viaja a Europa y Federico estudia arquitectura en la

Fundación de Popayán.

Tabla de verdad manual

[ ( p ∨q ) ∧ ( p ⟶ r ) ∧ ( q ⟶ r ) ∧ q ] ⟶(r ∧ p)

p q r q p p ⟶r q⟶r r ∧ p ( p ∨q ) ∧ ( p( p⟶ [ ( p ∨q
∨qr))∧ ( p ⟶ ( q([⟶
r ) ∧) ∧ r ) r) ∧
(pp⟶
∨q ) ∧( (pq⟶
⟶rr) )∧
∧( qq

∨q

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

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

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

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

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

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

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

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

La tabla nos presenta una tautología, dado que en el resultado final todos sus valores

son verdad.

Tabla de verdad Simulador UNAD

 12

Se comprueba el mismo resultado de una Tautología

Demostración de la validez del argumento mediante las leyes de Inferencia:

Premisas:

P1 : p ∨ q

P2 : p ⟶ r

P3 :q ⟶ r p1 , p2 , p3 , Simplificación disyuntiva

P4 : q p1 , p4 Modus Tollendo Ponens

Conclusión: r ∧ p
 13

Conclusiones

Se amplían mis conocimientos sobre los diferentes temas vistos en relación a

tablas de verdad, proposiciones simples y compuestas, conectivos lógicos, términos del

lenguaje natural que designan conectivos, valores de verdad de las proposiciones,

entre otros.

Al conocer y aplicar términos me permitió desarrollar todos los ejercicios

escogidos por mí.

 14

Referencias

Castaño, C. (2017). Leyes de inferencia. Obtenido de http://hdlhandle.net/10596/13869

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

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

Castaño, C. (2019). Repository Universidad Nacional Abierta y a Distancia UNAD.

Obtenido de Leyes de Inferencia:

https://repository.unad.edu.co/handle/10596/31590

Castaño, C., Victoria, D, Amaya, H., Vega, J. (s.f.). Repository Universidad Nacional

Abierta y a Distancia UNAD. Obtenido de Lógica Proposicional:

https://repository.unad.edu.co/handle/10596/37836
 15

Curso, A. (2015). Matemática básica para administradores. Obtenido de https://elibro-

net.bibliotecavirtual.unad.edu.co/es/ereader/unad/41333?page=10