1

Unidad 1 – Tarea 1 métodos para probar la validez de argumentos

Lilia Elizabeth Riascos Realpe – Código 1004624712

Pensamiento Lógico y Matemático 200611

Grupo 1747

Director-Tutor

Yersson David Mosquera

Universidad Nacional Abierta y a Distancia - UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería

Ingeniería agroforestal

Septiembre 2022
 2

Introducción

En el trabajo que aquí se presenta se busca aplicar un lenguaje natural y simbólico

mediante preposiciones simples y compuestas utilizando el correcto razonamiento en estas, con

el fin de que el escrito se vea de una manera atractiva para leer.

Identificando la clasificación de tablas de verdad como también ejercicios que podemos

utilizar en la vida cotidiana y a lo largo de nuestras profesiones.

 3

Objetivos

General

Utilizar correctamente el simulador de tablas de verdad UNAD

El uso de la herramienta “ecuación” en Word

Específicos

Crear tablas de verdad manualmente

Escribir las preposiciones en un lenguaje natural coherente

Perder el temor de hablar en público, con la creación del video

 4

1: Proposiciones y tablas de verdad

A continuación, encontrará las proposiciones simples para el desarrollo del ejercicio 1:

Preposiciones simples

D. p: La UNAD es una universidad con acreditación institucional 4 de alta calidad.

q: La UNAD rompe récords entre las instituciones de educación superior.

r: La UNAD demostró al país que tiene un modelo de educación riguroso que soporta

la formación virtual a distancia con altos estándares de calidad.

Lenguaje simbólico

(𝑝 ∧ 𝑞) → r

Lenguaje natural

Si la UNAD es una universidad con acreditación institucional 4 de alta calidad y la UNAD

rompe récords entre las instituciones de educación superior entonces la UNAD demostró al
país que tiene un modelo de educación riguroso que soporta la formación virtual a
distancia con altos estándares de calidad.

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico y

determinar si el resultado es una tautología, contingencia o contradicción.

p q r ( p ʌ q ) → r

V V V V V V V V

V V F V V V F F

V F V V F F V V

V F F V F F V F

F V V F F V V V

F V F F F V V F

F F V F F F V V

F F F F F F V F
 5

Se clasifica como: CONTINGENCIA

➢Generar la tabla de verdad a través del simulador Lógica UNAD

Tabla con el simulador Lógica UNAD

Realizar un vídeo donde explique la forma cómo fue desarrollado el ejercicio seleccionado. La

realización del vídeo puede ser con la cámara del celular, cámara del pc u otra alternativa que se

le facilite.

Link video: https://www.loom.com/share/91dc5c2edb7f4049a07e4e825090f544

 6

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

Descripción del ejercicio

A continuación, encuentra el lenguaje simbólico de expresiones que representan

algunas leyes de inferencia.

D. expresión simbólica

Nombrar la ley de inferencia que representa cada

expresión simbólica.

a. b. c.
p ∨ q p →¬ r
¬q p p∧ q
p ¬r p
Tollendo ponens (TP) Modus ponendo ponens
(PP) Simplificación (S)

Leyes de inferencia

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

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

p. El 9 es factor de 72
q. 72 es un numero compuesto
r. el 9 tienen tres divisores

Lenguaje Natural

pV q
a. ¬q
p

El 9 es factor de 72 o 72 es un numero compuesto

72 no es un numero compuesto
Por lo tanto ,72 es un numero compuesto
 7

p → ¬r
b. p
¬r

El 9 es factor de 72 entonces el 9 no tiene 3 divisores

El 9 es factor de 72
Por lo tanto, el 9 no tiene tres divisores

p∧q
c.
p

El 9 es factor de 72 y 72 es un numero compuesto

por lo tanto, el 9 es factor de 72

Ejercicio 3: Aplicación de las reglas de la inferencia lógica

Descripción del ejercicio:

A continuación, encontrará los argumentos para el desarrollo del ejercicio 3:

D.
El corazón es un órgano sumamente poderoso o el corazón tiene fuerza espiritual.
El corazón no tiene fuerza espiritual.
En conclucion el corazón es un órgano sumamente poderoso

a. Lenguaje simbólico:

p∨q
a. ¬q
p

b. Ley de inferencia aplicada:

Ley tollendo ponens

c. Conclusión:
El corazón es un órgano sumamente poderoso
 8

Ejercicio 4: Problemas de aplicación

Descripción del ejercicio: A continuación, encontrará 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: [(∼ 𝑝 →∼ 𝑞) ∧ (∼ 𝑞 →∼ 𝑟) ∧ (∼ 𝑝)] → (∼ 𝑞 ∧ ∼ 𝑟)

Premisas:

P1: (∼ 𝑝 →∼ 𝑞)

P2: (∼ 𝑞 →∼ 𝑟)

P3: ∼ 𝑝

Conclusión: (∼ 𝑞 ∧ ∼ 𝑟)

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. Efraín realiza los ejercicios

q. Obtiene una buena calificación

r. Efraín aprueba los créditos

Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje

natural. Las proposiciones simples deben ser de autoría de cada estudiante.

Efraín no realiza los ejercicios entonces no obtiene una buena calificación.

No obtiene una buena calificación entonces Efraín no aprueba los créditos.

 9

Efraín no realiza los ejercicios, en conclusión, no obtiene una buena calificación y

Efraín no aprueba los créditos.

p q r ~p ~q ~p→~q ~r ~q→~r ~q→~r∧~p ~p→~q∧~q→~r∧~p ~q∧~r ~p→~q∧~q→~r∧~p→~q∧~r

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

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

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

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

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

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

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

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

Generar una tabla de verdad manualmente a partir del lenguaje simbólico

 10

Generar la tabla de verdad a través del simulador Lógica UNAD.

La anterior tabla Se clasifica como: TAUTOLOGIA

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

lógica

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

Premisas

P1: (∼ 𝑝 →∼ 𝑞)

P2: (∼ 𝑞 →∼ 𝑟)

P3: ∼ 𝑝

Conclusión: (∼ 𝑞 ∧ ∼ 𝑟)
 11

P4:

∼q →∼r
∼q ∧∼r

Solución:

p 2:∼ q → ∼ r

p 4 :∼ q ∧∼r exportacion P2

P5:

∼q → ∼ r
∼ p→∼q
∼ p →∼ r

Solución:

P2: ∼q → ∼r

P1: ∼ 𝑝 →∼ 𝑞

p 5:∼ p → ∼ r silogismo hipotético p2, p1

P6:

∼ p→∼q
∼p
q

P1: ∼ p →∼q

P3: ∼ p

p 6 :q modus ponens p 1 , p 3

Referencias Bibliográficas
 12

. Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras

algebraicas y fundamentos de álgebra lineal. Volumen I:

conjuntos numéricos, complementos. (pp. 19-28). Editorial

Tébar

Flores  https://elibro-net.bibliotecavirtual.unad.edu.co/es/erea

der/unad/51977?page=20

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

ejercicios. (pp. 19-39).  Larousse - Grupo Editorial

Patria  https://elibro-net.bibliotecavirtual.unad.edu.co/es/erea

der/unad/39454?page=30

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

verdad.    Repositorio Institucional

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

Castaño, C. (2017). OVI. Leyes de inferencia.  Repositorio

Institucional UNAD.  http://hdl.handle.net/10596/13869 

Simulador Lógica UNAD. https://youtu.be/L1g2KC7rsNo