Pensamiento Logico Ejercicio A

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 7

DESARROLLO TAREA 1

1. A partir del argumento que haya seleccionado deberá dar respuesta a los
siguientes ítems:

a) Escriba la proposición compuesta propuesta en lenguaje natural.

b) 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.

c) 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.

d) Realizar un vídeo donde explique la forma como fue desarrollado el


ejercicio 1 seleccionado. La realización del vídeo puede ser con la cámara
del celular, cámara del pc u otra alternativa que se le facilite. El estudiante
debe aparecer en la grabación de frente y mostrar a la cámara su
documento de identificación, ocultando el número del mismo (En la imagen
se debe ver claramente el nombre y apellidos del estudiante). Deberá subir
el link del vídeo a YouTube u otra plataforma de vídeos y pegar el enlace
debajo de la solución del ejercicio en el documento final a entregar. El vídeo
no debe superar los 3 minutos de duración.

p: El 2020 fue un año atípico para todo el mundo


q: El COVID19 afectó gran parte de la economía
r: El COVID19 nos hizo reinventar en muchos campos de acción

(𝑝 ∨ 𝑟) ∧ (𝑝 ↔ 𝑞)
SOLUCIÓN
a) Lenguaje natural
(𝑝 ∨ 𝑟) ∧ (𝑝 ↔ 𝑞): El 2020 fue un año atípico para todo el mundo o el COVID19
nos hizo reinventar en muchos campos de acción y, el 2020 fue un año
atípico para todo el mundo si y sólo si el COVID19 afectó gran parte de la
economía.
b) Tabla de verdad manual

p q r p ∨r p⟷q ( p ∨r )∧( p ⟷ q)
V V V V V V
V V F V V V
V F V V F F
V F F V F F
F V V V F F
F V F F F F
F F V V V V
F F F F V F

Es una contingencia, ya que se obtuvo V (verdadero) y F (falso) en la


proposición compuesta.

c) Tabla de verdad simulador UNAD

2. A continuación, encuentra el lenguaje simbólico de expresiones que


representan algunas leyes de inferencia. A partir del argumento en lenguaje
simbólico deberá dar respuesta a los siguientes ítems:
a) Nombrar la ley de inferencia que representa cada expresión simbólica.

b) 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 (puede usar las mismas proposiciones simples en cada una de
las 3 expresiones simbólicas seleccionadas)

c) Construir el lenguaje natural de cada ley de Inferencia expresada en


lenguaje simbólico.

Expresión simbólica
r ⟶s p⟶q p⟶q
r ¬q q⟶r
s ¬p p ⟶r
SOLUCIÓN
Expresión simbólica
r ⟶s
r
s
Ley de inferencia de la expresión
Modus Ponendo Ponens (PP)
Proposiciones simples:
r : Patricia cursa el primer semestre de Sicología en la UNAD
s : Patricia empezó su carrera profesional en la UNAD
Lenguaje Natural
Si Patricia cursa el primer semestre de Sicología en la UNAD entonces Patricia
empezó su carrera profesional en la UNAD. Patricia cursa el primer semestre de
Sicología en la UNAD. Por lo tanto, Patricia empezó su carrera profesional en la
UNAD.

Expresión simbólica
p⟶q
¬q
¬p
Ley de inferencia de la expresión
Modus Tollendo Tollens (TT)
Proposiciones simples:
p : La UNAD es la mejor universidad a distancia de Colombia
q : Los profesionales egresados de la UNAD están bien preparados para ejercer
dentro de la sociedad.
Lenguaje Natural
Si la UNAD es la mejor universidad a distancia de Colombia entonces los
profesionales egresados de la UNAD están bien preparados para ejercer dentro de
la sociedad. Los profesionales egresados de la UNAD no están bien preparados
para ejercer dentro de la sociedad. Por lo tanto, la UNAD no es la mejor
universidad a distancia de Colombia.

Expresión simbólica
p⟶q
q⟶r
p ⟶r
Ley de inferencia de la expresión
Silogismo Hipotético (SH)
Proposiciones simples:
p : La UNAD es la mejor universidad a distancia de Colombia
q : Los profesionales egresados de la UNAD están bien preparados para ejercer
dentro de la sociedad.
r : Patricia cursa el primer semestre de Sicología en la UNAD
Lenguaje Natural
Si la UNAD es la mejor universidad a distancia de Colombia entonces los
profesionales egresados de la UNAD están bien preparados para ejercer dentro de
la sociedad. Si los profesionales egresados de la UNAD están bien preparados
para ejercer dentro de la sociedad entonces Patricia cursa el primer semestre de
Sicología en la UNAD. Por lo tanto, si la UNAD es la mejor universidad a distancia
de Colombia entonces Patricia cursa el primer semestre de Sicología en la UNAD.
3. A partir del argumento que haya seleccionado deberá dar respuesta a los
siguientes ítems:
a) Identificar la conclusión del argumento.
b) Nombrar la ley de inferencia que se aplica para probar el argumento.
c) Definir la expresión del argumento en lenguaje simbólico o formal.

Si Rafael va al gimnasio entonces Rafael tiene un cuerpo tonificado. Rafael va


al gimnasio.

SOLUCIÓN
a. Conclusión: __Rafael tiene un cuerpo tonificado________
b. Ley de inferencia aplicada: _Modus Ponendo Ponens (PP)__
c. Lenguaje simbólico: r ⟶s
r
s

4. A partir de la expresión simbólica seleccionada, el estudiante deberá:


a) 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, ejemplo: • p: Carlos estudia en la UNAD • q: La UNAD es una
Universidad Pública
b) Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje
natural. Las proposiciones simples deben ser de autoría de cada
estudiante, por lo que de encontrar proposiciones iguales entre estudiantes
se considerara como copia y se tomaran las medidas correctivas
estipuladas por la UNAD.
c) Generar una tabla de verdad manualmente a partir del lenguaje simbólico
(En Word, Excel o foto del desarrollo manual).
d) 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.
e) Demostración de la validez del argumento mediante las leyes de la
inferencia lógica
Expresión simbólica:
{(𝒑 → ¬𝒓) ∧ (¬𝒒 → 𝒑) ∧ (𝒑 ∧ ¬𝒒)} → (𝒑 ∧ ¬𝒓)
Premisas:
P1: 𝒑 → ¬𝒓
P2: ¬𝒒 → 𝒑
P3: 𝒑 ∧ ¬𝒒
Conclusión: 𝒑 ∧ ¬𝒓

SOLUCIÓN
a) Proposiciones simples
p : Patricia obtiene calificaciones mayores a 4.0 en matemáticas.
q : Patricia es responsable con los trabajos colaborativos de matemáticas.
r : Patricia empezó su carrera profesional en la UNAD.

b) Lenguaje natural
Si Patricia obtiene calificaciones mayores a 4.0 en matemáticas entonces
Patricia no empezó su carrera profesional en la UNAD. Si Patricia no es
responsable con los trabajos colaborativos de matemáticas entonces Patricia
obtiene calificaciones mayores a 4.0 en matemáticas. Patricia obtiene
calificaciones mayores a 4.0 en matemáticas y Patricia no es responsable con
los trabajos colaborativos de matemáticas. Por lo tanto, Patricia obtiene
calificaciones mayores a 4.0 en matemáticas y Patricia no empezó su carrera
profesional en la UNAD.

c) Tabla de verdad manual


d) Tabla de verdad simulador UNAD

e) Demostración de la validez del argumento mediante las leyes de la


inferencia lógica

P1: 𝒑 → ¬𝒓
P2: ¬𝒒 → 𝒑
P3: 𝒑 ∧ ¬𝒒

P4: ¬𝒒 →¬𝒓 ……………………..Silogismo Hipotético entre p2 y p1


P5: 𝒓 → 𝒒 ………………………. Contrarrecíproca de p4
P6: ¬𝒒 ……………………………Simplificación de p3
P7: ¬𝒓 ……………………………Tolendo Tollens entre p5 y p6
P8: 𝒑 ……………………………..Simplificación de p3
P9: 𝒑 ∧ ¬ 𝒓 ………………………Adjunción entre p8 y p7

También podría gustarte