– Tarea 1 – Proposiciones y Tablas de Verdad

Jacqueline Esther Escobar Herrera

Celular 3005286157
Cedula 32.835.259

Grupo No 200611_340

Tutor
JONATHAN ALBERTO CERVANTES
Pensamiento Lógico Matemático

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA –

UNAD

Escuelas Ciencias sociales, artes y humanidades

Psicología

ECSAH
 Introducción
Este trabajo se desarrolla en los conceptos de las tablas de verdad y su uso.
Se hace muy común en nuestras vidas decir y escuchar frases y proposiciones que a simple
vista no son muy relevantes que solo son palabras con congruencia lógica, pero al
estudiarla detenidamente damos lugar a la lógica proposicional, la cual se encarga de
identificar cada proposición y clasificar cuando estas son verdaderas o falsas, si son simples
o compuestas o si son condicionales o no.
La lógica es el campo del conocimiento relacionado con el estudio y el análisis de los
métodos de razonamiento, el razonamiento lógico es esencial para construir probar
programas, mediante la lógica podemos formalizar y abordar razonamiento lógico tanto en
la informática, la matemática o la vida real. Utilizamos la lógica (tradicional) en nuestra
vida.
 Objetivos
Conceptualizar y comprender que significa una tabla de verdad, mediante el análisis de los
valores de proposiciones, aprender hacer uso de la tabla de verdad al igual del simulador
lógica UNAD. Conocer las diversas propiedades y reglas necesarias que nos servirán para
la construcción de una tabla de verdad. Desarrollar y presentar un aporte por el desarrollo
de cada ejercicio y compartirlo en el foro de discusiones.
Ejercicio 1: Conceptualización de Cuantificadores

“Voy a desarrollar los ejercicios B”

https://prezi.com/view/PR035WwWZF198vL4ziFK/

Ejercicio 2: Proposiciones y Tablas de verdad

Si el américa clasifica a la copa libertadores, entonces jugará más partidos o podrá mostrar
más sus jugadores
A partid del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
 Definir las proposiciones simples del argumento

𝒑: El américa clasifica a la copa libertadores

𝒒: El américa jugará más partidos
r: El américa podrá mostrar más sus jugadores

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

p → (q ∨ r)

 Generar una tabla de verdad

p q r (q v r) ( p ⟶ (q v r))
V V V V V
V V F V V
V F V V V
V F F F F
F V V V V
F V F V V
F F V V V
F F F F V
Ejercicio 3: Problemas de aplicación

B .( p ∧ q)∧(¬ p ∧¬ q)

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

p: Mario estudia ingeniería industrial

q: La ingeniería industrial es una carrera profesional de la UNAD

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

Las proposiciones simples deben ser de autoría de cada estudiante

( p ∧q) ∧(¬ p ∧¬ q)

Mario estudia ingeniería industrial y es una carrera profesional de la UNAD. Mario

no estudia ingeniería industrial y no es una carrera profesional de la UNAD.

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).

p q ( p ∧q ) ( ¬ p) (¬ q) ( ¬ p ∧¬ q ) ( p ∧q) ∧(¬ p ∧¬ q)
V V V F F F F
V F F F V F F
F V F V F F F
F F F V V V F

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

contingencia.

El argumento seleccionado inicialmente ( p ∧q) ∧(¬ p ∧¬ q) es una contradicción, ya

que la última columna de la tabla de la verdad todo el resultado fueron F.

Conclusiones
La necesidad del desarrollo del pensamiento lógico, es uno de los elementos básicos que
deben estar presentes en cualquier sistema educativo.

Este sistema me motiva como estudiantes para comprometerme autónomamente con el

aprendizaje, requiere no solo el dominio de las temáticas a tratar en las clases virtuales, sino
también, un interés investigativo por conocer nuevas plataformas de aprendizaje, que
implican una dedicación exhaustiva para abordar el aprendizaje y la enseñanza de la lógica
con herramientas de TIC. Las tablas de verdad nos ayudan a determinar los posibles valores
“verdaderos” de alguna expresión.
 Referencias Bibliográficas

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

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

Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de proposiciones,

[Vídeo]. Recuperado de http://hdl.handle.net/10596/7961