Pensamiento lógico y matemático

Proposiciones y tablas de verdad

Presentado por:

Sandra Milena Castrillón Botero

Grupo: 1139

Tutor:

Yader Blandón

Universidad Nacional Abierta Y A Distancia – UNAD

Escuela De Ciencias Sociales Artes Y Humanidades - Ecsah

Programa De Psicología

CCAV Dosquebradas

Roldanillo Valle

Abril 2020
 Introducción

En el siguiente trabajo se llevó a cabo el desarrollo de la tarea 1 del curso, proposiciones y

tablas de verdad, la cual me ayudó a entender los conceptos principales de la lógica
proposicional y emplearlos para la resolución de problemas, también para conocer y
manejar cuantificadores y poder hacerlos explícitos en presentación didáctica.
 Objetivos

 Aumentar el interés por las matemáticas y el pensamiento lógico matemático a

través de actividades motivadoras para el universitario, con un contenido visual y
útil
 Entender y emplear debidamente los conceptos esenciales de la lógica
proposicional, y aplicarlos en la solución de problemas debidamente
contextualizados.
Captura de la presentación del tema escogido

Ejercicio 1: Conceptualización de Cuantificadores

Ejercicio 2: Proposiciones y Tablas de verdad

b) Argumento: Gabriel García Márquez escribió Cien años de soledad o La Ilíada. Si y

solo si es un escritor brillante e ingenioso.

Proposiciones simples:

o p = Gabriel García Márquez escribió Cien años de soledad.

o q = La Ilíada

o r = es un escritor brillante e ingenioso

Lenguaje simbólico o formal: [ ( p V q ) ↔ r ]

Simulador lógica UNAD

Tabla de Verdad (Manual)

p q r (p v q) (pVq)↔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 F
F F F F V

Resultado de la tabla de verdad: CONTINGENCIA

Ejercicio 3: Problemas de aplicación

b) [ ( 𝑝 ∧ 𝑞 ) ⟷ ( ∼𝑟 ⋀ 𝑠 ) ]

Argumento: Hay proposiciones verdaderas y falsas si solo si las proposiciones no es un

tema de lógica y matemáticas.

Proposiciones simples:

o p = Hay proposiciones son verdaderas

o q = falsas
o r = las proposiciones no es un tema de lógica
o s = matemáticas
Simulador lógica UNAD
Tabla de Verdad (Manual)

Proposiciones simples Negación Conectores lógicos

P q R s ¬r ( p ˄ q) ( ¬r ˄ s ) [ ( p ˄ q) ↔ ( ¬r ˄ s ) ]
V V V V F V F F
V V V F F V F F
V V F V V V V V
V V F F V V F F
V F V V F F F V
V F V F F F F V
V F F V V F V F
V F F F V F F V
F V V V F F F V
F V V F F F F V
F V F V V F V F
F V F F V F F V
F F V V F F F V
F F V F F F F V
F F F V V F V F
F F F F V F F V

Resultado de la tabla de verdad: CONTINGENCIA

Conclusiones
 Se desarrollaron las temáticas de proposiciones, tablas de verdad, conjuntos y sus
operaciones

 Utilicé estrategias basadas en problemas

 Obtuve herramientas útiles para mi vida profesional

Referencias

 https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=3199701&ppg=109

https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=3199701&ppg=12

 https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=3226457&ppg=20