Ejercicio 1: Proposiciones y tablas de verdad
D.
p: Los equipos de futbol de Colombia cesaron sus actividades a causa
del COVID19
q: Los jugadores del Deportes Tolima siguieron entrenando desde sus
casas bajo la dirección Hernán Torres
r: Algunos equipos del futbol colombiano siguieron entrenando de forma
presencial
(𝑝 → ~𝑞) ∨ (~𝑟 ↔ 𝑝)
Escriba la proposición compuesta propuesta en lenguaje
natural.
Si los equipos de futbol de Colombia cesaron sus actividades a causa del
COVID 19, entonces los jugadores del deportes Tolima no siguieron
entrenando desde sus casas bajo la dirección de Hernán Torres, o si y solo
si algunos equipos del futbol colombiano no siguieron entrenando de forma
presencial entonces los equipos de fútbol de Colombia cesaron sus
actividades a causa del COVID 19.
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.
EL RESULTADO ES UNA CONTINGENCIA; ya que no es ni
verdadera ni falsa.
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.
Ejercicio 2:
A partir del argumento en lenguaje simbólico deberá dar respuesta a los
siguientes ítems:
➢ Nombrar la ley de inferencia que representa cada expresión
simbólica.
Conjunción: es la inferencia que una proposición r es verdadera y la
proposición s es verdadera, entonces la conjunción lógica de dos
proposiciones r y s es verdadera.
Modus tollendo ponens o silogismo disyuntivo: establece que, si se nos
dice que al menos una de las dos proposiciones es verdadera; y también se
nos dijo que no es la primera la que es verdadera; se puede inferir que debe
ser la última la que es verdadera. Es decir, si r o s es verdadero y r es falso,
entonces r es verdadero.
Modus ponendo ponens: Se puede resumir como "si r implica s;
y si r es verdad; entonces s también es verdad.
➢ 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.
r: David estudia
s: David aprueba el semestre
conclusión: David estudia y aprueba el
semestre.
r V s: valentina interpreta piano o guitarra
¬r: valentina no interpreta piano
Conclusión: (s) valentina interpreta guitarra
: si ahorro, entonces tendré dinero
r: yo ahorro
conclusión: (s) tendré dinero
Ejercicio 3: Aplicación de las reglas de la inferencia lógica
D. A Emilio le gusta viajar durante las vacaciones a tierra caliente
o a Emilio le gusta viajar durante las vacaciones a tierra fría. A
Emilio no le gusta viajar durante las vacaciones a tierra caliente
a. Conclusión: a Emilio le gusta viajar durante las vacaciones a
tierra fría.
b. Ley de inferencia aplicada: Modus tollendo ponens
c. lenguaje simbólico:
: A Emilio le gusta viajar durante las vacaciones a tierra
caliente o a Emilio le gusta viajar durante las vacaciones a tierra fría.
: A Emilio no le gusta viajar durante las vacaciones a tierra
caliente
Conclusión: A Emilio le gusta viajar durante las vacaciones a
tierra fría.
Ejercicio 4: Problemas de aplicación
D. Expresión simbólica:
[(𝒑 ∨ 𝒒) ∧ (¬𝒒) ∧ (𝒑 → 𝒓) ∧ (𝒒 → 𝒓)] → (𝒑 ∧ 𝒓)
Premisas:
P1: 𝒑 ∨ 𝒒
P2: ¬𝒒
P3: 𝒑 → 𝒓
P4: 𝒒 → 𝒓
Conclusión: 𝒑 ∧ r
➢ 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: juan es un artista.
q: juan no es tranquilo.
r: juan es actor.
➢ Remplazar las variables expresadas simbólicamente y
llevarlas al lenguaje natural. Las proposiciones simples deben
ser de autoría de cada estudiante
Juan es un artista o no es tranquilo, juan es tranquilo. Si juan es artista
entonces es actor. Si Juan no es tranquilo entonces es actor. Juan es
artista y actor.
➢ Generar una tabla de verdad manualmente a partir del
lenguaje simbólico (En Word, Excel o foto del desarrollo
manual).
➢ Generar la tabla de verdad a través del simulador Lógica
UNAD
EL RESULTADO DE LA TABLA ES UNA TAUTOLOGIA
