Pensamiento Lógico Matemático

Unidad 1

Proposiciones y tablas de verdad

Presentado por:

Kellys Móvil

Cod: 1010034339

Grupo
200611_322

Tutora

Angela Dubelly Montoya

Universidad Nacional Abierta y a Distancia – UNAD

Programa de psicología

2019
 Introducción

En el presente trabajo se abordaran las temáticas de las proposiciones lógicas, las

cuales están determinadas por el valor de verdad que cada una ellas presenta, por lo cual se
hace necesaria la aplicación de las diferentes relaciones entre las proposiciones, el
reconocimiento de las proposiciones simples dentro de una compuesta, pasar del lenguaje
formal al lenguaje natural y viceversa, realizar las tablas de verdad y verificar sus
resultados en el simulador online Truth Table.

Con cada una de las temáticas se aborda la unidad 1 del curso, denominada
Proposiciones y tablas de verdad, la cual es fundamental para las siguientes etapas del
curso.
 Objetivos

Objetivo general: Desarrollar ejercicios relacionados con las temáticas de Proposiciones y

tablas de verdad.

Objeticos específicos:

 Conceptualizar de forma clara y veraz sobre los cuantificadores en la lógica

matemática.
 Identificar los valores de verdad de las proposiciones simples.
 Reconocer las proposiciones simples de una proposición compuesta.
 Comprender los diversos conectores lógicos para determinar el valor de verdad de
una proposición compuesta.
 Cambiar proposiciones compuestas del lenguaje formal a lenguaje natural y
viceversa.
 Construir tablas de verdad a partir de los conectores lógicos y comprobar su
resultado en el simulador Truth Table.
 Desarrollo de las actividades

Ejercicio 1: Conceptualización de Cuantificadores

Descripción del ejercicio: 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.

Link de la presentación en Prezi:

https://prezi.com/view/eekDKePCVuW7HjZUAsED/

Captures
 Ejercicio 2: Proposiciones y Tablas de verdad
C) Pereira es el nombre de una ciudad o Pereira es un apellido, entonces Pereira es
un sustantivo.

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
 Definir las proposiciones simples del argumento.

𝒑: 𝑃𝑒𝑟𝑒𝑖𝑟𝑎 𝑒𝑠 𝑒𝑙 𝑛𝑜𝑚𝑏𝑟𝑒 𝑑𝑒 𝑢𝑛𝑎 𝑐𝑖𝑢𝑑𝑎𝑑

𝒒: 𝑃𝑒𝑟𝑒𝑖𝑟𝑎 𝑒𝑠 𝑢𝑛 𝑎𝑝𝑒𝑙𝑙𝑖𝑑𝑜

𝒓: 𝑃𝑒𝑟𝑒𝑖𝑟𝑎 𝑒𝑠 𝑢𝑛 𝑠𝑢𝑠𝑡𝑎𝑛𝑡𝑖𝑣𝑜

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

(𝒑⋁𝒒) → 𝒓

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico (El estudiante encontrará la Guía para el uso de recursos educativos
Simulador Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link
de acceso al recurso)
  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 pVq (p V q) → r
V V V V V
V V F V F
V F V V V
V F F V F
F V V V V
F V F V F
F F V F V
F F F F V

El resultado es u na contingencia porque la proposición puede ser verdadera o falsa.

Ejercicio 3: Problemas de aplicación

Descripción del ejercicio: A continuación, encontrará proposiciones compuestas en

lenguaje simbólico (argumento) para el desarrollo del ejercicio 3:

C) (𝒑 ↔ ¬𝒒) ∨ (𝒒 ∧ 𝒓 )

A partir de la proposición compuesta en lenguaje simbólico que haya seleccionado

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.
𝒑: 𝐸𝑠𝑡𝑢𝑑𝑖𝑜 𝑃𝑠𝑖𝑐𝑜𝑙𝑜𝑔í𝑎 𝑒𝑛 𝑙𝑎 𝑈𝑁𝐴𝐷
𝒒: 𝐿𝑎 𝑈𝑁𝐴𝐷 𝑒𝑠 𝑢𝑛𝑎 𝑢𝑛𝑖𝑣𝑒𝑟𝑠𝑖𝑑𝑎𝑑 𝑉𝑖𝑟𝑡𝑢𝑎𝑙
𝒓: 𝐿𝑎 𝑒𝑑𝑢𝑐𝑎𝑐𝑖ó𝑛 𝑣𝑖𝑟𝑡𝑢𝑎𝑙 𝑒𝑠 𝑑𝑒 𝑐𝑎𝑙𝑖𝑑𝑎𝑑
  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 considerará como copia y se
tomarán las medidas correctivas estipuladas por la UNAD.

(𝒑 ↔ ¬𝒒) ∨ (𝒒 ∧ 𝒓 )

Estudio Psicología en la UNAD, si y solo si, La UNAD no es una universidad Virtual; o La

UNAD es una universidad Virtual y La educación virtual es de calidad.

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico (El estudiante encontrará la Guía para el uso de recursos educativos
Simulador Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link
de acceso al recurso)

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).
 p q r ¬q p↔¬q qΛr (p↔¬q)V(qΛr )
V V V F F V V
V V F F F F F
V F V V V F V
V F F V V F V
F V V F V V V
F V F F V F V
F F V V F F F
F F F V F F F

 Definir si el argumento seleccionado inicialmente es una tautología, contradicción o

contingencia.

El resultado es una contingencia porque la proposición puede dar valores de verdad o

falsedad.
 Conclusiones

Gracias al desarrollo de estas actividades se logran adquirir nociones y conocimientos

claros acerca de todo lo relacionado con las proposiciones simples y compuestas en los dos
lenguajes (formal y natural), la relacione entre los conectores lógicos y la forma de
operarlos para el desarrollo de las tablas de verdad para determinar un juicio de una
proposición compuesta.

Por otro lado, es fundamental el manejo que se hace de las herramientas tecnológicas
como lo son Prezi, en la creación de presentaciones interactivas, en este caso con la
temática de Cuantificador Existencial, y el manejo del simulador online Truth Table para
verificar el resultado de las tablas de verdad que se realizan de forma manual.
 Referencias bibliográficas

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

(pp. 106 - 112). Ediciones Elizcom, Madrid.

Sequera, L. (2014). Primera Unidad: Cuantificadores Lógicos. [Archivo de Blog].

Recuperado de http://primeraunidad101.blogspot.com/2014/08/cuantificadores.html