Tarea 1 Metodos para Probar la Validez de Argumentos.

Tutor/a: Sandra Vela Rojas.

Estudiante: Sandra Caro

Código: (35354226)

Celular: 3133637964

Grupo: 200611-2125

Universidad Nacional Abierta y a Distancia UNAD

Escuela de Ciencias Basicas e Ingenieria

Pensamiento Lógico Matematico.

Madrid-cundinamarca 25 Septiembre 2021

 Introducción
En el siguiente trabajo encontraremos la solucion a ejercicos relacionados con
proposiciones, tablas de verdad y reglas de inferencia demostrando referencias logicas en
lenguaje natural y simbolico a traves de la comprension de los materiales bibliograficos y
herramientas brindados por la Universidad.
 Objetivos

 Comprender los conceptos fundamentales de la lógica proposicional y aplicarlos

para la solución de problemas.
 Interpretar de manera lógica las proposiciones simples y compuestas, mediante el
uso de conectores lógicos.
 Identificar y aplicar las leyes de inferencia poniendo en practica conocimientos
adquiridos mediante ejercicios.

ATRÁS
SIGUIENTE
Ejercicio 1 Proposiciones y Tablas de verdad

B. p: El 30% de los estadounidenses quiere vacunarse contra el virus COVID-19.

q: La vacunación ha comenzado a frenarse en Estados Unidos por diferentes motivos.
r: En algunos estados dan premios a cambio de la vacunación
[(𝒑 ∧ 𝒒) ∧ (𝒑 → 𝒓)] ⟶ (𝒓 ∧ 𝒒)
Escriba la proposición compuesta propuesta en lenguaje natural.
 Proposición en lenguaje natural:
El 30% de los estadunidenses quieren vacunarse contra el virus del COVID-19 y la
vacunación ha empezado a frenarse en ese país por diferentes motivos. Además como la
vacunación ha empezado a frenarse en Estados Unidos por diferentes motivos entonces
algunos estados dan premios a cambio de la vacunación. Por esta razón se dan premios a
cambio de la vacunación y esta ha empezado a frenarse por diferentes motivos

 Tabla de Verdad

p q r p∧q p→ r ( p∧q )∧( p →r ) r∧q [( p∧q )∧( p →r )]→(r ∧q )

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

La expresión es una TAUTOLOGIA es decir que todos sus resultados son verdaderos
 Utilización del Simulador
Ejercicio 2. Identificación de las reglas de la inferencia lógica
Tenemos las siguientes expresiones simbólicas que representan algunas leyes de inferencia
p: Realizo el trabajo de pensamiento lógico
q: Obtengo una buena nota por el trabajo

Lenguaje Ley de inferencia Lenguaje natural Conclusión

Simbólico
p∧q Ley de Obtengo una
Realizo el trabajo de pensamiento
_____ Simplificación
lógico y obtengo una buena nota
buena nota en
q el trabajo
Realizo el trabajo de pensamiento
p∨q lógico y obtengo una buena nota Realizo el
MTT (Modus
¬q trabajo de
Tollendo Ponens)
____ No obtengo una buena nota en el pensamiento
trabajo lógico
p
Realizo el trabajo de pensamiento
lógico entonces obtengo una buena
p→q nota No realice el
¬q MTT (Modus trabajo de
____ Tollendo Ponens) No obtengo una buena nota en el pensamiento
trabajo lógico
¬p

Ejercicio 3. Aplicaciones de las reglas de la inferencia lógica

Realizo 15 km en 45 minutos pedaleando tres veces por semana o corro 45 minutos diario.
Si realizo 15 km en 45 minutos pedaleando 3 veces por semana entonces mi cuerpo mejora
el sistema circulatorio. Si corro 45 minutos diario entonces mi cuerpo mejora el sistema
circulatorio.

Conclusión: Si realizo 15 km en 45 minutos tres veces por semana o corro 45 minutos

diario Mi cuerpo mejora el sistema circulatorio
 Ley de inferencia aplicada : Dilema Constructivo

( p∨q)
p→r
Lenguaje simbólico: q→r
( p →r )∨( q→r )

Ejercicio 4. Problemas de Aplicación

[( p∨q )∧( p →r )∧¬q ]→r

Premisas

P1: p∨q
P2: p→r
P3:¬q
Conclusión:r
Proposiciones:
p: Estudio el tema de pensamiento lógico
q: Realizo el taller de pensamiento lógico
r: Obtengo una buena nota por el taller

Lenguaje Natural:
Estudio el tema de pensamiento lógico o realizo el taller, si estudio el tema de pensamiento
lógico obtendré una buena nota en el taller y no realizare el taller, por tal razón obtendré
una buena nota en el taller.

Tabla de verdad [( p∨q )∧( p →r )∧¬q ]→r

[( p∨q ) [( p∨q )
p q r p∨q p→ r ¬q ( p∨q )∧( p →r ) ¿ ( p →r ) ¿ ( p →r )
¿ ¬q ] ¿ ¬q ]→r
V V V V V F V F V
V V F V F F F F V
V F V V V V V V V
V F F V F V F F V
F V V V V F V F V
F V F V V F V F V
F F V F V V F F V
 F F F F V V F F V

Leyes de Inferencia

P1: p∨q
P2: p→r
P3:¬q
Conclusión:r
P1:P2 = Dilema Constructivo = Conclusión r
P1:P3 = MTP = Conclusion p
Puedo obtener Buena nota si estudio o realizó el taller
 Conclusión

En el anterios trabajo se pudo conocer y entender los diferentes conceptos de la lógica

matemáticay la forma en que se pueden formas proposiciones mediante conectores
lógicos, representando enunciados familiares por medio de simbología lógica
desarrollando habilidades para inferir posibles soluciones.

Bibliografía

 Curo, A. (2015). Matemática básica para administradores. https://elibro-

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

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

fundamentos de álgebra lineal. Volumen I: conjuntos numéricos, complementos.
(pp. 19-28). Madrid, España: 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

https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/39454?page=30

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

Córdoba, AR: El Cid Editor. https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?page=59