Tarea 1: Proposiciones y Tablas de Verdad

John Jairo Calderón Amaya Cód. 1.107.038.879

Grupo 200611_787

Tutora
Amelia Elizabeth Córdoba

Universidad Nacional Abierta y a Distancia

Pensamiento Lógico y Matemático
Risaralda 8 Marzo 2020
 Introducción

En las siguientes páginas el lector podrá encontrar el desarrollo de la guía de actividades

correspondiente a la Tarea 1: Proposiciones y Tablas de Verdad del curso Pensamiento Lógico y
Matemático de la Universidad Nacional Abierta y a Distancia UNAD.
Con el objetivo principal de que el estudiante comprenda los conceptos fundamentales de la
lógica proposicional y los aplica para la resolución de problemas, mediante la Lógica
proposicional, tablas de verdad en proposiciones compuestas, álgebra de proposiciones,
tautologías y contradicciones y contingencias, proposiciones categóricas, cuantificadores.
El lector encontrará los ejercicios 1, 2 y 3 del literal E de la guía de actividades del curso, con su
respectiva solución.
 Desarrollo de los Ejercicios

Ejercicio 1: Conceptualización de Cuantificadores

Con base en los contenidos desarrollados en la lectura, el estudiante debe escoger uno de los
siguientes temas y presentarlo de manera gráfica a través de una presentación, utilizando un
recurso didáctico tipo PREZI, PowerPoint u otra herramienta digital. A partir del tema deberá dar
su definición y dos ejemplos.

 E. Equivalencias entre cuantificadores.

Ejercicio 2: Proposiciones y Tablas de verdad
A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:

 E. Si Elisa es docente de matemáticas entonces enseña el curso de Estadística o el de

Lógica matemática. Y si ella dicta Herramientas digitales, entonces Elisa no es docente
de matemáticas.

 Definir las proposiciones simples del argumento.

p: Elisa es docente de Matemáticas

q: Elisa enseña el Curso de Estadística
r: Elisa enseña el curso de Lógica Matemática
s: Elisa dicta herramientas digitales
  Definir la expresión del argumento en lenguaje simbólico o formal.

[p -> (q ∨ r) ∧ (s-> ¬ p)]

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico.

 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 s ¬p (q ∨ r) (s-> ¬ p) p -> (q ∨ r) [p -> (q ∨ r) ∧ (s-> ¬ p)]

V V V V F V F V F
V V V F F V V V V
V V F V F V F V F
V V F F F V V V V
V F V V F V F V F
V F V F F V V V V
V F F V F F F F F
V F F F F F V F F
F V V V V V V V V
F V V F V V V V V
F V F V V V V V V
F V F F V V V V V
F F V V V V V V V
F F V F V V V V V
F F F V V F V V V
F F F F V F V V V

El resultado es una Contingencia, ya que se evidencias valores tanto falsos como verdaderos
Ejercicio 3: Problemas de aplicación
A partir de la proposición compuesta en lenguaje simbólico que haya seleccionado deberá:

 E. [(∼ 𝑝 ⟶ 𝑞) ∧ (𝑝 ∧ 𝑟)]

 Definir las proposiciones simples:

p: María hoy no fue a la UNAD
q: María perdió el Examen
r: La profesora le hizo el examen

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

María hoy no fue a la UNAD entonces perdió el examen y al día siguiente María fue a la UNAD
y la profesora le hizo el examen.

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico

  Definir si el argumento seleccionado inicialmente es una tautología, contradicción o
contingencia
Es Contingencia, porque hay valores tanto verdaderos como falsos.
 Conclusiones

 Se dio solución a la guía de actividades de la tarea 1 del curso Pensamiento Lógico y

Matemático.
 Se dio solución a los ejercicios 1, 2 y 3 del literal E de dicha guía.
 Se comprendieron los conceptos fundamentales de la lógica proposicional y fueron
aplicados para la resolución de problemas.