Universidad Nacional Abierta y a Distancia

Vicerrectoría Académica y de Investigación

Curso: Pensamiento Lógico y Matemático
Código: 200611

Guía de actividades y rúbrica de evaluación – Tarea 1

Métodos para probar la validez de argumentos

A continuación, encontrará las proposiciones simples para el desarrollo del

ejercicio 1:
“Voy a desarrollar los ejercicios C”

p: Los estudiantes de la UNAD entregan sus actividades a través de la plataforma

q: Algunos estudiantes de la UNAD estudian Administración Financiera
r: Los estudiantes hacen uso del correo personal para entregar las actividades
(~p ↔ q) → (~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.

Los estudiantes de la unad no entregan sus actividades atraves de la plataforma si y solo

si algunos estudiantes de la unad estudian administración financiera,entonces algunos
estudiantes de la unad no estudian administración financiera o los estudiantes hacen uso
del correo personal para entregar las actividades.

➢ 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)→(῀qvr
p q r (῀p↔q) (῀qvr) )
v v v f f v f v v v
v v f f f v f f f v
v f v f v f v v v v
v f f f v f v v f v
f v v v v v f v v v
f v f v v v f f f f
 f f v v f f v v v v
f f f v f f v v f v

El resultado de la tabla de verdad es de tipo contingencia.

Ejercicio 2: Identificación de las reglas de la inferencia lógica

C) Expresión simbólica

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.

Para la primera expresión simbólica la ley de inferencia es Modus Ponendo Ponens

Para la segunda expresión simbólica la ley de inferencia es Modus Tollendo Tolens
Para le tercera expresión simbólica la ley de inferencia es de simplificación

➢ 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

a=p=r: Si como en exceso

b=s: Me voy a marear
q: Vomitare
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.
➢ Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje
simbólico.
1. En la primera expresión tenemos que si como en exceso (a, p, r) entonces me voy
a marear (b, s), si afirmo que comí en exceso entonces puedo afirmar que me voy
a marear
2. La segunda expresión dice que si como en exceso (a, p, r) entonces me voy a
marear (b, s), y si niego que me he mareado entonces puedo negar que he comido
en exceso
3. La tercera expresión dice que si como en exceso (a, p, r) vomitare, puedo
simplificarlo en que comí en exceso.

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:
C. Si Camilo estudia Ingeniería electrónica entonces Camilo utiliza simuladores para
realizar los circuitos. Camilo no utiliza simuladores para realizar los circuitos.
a. Conclusión: Camilo no estudia Ingeniería electrónica
b. Ley de inferencia aplicada: Modo Tollendo Tollens
c. Lenguaje simbólico: (a→b)˄(~b)→ ~ a

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

➢ Identificar la conclusión del argumento.

Camilo no estudia Ingeniería electrónica

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

Modo Tollendo Tollens

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

(a→b)˄(~b)→ ~ a