INTRODUCCION

El presente documento tiene como objetivo el dar solución a los Ejercicios del literal “A”

propuestos en la guía de actividades del Curso “Pensamiento Lógico Matemático”. Esto a su vez

con el fin de poder entender los Métodos Para Probar La Validez De Argumentos. A continuación,

el desarrollo del mismo.

 OBJETIVOS

- Comprender todo lo relacionado acerca de las proposiones y tablas de verdad

- Identificar las Reglas de Inferencia lógica

- Aplicar las Reglas de Inferencia lógica

- Generar Problemas de Aplicación

 DESARROLLO DE EJERCICIOS

1. Ejercicio 1: Proposiciones y Tablas de Verdad

Desarrollo Ejercicio 1 – Literal A

p: La marihuana es legal en Colombia

q: En Colombia disminuye el microtráfico
r: En Colombia disminuye el delito de hurto

p → (q ^ r)

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

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

Si la Marihuana es legal en Colombia, Entonces En Colombia disminuye el microtráfico y En

Colombia disminuye el delito de hurto.

 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 r (q ^ r) p→(q ^ r)
V V V V V
V V F F F
V F V F F
V F F V F
F V V V V
F V F F V
F F V F V
F F F V V

Así las cosas esto es una CONTRADICCION….

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

A continuación adjunto el enlace correspondiente al video solicitado:

https://youtu.be/jqGyPloEcv4

2. Ejercicio 2: Identificación de las Reglas de Inferencia

Desarrollo Ejercicio 2 – Literal A

A. Expresión simbólica

p→q r p ∨ ¬q
p s q

q r∧s p

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.

Las leyes que representan a cada expresión son:

 - Modus Ponendo Ponens (PP)

- Adjunción (A)

- Modus Tollendo Ponens (TP)

 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),

Ejemplo:
• p: Carlos estudia en la UNAD
• q: La UNAD es una Universidad Pública

“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”.

Mis proposiciones son las siguientes:

- p: Andrés estudio en el SENA

- q: El SENA es una Institución Educativa Publica
- r: Andrés se graduó como Mecánico Industrial
- s: Andrés ha tenido trabajo, gracias a su estudio en el SENA.

3. Ejercicio 3: Aplicación de las Reglas de Inferencia Lógica

Desarrollo Ejercicio 3 – Literal A

A. Si la suma es 4+3 entonces, es igual a la suma de 6+1. Si la suma es 6+1 entonces es

igual a la suma 5+2.

p: Si la Suma es 4+3
q: Es igual a la Suma de 6+1
r: Es igual a la suma de 5+2

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
 Identificar la conclusión del argumento.

a. Conclusión: _La Suma Siempre dará como resultado 7_

 Nombrar la ley de inferencia que se aplica para probar el argumento.

b. Ley de inferencia aplicada: _Esta es la Ley de Silogismo Hipotético_

 Definir la expresión del argumento en lenguaje simbólico o formal.

 c. Lenguaje simbólico: p q
q r
_________
p r

4. Ejercicio 4: Problemas de Aplicación

Desarrollo Ejercicio 4 – Literal A

A. Expresión simbólica: {(𝑝∨𝑞) ∧ (𝑝→𝑟) ∧ (¬𝑟∧¬𝑞)} → (𝑝∧𝑟)

Premisas:
P1: 𝑝∨ 𝑞
P2: 𝑝→𝑟
P3: ¬𝑟∧¬𝑞
Conclusión: 𝑝∧𝑟

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

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

Mis proposiciones son las siguientes:

- p: Andrés estudio en el SENA

- q: El SENA es una Institución Educativa Publica
- r: Andrés se graduó como Mecánico Industrial

 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.

{(𝑝∨𝑞) ∧ (𝑝→𝑟) ∧ (¬𝑟∧¬𝑞)} → (𝑝∧𝑟)

Andrés estudio en el SENA o El SENA es una Institución Educativa Publica y Andrés estudio en
el SENA si entonces Andrés se graduó como Mecánico Industrial y si Andrés No se graduó como
Mecánico Industrial y El SENA No es una Institución Educativa Publica, si entonces Andrés
estudio en el SENA y Andrés se graduó como Mecánico Industrial.

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel
o foto del desarrollo manual).