Universidad Nacional Abierta y a Distancia “UNAD”

Tarea 1 Métodos para probar la validez de argumentos

Presentado por:
Geovannys Blanco Ruiz

Presentado a:

Darwin William Barros

Numero de grupo:

200611_393

Tecnología En Gestión Comercial y de

Negocios

Barranquilla Atlántico, 11 de octubre del 2022

@
 Introducción

Este trabajo propone el desarrollo de cuatro tareas, que incluyen problemas de lógica proposicional,
donde se confirman proposiciones y tablas de verdad utilizando las leyes del razonamiento para
comprobar la validez de un argumento dado, la capacidad de probar la comprensión y el
razonamiento lógico, la capacidad de resolver problemas similares. situaciones de la vida cotidiana.
El pensamiento lógico matemático construye individuos conectando prácticas ya existentes en el
manejo de objetos que posibilitan la comprensión de la percepción del razonamiento abstracto,
pensamiento que va más allá de las matemáticas básicas para contribuir al progreso individual y
óptimo del practicante.
 Objetivos

• Identificar y aplicar las tablas de verdad

• Aplicar leyes de inferencia

• Probar la validez de argumentos propuestos

• Identificar y aplicar proposiciones simples y compuestas

• Reconocer los conectores lógicos matemáticos

• Instruirse y aplicar el lenguaje simple y natural.

 Ejercicio 1

Proposiciones Simples C

p: En las competencias ganan los mejores

q: Las olimpiadas de matemáticas es una competencia

r: Los estudiantes participan en las olimpiadas de

matemáticas s: La Unad desarrolla las Olimpiadas de

matemáticas

Lenguaje simbólico

(s ꓥ r) → (𝑞 → 𝑝)

Lenguaje Natural

La Unad desarrolla las Olimpiadas de matemáticas Y Los estudiantes participan en las

olimpiadas de matemáticas POR TANTO SI las olimpiadas de matemáticas es una
competencia ENTOCES En las competencias ganan los mejores.

Tabla manual
 Se clasifica como: Contingencia

Tabla de verdad Simulados Unad

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

Expresión simbólica

r𝖠s pVq pVq

p→ r p→ t
q→ s q→ t
s rVs t

Ley de inferencia de la expresión:

A: Simplificación

B: Silogismo Disyuntivo (DS)

C: Simplificación Disyuntiva

Proposiciones simples:

p: Geovannys tiene un grupo de

estudio

q: Geovannys estudia
Contabilidad
r: Geovannys pertenece a la
UNAD
s: Geovannys es un buen
estudiante
t: Geovannys saca buenos promedios en la UNAD

Lenguaje Natural:

1. Geovannys pertenece a la UNAD y Geovannys es un buen estudiante por lo tanto

Geovannys es un buen estudiante.
 2. Geovannys tiene un grupo de estudio o Geovannys estudia contabilidad a si
Geovannys tiene un grupo de estudio entonces Geovannys pertenece a la UNAD si
Geovannys estudia psicopatología entonces Geovannys es un buen estudiante, por
lo tanto, Geovannys pertenece a la UNAD o Geovannys es un buen estudiante.

3. Geovannys tiene un grupo de estudio o Geovannys estudia Contabilidad Si

Geovannys tiene un grupo de estudio entonces Geovannys saca buenos promedios
en la UNAD por lo tanto Geovannys saca buenos promedios en la UNAD.

Ejercicio 3

C Los ojos hacen más ejercicios que las piernas y los músculos de nuestros ojos se mueven
mucho más de lo que te imaginas.

Proposiciones simples

P: Los ojos hacen más ejercicios que las piernas

q: los músculos de nuestros ojos se mueven mucho más de lo que te imaginas

Lenguaje simbólico.

𝑝𝖠𝑞

Ley de inferencia aplicada: Simplificación (s)

 Conclusión: Los ojos hacen más ejercicios que las piernas (p)

Ejercicio 4

C. Expresión simbólica: [(𝑝 ∨ 𝑞) ↔ (¬𝑝 𝖠 ¬𝑞)] → (𝑝 𝖠 𝑞)

Premisas:

P1: (𝑝 ∨ 𝑞)

P2:(¬𝑝 𝖠 ¬𝑞)

Conclusión: (𝑝 𝖠 𝑞)

1. Proposiciones simples

P: Geovannys estudia psicología en la UNAD

q: Geovannys Saca buenos promedios en la UNAD

Lenguaje natural
Geovannys estudia psicología en la UNAD O Geovannys saca buenos promedios en
la UNAD SI SOLO SI Geovannys NO estudia contabilidad en la UNAD Y
Geovannys NO Saca buenos promedios en la UNAD POR TANTO Geovannys
estudia Contabilidad en la UNAD Y Geovannys saca buenos promedios en la
UNAD.

Tabla de verdad manual

Se clasifica como: Tautología

Tabla de verdad simulador de lógica UNAD

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

[(𝑝 ∨ 𝑞) ↔ (¬𝑝 𝖠 ¬𝑞)] → (𝑝 𝖠 𝑞)

P1: 𝑝 ∨ 𝑞
MPP Modus Ponendo Ponens

P2: ¬𝑝 𝖠 ¬𝑞
Simplificación

P3: 𝑝 𝖠 𝑞
Simplificación
 Conclusiones

En el presente trabajo se puede evaluar cada ley de inferencia con la cual se trabajó para dar

resultado a cada proposición expuesta para resolver, cabe decir que cada proposición tiene una

diferente forma para resolver con su lenguaje simbólico y convertid a lenguaje natural, dando a

conocer cada proposición y su respectiva tabla de la verdad dando reconocimiento una tabla de la

verdad por cada proposición e intervalos que están plasmados en la guía.

 Referencia Bibliográficas

 Curo, A. (2015). Matemática básica para administradores. (pp. 13-27). Universidad

Peruana de Ciencias Aplicadas
(UPC) https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/41333?page=10

 Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos. (pp.

40-49).  El Cid Editor  https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/
36562?page=59

 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/ereader/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/ereader/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