Proposiciones y Tablas de verdad

Diana Milena Valencia Santana.

Curso: 200611

Universidad Nacional Abierta y a Distancia UNAD

Junio 30 de 2019

Notas del Autor

Diana Milena Valencia Santana, Programa de Ingeniería Industrial, Universidad

Nacional Abierta y a Distancia UNAD,

La correspondencia relacionada con este informe debe ser dirigida a nombre de Diana

Milena Valencia Santana, Universidad Nacional Abierta y a Distancia UNAD, CEAD

Acacias Meta.

E/mail: picachuvalencia@hotmail.com
 Tabla de contenido

Introducción .................................................................................................................. 3

Objetivos ....................................................................................................................... 4

Desarrollo de la Unidad 1 .............................................................................................. 5

Proposiciones y Tablas de Verdad. ................................................................................ 5

Ejercicio 1. .................................................................................................................... 5

A: Cuantificador Universal Afirmativo. ......................................................................... 5

Ejercicio 2. Proposiciones y Tablas de verdad. .......................................................... 8

Ejercicio 3. ................................................................................................................ 9

Conclusiones ............................................................................................................... 11

Referencias Bibliográficas ........................................................................................... 12

 3

Introducción
Cuando se inicia un proceso de formación de tipo virtual se requiere de gran

responsabilidad y disciplina. Al explorar el contenido de la guía del curso de Lógica

Matemática es notorio que se requiere de mucha dedicación por la complejidad de su

temática. Comprender que son cuantificadores y que tipo de cuantificadores existen,

permite tener una visión de cómo se deben emplear. La formulación de proposiciones

simples y compuestas puede resultar un poco incomprensible inicialmente, tienden a

confundir si no se tiene presente su respectivo orden al momento de la formulación,

teniendo esto conceptos claros ya el estudiante puede formular de manera simbólica y

natural
 4

Objetivos
Comprender los conceptos simbólicos y naturales de las proposiciones simples y

compuestas para formular ejemplos de las mismas.

Desarrollar de manera clara y puntual los ejercicios planteados en la guía de actividades.

Identificar los valores asignados en una tabla de verdad para sí mismo determinar su

resultado.
 5

Desarrollo de la Unidad 1

Proposiciones y Tablas de Verdad.

Para el desarrollo de estos ejercicios se seleccionó la letra A.

Ejercicio 1.

A: Cuantificador Universal Afirmativo.

6
7
 8

Ejercicio 2. Proposiciones y Tablas de verdad.

A. Si Margarita es doctora y Edgar no es ingeniero, entonces David es profesor y

Edgar es psicólogo.

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

Solución.

Proposiciones simples

p= Margarita es doctora.

q= Edgar no es ingeniero- Edgar es psicólogo.

r = David es profesor.

Formulación simbólica: [ p ^ ~ q) → r ^q]

Tabla de verdad según el simulador

de la Unad.
 9

Según la tabla de verdad nos da como resultado una Contingencia.

Ejercicio 3.
A. ~ [(p ˅ q) → r ^ s]

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.

r: Semestres económicos.

s: Diplomados económicos.

Formulación en lenguaje natural.

No es falso que Carlos estudia en la Unad de Acacias ya que trabaja toda la semana a

menos que la Unad sea una universidad pública con semestres económicos entonces los

semestres en la Unad y sus diplomados son económicos.

 10

Tabla Manual

Tabla de Verdad
~ (p ꓦ q) → (r ꓥ s)
F V V V V V V V
V V V V F V F F
V V V V F F F V
V V V V F F F F
F V V F V V V V
V V V F F V F F
V V V F F F F V
V V V F F F F F
F F V V V V V V
V F V V F V F F
V F V V F F F V
V F V V F F F F
F F F F V V V V
F F F F V V F F
F F F F V F F V
F F F F F F F F

Tabla de verdad según el simulador de la Unad.

 11

Conclusiones

La lógica matemática es un tema de mucha amplitud, al punto de confundir cuando más

indaga sobre ella, esto ocurre cuando no se tiene un mentor que desglose las dudas. Cuando

se empezó a desarrollar la presente unidad se despejaron varios interrogantes con el

material de apoyo y con investigación de la web, se logró identificar los tipos de

cuantificadores que existen, como también se identificó que son preposiciones simples y

compuestas y su tipo de lenguaje sea este simbólico o natural. Terminar estos ejercicios ha

sido un gran tema de investigación.

 12

Referencias Bibliográficas

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

(pp. 9-28). Ediciones Elizcom, Madrid.

GEORFFREY ACEVEDO GONZÁLEZ

Primera versión 2005: NUBIA JANETH GALINDO PATIÑO

Universidad Nacional Abierta y a Distancia - Unad -

Escuela de ciencias básicas, tecnología e ingeniería

Unidad de ciencias básicas

Bogotá D. C, 2008

http://www.omisinaloa.org/omi-pdf/modulo-logica-matematicas.pdf

Página de Pensamiento Lógico de la UNAD

http://logicaunad.com/logicamatematica/

https://sites.google.com/site/mathematicasdiscretesolutions/logica-de-po/cuantificadores

https://es.slideshare.net/emperador09/cuantificador-existencial