TAREA 1-Logica matematica (1)

Ejercicio 1: Proposiciones y tablas de verdad
Escriba la proposición compuesta propuesta en lenguaje natural.
En los juegos olímpicos de invierno NO se utiliza nieve artificial, SI Y SOLO SI el calentamiento
global NO amenaza los deportes de nieve. ENTONCES, en Beijing NO se utiliza el 100% de nieve
artificial.
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.
q
V
V
V
V
F
F
F
F
r
V
V
F
F
V
V
F
F
s
V
F
V
F
V
F
V
F
-q
F
F
F
F
V
V
V
V
-r
F
F
V
V
F
F
V
V
-s
F
V
F
V
F
V
F
V
V
V
F
F
F
F
V
V
F
V
V
V
V
V
F
V
Es una CONTINGENCIA porque no son todos verdaderos, ni todos falsos.
Generar la tabla de verdad a través del simulador Lógica UNAD,
Realizar un vídeo donde explique la forma cómo fue desarrollado el ejercicio 1 seleccionado
LINK:
Ejercicio 2: Identificación de las reglas de la inferencia lógica
a.
Nombrar la ley de inferencia que representa la expresión simbólica.
Modus Tollendo Tollens (MTT)
Definir las proposiciones simples, tendrá la libertad de definirlas bajo una descripción basada en
un contexto
s: Juan estudia en la UNAD
r: Juan tendrá un buen empleo
Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje simbólico.
Si Juan NO estudia en la Unad entonces Juan NO tendrá un buen empleo. Juan tendrá un buen
empleo. Por lo tanto, Juan estudia en la UNAD.
b.
Nombrar la ley de inferencia que representa la expresión simbólica
Silogismo Hipotético (SH)
Definir las proposiciones simples
p: Yo estudio duro todos los días
q: Aprobaré la materia
s: tendré un buen empleo
Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje simbólico
Si Yo estudio duro todos los días, entonces NO aprobaré la materia. SI No aprobé la materia,
ENTONCES tendré un buen empleo. Por lo tanto, SI yo estudio duro todos los días, ENTONCES
tendré un buen empleo.
c.
Nombrar la ley de inferencia que representa la expresión simbólica
Modus Tollendo Ponens (MTP)
Definir las proposiciones simples
q: practico mucho deporte
s: Estoy agotado
Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje simbólico
Practico mucho deporte O estoy agotado. NO estoy agotado. Por lo tanto, Practico mucho deporte.
Ejercicio 3: Aplicación de las reglas de la inferencia lógica
a. Lenguaje simbólico
p: Egan Bernal pertenece al equipo INEOS
b. Ley de inferencia aplicada
~(~𝑝)
__________
p
Doble Negación (DN)
c. Conclusión
Egan Bernal pertenece al equipo INEOS
Ejercicio 4: Problemas de aplicación
Definir las proposiciones simples
p: Luis estudia matemáticas
q: Luis aprobó el examen
r: Luis aprobó la materia de matemáticas
Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural
Si Luis estudia matemáticas, entonces Luis aprobó el examen y Luis no aprobó la materia y Luis
estudia matemáticas Por lo tanto, Luis no aprobó la materia de matemáticas
Generar una tabla de verdad manualmente a partir del lenguaje simbólico
p
q
r
-r
𝑞 ∧∼ 𝑟
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
F
V
F
V
F
V
F
V
F
V
F
F
F
V
F
F
F
V
F
F
V
V
V
V
Es una TAUTOLOGIA porque todas son verdaderas.
F
V
F
F
F
F
F
F
V
V
V
V
V
V
V
V
Generar la tabla de verdad a través del simulador Lógica UNAD
Escriba la proposición compuesta propuesta en lenguaje natural.
Si Colombia NO es un país de la unión europea, entonces Colombia es un país de habla hispana y si
Colombia NO es un país de la unión europea entonces Colombia es un país de habla hispana.
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
-p
V
V
F
F
V
F
V
F
F
F
V
V
V
V
V
F
F
F
V
F
Es una TAUTOLOGIA porque todos los valores son verdaderos
Generar la tabla de verdad a través del simulador Lógica UNAD,
V
V
V
V