Proposiciones y Tablas de Verdad.

Edinson Scarpeta Meneses

T.I. 1118362607

Grupo: 200611-1600

Tutora

Aura Elisa Quesada

Universidad Nacional Abierta y a Distancia – UNAD

Pensamiento Lógico Y Matemática

Licenciatura En Lenguas Extranjeras Con Énfasis En Ingles

Florencia-Caquetá.

2019
Introducción.
En esta unidad, aprender a identificar el lenguaje formal de la lógica simbólica por el cual
están regidas todas las leyes de la matemática que utiliza la simbología como su principal
fuente de estudio a los estudiantes.
Objetivos.
Desarrollar los ejercicios de Proposiciones y Tablas de Verdad, plantados en la guía de
actividades del curso de lógica matemática, mediante la ayuda de unidades del curso para
desarrollar los ejercicios planteados, para aprender de ello y mejorar nuestro conocimiento
en la vida diaria.
Ejercicio 1: Conceptualización de Cuantificadores.

D. Cuantificador Existencial Único.

Cuantificador
existencial único.pptx

Ejercicio 2: Proposiciones y Tablas de Verdad

Argumento:
D. Sofía estudia medicina o estudia literatura inglesa y Si ella estudia literatura
inglesa entonces escribirá poemas.

 Proposiciones Simples: (se define cada proposición simple del argumento, siempre
en afirmativo y con letras en minúscula).

p = Sofía estudia medicina

q = Sofía estudia literatura inglesa

r = escribe poemas

 Lenguaje Simbólico: Se convierte el argumento al lenguaje simbólico

[ ( p ∨q ) ∧ ( q →r ) ]
Simulador Lógica UNAD:

 Tabla de la verdad (manual): recuerde que aparte de las columnas de las

proposiciones simples, debe haber tantas columnas como operadores lógicos hay en
el lenguaje.

p q r p ∨q q→r [ ( p ∨q ) ∧ ( q →r ) ]
v v v v V V
v v f v F F
v f v v V V
v f f v V V
f v v v V V
f v f v F F
f f v f V F
f f f f V F

Resultado de la tabla de verdad: contingencia.

Ejercicio 3: Problemas de aplicación

D.( p ∨q ) ∧ ¿

P=Edinson estudia ingles

q=Edinson es un buen estudiante

s= Es estudiante de la unad

r=Edinson hace los trabajos de ingles

Lenguaje natural:

Edinson estudia inglés o Edinson es un buen estudiante y si es un buen estudiante entonces

Edinson hace los trabajos de inglés y es estudiante de la unad.

Simulador Lógica UNAD:

tabla de verdad manualmente a partir del lenguaje simbólico

 p q r s ( p⋁q) (r ∧ s) (q ⟶(r ⋀ s) (p ⋁q) ⋀ (q ⟶(r ⋀ s))

V V V V V V V V
V V V F V F F F
V V F V V F F F
V V F F V F F F
V F V V V V V V
V F V F V F V V
V F F V V F V V
V F F F V F V V
F V V V V V V V
F V V F V F F F
F V F V V F F F
F V F F V F F F
F F V V F V V F
F F V F F F V F
F F F V F F V F
F F F F F F V F

Resultado de la tabla de verdad: contingencia.

conclusiones.
Aprendí el lenguaje de la lógica proposicional donde aprendí información nueva a partir de
la que conocemos usando diferentes técnicas. Aprendí formas más sencillas para ir
construyendo tablas de verdad con todos los posibles valores para las proposiciones, y logre
aprender más conocimiento proposicional desarrollando este trabajo que me ayudo y me
ayudara en mi carrera futura.
Referencias
Proposiciones y tablas de verdad
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 http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?
ppg=20&docID=3226457&tm=1529246259924

Proposiciones y Conectores lógicos

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://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=12&docID=3199701&tm=1529335849013
Cuantificadores
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://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=109&docID=3199701&tm=1529510366591
Tablas de verdad
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
OVI Unidad 1 - Proposiciones y tablas de verdad
Este Objeto Virtual de Información, titulado aplicación de las tablas de verdad en el álgebra
de proposiciones, tiene como objetivo, orientar al estudiante acerca dela determinación del
valor de verdad, en un lenguaje formal. El OVI, igualmente, servirá como documento de
consulta para realizar una de las actividades propuestas en la Guía Integrada de Actividades
del curso.
Castaño, G. (2017). Proposiciones y tablas de verdad, [Vídeo]. Recuperado
de http://hdl.handle.net/10596/13871
.
Recursos educativos adicionales para el curso (Bibliografía complementaria)
Los recursos educativos adicionales, sirven de apoyo para ampliar información relacionada
con el tema de la unidad y puede ser consultada cuando así lo requiera, especialmente, para
complementar información que le permita desarrollar los diferentes ejercicios propuestos
para esta unidad.
Wisniewski, P. M., & Gutiérrez, B. A. L. (2011). Introducción a las matemáticas
universitarias. México: McGraw-Hill Interamericana. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10473069