Tarea1: Proposiciones y tablas de verdad.

Nelly Rivas Rodriguez

CC: 1116917443

Tutor

Fabio Ossa Ortega

Universidad Nacional Abierta y a Distancia

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

Ingeniería industrial

CEAD Florencia

2019
 Introducción

En el siguiente trabajo se expone el tema de Proposiciones y tablas de verdad, dando a

conocer los diferentes conceptos sobre cuantificadores, proposiciones simples y compuestas

y elaboración de tablas de verdad, con el fin de dar a conocer el lenguaje e interpretaciones

matemáticas expresadas por medio de la lógica.

 Objetivos

Objetivo general:

 Determinar claramente los conceptos de los diferentes temas expuestos y los

procedimientos que se deben tener en cuenta para el desarrollo de las actividades.

Objetivos específicos:

 Definir las proposiciones simples de un argumento en el momento de desarrollar una

actividad.

 Expresar con claridad el lenguaje simbólico para la elaboración de una tabla de

verdad.

 Realizar el debido procedimiento para la elaboración de una tabla de verdad teniendo

en cuenta el resultado que arroja para así mismo determinar el argumento.

Ejercicio 1: Conceptualización de cuantificadores.

Presentación en Prezi

https://prezi.com/view/Ig8m4sbPGp328VfBZft7/
Ejercicio 2 : Proposiciones y tablas de verdad.

Argumento:

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

 Proposiciones simples del argumento:

1. P= Laura chatea en su celular

2. q= Laura conduce por la autopista

3. r= Laura tiene una alta probabilidad de accidentarse

4. s= Laura puede dañar su automóvil.

 Expresión del argumento en lenguaje simbólico o formal:

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.

(p∧q) ⇨ (r∨s)
P Q r s (p∧q) (r∨s) (p∧q) ⇨ (r∨

s)

V V V V V V V

V V V F V V V

V V F V V V V

V V F F V F F

V F V V F V V

V F V F F V V

V F F V F V V

V F F F F F V

F V V V F V V

F V V F F V V

F V F V F V V

F V F F F F V

F F V V F V V

F F V F F V V

F F F V F V V
F F F F F F V Tabla de verdad:

(p∧q) ⇨ (r∨s)
 Tabla simulador UNAD
 Teniendo en cuenta el resultado de la tabla de verdad, podemos deducir que es

de propiedad de continencia ya que en sus respuestas encontramos una falsa y

las demás verdaderas.

Ejercicio 3 : Problemas de aplicación.

Lenguaje simbólico o (argumento): (𝑝 ∧ 𝑞) → (𝑞 ∨ ¬𝑟)

 Proposiciones simples:

Si el tutor solicita al estudiante un encuentro virtual vía Skype y el estudiante puede

comunicarse, entonces el estudiante puede comunicarse o no puede recibir la

orientación por parte del tutor.

P= el tutor solicita al estudiante un encuentro virtual vía Skype

q= el estudiante puede comunicarse

r= el estudiante puede recibir la orientación por parte del tutor.

 Tabla de verdad

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

P q r ∽r (p∧q) (q∨∽r) (p∧q) ⇨ (q∨∽

r)
V V V F V V V
V V F V V V V
 V F V F F V V
V F F V F V V
F V V F F F V
F V F V F V V
F F V F F F V
F f F v f v V

 Dado a los resultados de la tabla de verdad, podemos deducir que el argumento es

tautológico.
 Conclusión

Las proposiciones y tablas de verdad nos permiten obtener un conocimiento más relevante

sobre la lógica que se maneja en un contexto del lenguaje natural, llevándolo a la aplicación

de forma simbólica y determinando los resultados de acuerdo a la realidad que se maneje en

un argumento.
Bibliografía:

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

computación. (pp. 9-28). Ediciones Elizcom, Madrid. Recuperado
dehttps://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=12&docI
D=3199701&tm=1529335849013

 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&docI
D=3226457&tm=1529246259924

 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&do
cID=3199701&tm=1529510366591