Reto 1- Métodos Argumento

Francisco Javier Castrillón

Periodo 2021 1-02 – Pensamiento lógico y matemático

Curso 200611- 108

Tutor: Jeidy Johanna Gomez

Universidad Nacional Abierta y a Distancia – UNAD

Escuela de Ciencias Básicas Tecnología e Ingeniería – ECBTI
Ingeniería Industrial – I Semestre

Villa Garzón
2021
 INTRODUCCION

Este trabajo se realiza para evidenciar los conocimientos que he adquirido en este primer
trabajo del curso, por ello se van a encontrar las diapositivas que diseñe en donde se
explique que es un cuantificador universal positivo y se dan algunos ejemplos, de igual
manera se van a encontrar dos ejercicios donde se puede evidenciar el desarrollo y
entendimiento acerca del tema de la tabla de verdad.

Un cuantificador universal positivo es aquella proposición simple que siempre va en

positivo, por ejemplo, todas las verduras son saludables, en lógica proposicional se
expresaría vx, siendo x verduras.

Las proposiciones simples pueden convertir en proposiciones compuestas a través de

conectores como y, o, entonces, si y solo si, entre otros que veremos a lo largo del curso.
Por medio de estos conectores podemos definir que método utilizar para definir si las
premisas son verdad o falsas.
 OBJETIVOS

Objetivo general

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

resolución de problemas.

Objetivos específicos

. Definir que es un cuantificador y cual son los cuantificadores que existen y diferéncialos

. Expresar proposiciones compuestas en lenguaje simbólico o formal.

. Generar tabla de la verdad manualmente y comprobar en resultado con el simulador lógico

de la unad.
Ejercicio 1: Proposiciones y tablas de verdad

➢ Escriba la proposición compuesta propuesta en lenguaje natural.

Si Laura Restrepo es una escritora uruguaya y Laura Restrepo nació en Bogotá el primero
de enero de 1950 y si Jorge Isaac fue el escritor de la María que es una de las obras más
destacadas de la literatura hispanoamericana del siglo XIX entonces Laura Restrepo es una
escritora uruguaya y Laura Restrepo nació en Bogotá el primero de enero de 1950 o Laura
Restrepo no es una escritora uruguaya entonces Jorge Isaac fue el escritor de la María que
es una de las obras más destacadas de la literatura hispanoamericana del siglo XIX y Laura
Restrepo es una escritora uruguaya.

➢ Generar la tabla de verdad a través del simulador Lógica UNAD, el paso a paso
para uso del simulador lo podrá encontrar en el anexo 2 (Simulador Lógica UNAD),
ubicado en el entorno de aprendizaje en la carpeta Guía de actividades y rúbrica de
evaluación - Unidad 1- Tarea 1 - Métodos para probar la validez de argumentos.
➢ 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.

Es una indeterminada ya que presenta valores falsos como también verdaderos.

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

➢ Nombrar la ley de inferencia que representa cada expresión

simbólica.

(pp)

➢ Definir las proposiciones simples

 A. Carlos es el mejor ingeniero industrial de Colombia
B. Carlos estudio hace 3 décadas en la unad
C. Carlos gana mucho dinero con su trabajo
p. David es el mejor atleta de Colombia
q. David se lesionó su pierna
➢ Construir el lenguaje natural de cada ley de Inferencia
expresada en lenguaje simbólico.

1. Carlos es el mejor ingeniero industrial de Colombia o Carlos estudio

hace 3 décadas en la unad. Si Carlos es el mejor ingeniero industrial
de Colombia entonces Carlos gana mucho dinero con su trabajo. Si
Carlos estudio hace 3 décadas en la unad entonces Carlos gana
mucho dinero con su trabajo. Por lo tanto, Carlos gana mucho dinero
con su trabajo
2. David es el mejor atleta de Colombia o David se lesionó su pierna.
David no es el mejor atleta de Colombia por lo tanto David se lesionó
su pierna.

3. Si David es el mejor atleta de Colombia entonces David se lesionó su

pierna. David es el mejor atleta de Colombia. Por lo tanto, David se
lesionó su pierna.

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

E. Cambio mis hábitos de alimentación o soy un consumidor

responsable del agua. Si cambio mis hábitos de alimentación entonces
prefiero los productos orgánicos. Soy un consumidor responsable del agua
entonces prefiero los productos orgánicos.

a. Conclusión: se debe ser responsable con el agua.

b. Ley de inferencia aplicada: Modus Ponendo Ponens

c. Lenguaje simbólico:
Ejercicio 4: Problemas de aplicación

➢ Definir las proposiciones simples

P: el gato es lindo
Q el gato salta mucho
R: el gato tiene las uñas muy largas

➢ lenguaje natural.

Si El gato es lindo o el gato salta mucho y si el gato es lindo entonces el

gato tiene las uñas muy largas y si el gato salta mucho entonces el gato
tiene las uñas muy largas y el gato no es lindo y el gato no tiene las uñas
muy largas entonces el gato salta mucho y el gato tiene las uñas muy
largas.

➢ tabla de la verdad manual

➢ Tabla de la verdad simulador

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

la inferencia lógica

Conclusiones.
1. Mejorar en la utilización de la temática de la unidad 1 y sus
retos
2. Mejorar en el uso de las premisas de cualquier tipo de
afirmaciones