Tarea 1 – Proposiciones y Tablas de Verdad

Mónica Celis Ariza

Código: 1002674420
Pensamiento lógico y matemático
Grupo: 462
Tutor:
Yady Milena Camacho

Universidad Nacional Abierta y a Distancia-UNAD-Vicerrectoría de Servicios a

Aspirantes Estudiantes y Egresados-VISAE
Programa: Psicología

Pauna Boyacá
23-02-2020
 Introducción

El propósito de este trabajo es que el estudiante desarrolle habilidades, analice, interprete la

lógica de cada punto, conocer y manejar cuantificadores para poder serlos explicito en una

presentación didáctica, entender proposiciones y manejar una tabla de verdad, se resuelve y

se identifica la proposición compuesta que puede ser tautología, contradicción y

contingencia.
 Objetivos

 Aumentar el interés por la matemática y el pensamiento lógico matemático a través

de actividades motivadores para el universitario, con un contenido visual y útil.

 Este trabajo busca que el estudiante conozca y explique los conceptos de lógica

proporcional.
 Ejercicio 1: Conceptualización de Cuantificadores

https://prezi.com/view/jaqY6buZSjVMOPDHIUr2/
 Ejercicio 2: Proposiciones y Tablas de verdad

Descripción del ejercicio:

A. Si la base de un triángulo mide 6 cm y su altura mide 10 cm. Por lo tanto, su área

mide 60 cm2

 Definir las proposiciones simples del argumento.

p: la base de un triángulo mide 6 cm

q: la altura mide 10 cm

r: el área mide 60 cm

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

(p∧q) →r

2³=2x2=4x2=8

Fórmula para hallar el resultado; una regla de tres simple, (2n).

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

Resultado de la tabla: Contingencia.

 Ejercicio 3: Problemas de aplicación

Descripción del ejercicio:

A. [ p →(q r )]

 Definir las proposiciones simples del argumento.

p: El rector de la UNAD es Jaime Alberto Leal Afanador.

q: La UNAD es una institución de carácter público.

r: En la UNAD se estudia de forma presencial.

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

natural.

El rector de la UNAD es Jaime Alberto Leal Afanador, y la UNAD es una institución

de carácter público, en la UNAD se estudia de forma presencial.

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

Resultado de la tabla: Contingencia.
 Bibliografía

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

computación. (pp. 106-112). Ediciones Elizcom, Madrid. Recuperado

de https://ebookcentral-proquest-

com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?

docID=3199701&ppg=109

 Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y

fundamentos de álgebra lineal. Volumen I: conjuntos numéricos,

complementos. (pp. 19-28). Madrid, España: Editorial Tébar Flores. Recuperado

de https://ebookcentral-proquest-

com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?

docID=3226457&ppg=20

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

computación. (pp. 9-28). Ediciones Elizcom, Madrid. Recuperado

de https://ebookcentral-proquest-

com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?

docID=3199701&ppg=12