UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

PROPOSICIONES Y TABLAS DE VERDAD

Estudiante

Narciso Manuel Mejía Reyes

Docente

Ever Antonio Polo

Curso

Pensamiento Lógico y Matemático

Grupo

200611_662

Barranquilla

Marzo del 2019

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

OBJETIVOS

 Proporcionar herramientas que permitan elaborar determinar la validez de una

proposición.

 Analizar cualquier fórmula hallando sus valores de verdad para saber si es un

razonamiento valido o no
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

INTRODUCCIÓN

Este trabajo se realiza con la finalidad de obtener más conocimiento en los siguientes temas: la
lógica de proposiciones permite describir razonamientos basados en enunciados declarativos,
tablas de verdad da a conocer los valores de una proposición compuesta, los cuales dependen de
los conectivos utilizados, teoría de conjuntos de una manera sencilla y explicita, como también
sus funciones y representaciones, proporcionables una visión clara de los conjuntos, aplicación
de teoría de conjuntos estudia las propiedades y las operaciones al que puedan ser sometidas.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

DESARROLLO

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.

Los temas propuestos son:

A. Cuantificador Universal Afirmativo.

https://prezi.com/p/i6v3ohcjumfy/
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Ejercicio 2:

A. Si Laura chatea en su celular y conduce por la autopista entonces Laura tiene una alta
probabilidad de accidentarse o Laura puede dañar su automóvil

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.

Expresión del argumento en lenguaje simbólico o formal: p ∧ q→r ∨ s

Definición de preposiciones simples:

p: Laura chatea en su celular

q: conduce por la autopista

r: tiene una alta probabilidad de accidentarse

s: puede dañar su automóvil

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Lenguaje natural de la exposición formal

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

p ∧ q→r ∨ s: Si Laura chatea en su celular y conduce por la autopista entonces Laura tiene una
alta probabilidad de accidentarse o puede dañar su automóvil

Definir si el argumento es: Tautología, Contingencia o contradicción

El argumento es contingencia.

p q R s p∧q r ∨¬ s
v v V v v v
v v V f v v
v f F v f v
v f F f f v
f v V v f v
f v V f f v
f f F v f v
f f F f f v

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:

A. (𝑝 ∧ 𝑞) → (𝑟 ∨ ¬𝑞)

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, ejemplo:

p: Carlos estudia en la UNAD.

q: La UNAD es una Universidad Pública

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

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

p: En el entorno de conocimiento se encuentran las evaluaciones.

q: La UNAD es una Universidad semi-presencial
r: La carrera ingeniería de telecomunicaciones tiene 158 creditos
s: El tutor del curso se llama Ever Polo

(𝑝 ∧ 𝑞) → (𝑟 ∨ ¬𝑠)

 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)
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

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

p q r s p∧q r ∨¬ s
v V v v v v
v V v f v v
v F f v f v
v F f f f v
f V v v f v
f V v f f v
f F f v f v
f F f f f v

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

contingencia

Contingencia
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

CONCLUSIONES

Durante el desarrollo del presente trabajo se evidencia que la matemática en cuanto a

proposiciones y tablas de verdad, juegan un papel clave en el estudio de la vida cotidiana, es
decir, que nos permite representar y manipular el contexto real sobre el mundo que nos rodea.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

REFERENCIAS BIBLIOGRÁFICAS

http://normasapa.net/referencias/

http://normasapa.net/citas/

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=11013570&ppg=30