Ejercicio 1: Proposiciones y tablas de verdad

Para el desarrollo de este ejercicio, es necesario que revise en el Entorno de Aprendizaje

(Unidad 1 -Contenidos y referentes bibliográficos), la siguiente referencia:
• Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación.
(pp. 12 - 31). Ediciones Elizcom, Madrid.Una vez realizada la lectura, desarrolle el
ejercicio propuesto..

A continuación, encontrará los argumentos para el desarrollo del

ejercicio 1:
A. p: El 2020 fue un año atípico para todo el mundo
q: El COVID19 afecto gran parte de la economía
r: El COVID19 nos hizo reinventar en muchos campos de acción

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

El 2020 fue un año atípico para todo el mundo ó 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 solo sí,
El COVID19 afecto gran parte de la economía.

➢ 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.
p q r Pvr p↔q Solución
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

5 ➢ 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.
Ejercicio 2: Identificación de las reglas de la inferencia lógica

Descripción del ejercicio:

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:

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

1. Modus Ponendo Ponens

2. Modus Tollendo Tollens

 3. Silogismo hipotético

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

Proposiciones:
P: Maria está estudiando Ingeniería de Sistemas en la UNAD
q: Maria está viendo una materia que se llama lógica matemática.
r: Maria debe realizar la primera tarea de métodos para probar la validez de argumentos.
S: Maria tiene plazo hasta el 18 de octubre para la entrega de la tarea.

➢ Construir el lenguaje natural de cada ley de Inferencia expresada

en lenguaje simbólico.
1.

Maria debe realizar la primera tarea de métodos para probar la validez de argumentos,
entonces, ella tiene plazo hasta el 18 de octubre para la entrega de la tarea. Maria debe
realizar la primera tarea de métodos para probar la validez de argumentos. Por lo tanto,
Maria tiene plazo hasta el 18 de octubre para la entrega de la tarea.

2.

Maria está estudiando Ingeniería de Sistemas en la UNAD, entonces, Maria está viendo
una materia que se llama lógica matemática. Ella No está viendo una materia que se llama
lógica matemática. Por lo tanto, Maria no está estudiando Ingeniería de Sistemas en la
UNAD.

3.
Maria está estudiando Ingeniería de Sistemas en la UNAD, entonces, Maria está viendo
una materia que se llama lógica matemática. Ella está viendo una materia que se llama
lógica matemática, entonces, Maria debe realizar la primera tarea de métodos para probar
la validez de argumentos. Por lo tanto, Maria está estudiando Ingeniería de Sistemas en la
UNAD, entonces, ella debe realizar la primera tarea de métodos para probar la validez de
argumentos.

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

Descripción del ejercicio:
A continuación, encontrará los argumentos para el desarrollo del
ejercicio 3:
A. Si Rafael va al gimnasio entonces Rafael tiene un cuerpo tonificado.
Rafael va al gimnasio.
a. Conclusión: __Rafael tiene un cuerpo tonificado
b. Ley de inferencia aplicada: _____________Modus ponendo ponens___________
c. Lenguaje simbólico:

Ejercicio 4: Problemas de aplicación

Descripción del ejercicio:

A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un
argumento para el desarrollo del ejercicio 4:

A. Expresión simbólica:
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: Maria estudia en UNAD
q: La materia de lógica matemática es muy difícil
r: Maria va en su carro a la Universidad

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

Maria estudia en UNAD, entonces, ella no va en su carro a la Universidad, y La materia de

lógica matemática no es muy difícil, entonces, Maria estudia en UNAD, y Maria estudia
en UNAD, y , la materia de lógica matemática no es muy difícil. Por lo tanto, Maria
estudia en UNAD y ella no va en su carro a la Universidad.

➢ 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 (En Word,
Excel o foto del desarrollo manual).

Foto del desarrollo en Excel.

Es una tautología.

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

p 1: p →¬ r
p 2:¬ q → p
P 3: p Λ ¬ q
conclusión : p Λ ¬r

P4: simplifico en P3, y escojo la p

P6: Aplico Modus ponendo ponens (PP). P1 yP4= ¬ r
P7: Aplico Adjunción entre P4 y P6= p Λ ¬r