lOMoARcPSD|4885846

2006 11 31 Tarea 1 John Alexander Cañon

Lógica Matemática (UNED)

StuDocu no está patrocinado ni avalado por ningún colegio o universidad.

Descargado por Miile Avila (rosamilopez-28@hotmail.com)
 lOMoARcPSD|4885846

Tarea 1 – Proposiciones y Tablas de Verdad

Presentado por:
John Alexander Cañón Bello
Código: 1075651753

Presentado a:
Elieth Alina Hoyos Montoya
Tutor

Trabajo de la asignatura:
Pensamiento Lógico Matemático 200611_31

Universidad Nacional Abierta y a Distancia UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería
Programa de Ingeniería Industrial
Zipaquirá Cundinamarca
Mayo de 2019

Descargado por Miile Avila (rosamilopez-28@hotmail.com)

 lOMoARcPSD|4885846

INTRODUCCION

Con el desarrollo del presente trabajo abordaremos varias temáticas del curso de

pensamiento lógico matemático, que nos ayudaran a despertar nuestras habilidades en el

desarrollo de ejercicios problema aplicables a la vida real, las cuales serán de mucha

utilidad no solo en nuestros procesos de estudio de la ingeniería industrial, sino también en

nuestra futura etapa como ingenieros en la cual ejerceremos los conocimientos adquiridos,

en la cual para cualquier ingeniero es muy importante desarrollar habilidades de lógica

matemática, sobre todo en nuestro caso que estamos estudiando la ingeniería industrial, la

cual se basa bastante en la optimización de procesos

Descargado por Miile Avila (rosamilopez-28@hotmail.com)

 lOMoARcPSD|4885846

OBJETIVO GENERAL

Entender cómo solucionar correctamente las preposiciones y las tablas de verdad

identificando sus componentes e interpretándolos correctamente

OBJETIVOS ESPECIFICOS

 Comprender el procedimiento para realizar correctamente el planteamiento y

posteríos solución de problemas con preposiciones

 Identificar cuando es tautología, cuando contradicción y cuando es contingencia

 Comprender cuál es procedimiento para resolver las diversas situaciones planteadas

con tablas de verdad

Descargado por Miile Avila (rosamilopez-28@hotmail.com)

 lOMoARcPSD|4885846

Ejercicio 1

Descargado por Miile Avila (rosamilopez-28@hotmail.com)

 lOMoARcPSD|4885846

Descargado por Miile Avila (rosamilopez-28@hotmail.com)

 lOMoARcPSD|4885846

Descargado por Miile Avila (rosamilopez-28@hotmail.com)

 lOMoARcPSD|4885846

https://prezi.com/view/vuU3uNqkttV7dLMgQsbe/

Descargado por Miile Avila (rosamilopez-28@hotmail.com)

 lOMoARcPSD|4885846

Ejercicio 2

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

Explicación pasó a paso:

Definición de preposiciones simples:

p: Laura chatea en su celular

q: conduce por la autopista

r: tiene una alta probabilidad de accidentarse

o: puede dañar su automóvil

Lenguaje natural de la exposición formal

p ∧q → r ∨o: 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

P Q R O p ∧q p ∧q → r ∨o r ∨o
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 V F
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 V F
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 V F

Descargado por Miile Avila (rosamilopez-28@hotmail.com)

 lOMoARcPSD|4885846

La presente tabla de verdad nos indica que el argumento anterior es una contingencia

Ejercicio 3

A continuación, encontrará proposiciones compuestas en lenguaje simbólico

(argumento) para el desarrollo del ejercicio 3:

A. ( p ∧q ) → ( r ∨¬q )

p=estudio en laUNAD

q=matriculo calculointegral

r =matriculo algebra lineal

Si estudio en la unad y matriculo calculo integral, entonces puedo matricular algebra

lineal o no matricular calculo integral

P Q R ¬Q ( p ∧q ) ( p ∧q ) → ( r ∨¬q ) ( r ∨¬ q )

Descargado por Miile Avila (rosamilopez-28@hotmail.com)

 lOMoARcPSD|4885846

V V V F V V V
V V F F V F F
V F V F F V V
V F F F F V F
F V V V F V V
F V F V F V V
F F V V F V V
F f f v f v V

La presente tabla de verdad nos indica que el argumento anterior es una contingencia

CONCLUSIONES

Luego de haber hecho el presente trabajo he podido concluir:

Descargado por Miile Avila (rosamilopez-28@hotmail.com)

 lOMoARcPSD|4885846

Las tablas de verdad, el proceso de solución de estos ejercicios es relativamente

sencillo una vez se han entendido los conceptos y se han entendido las operaciones que se

pueden realizar.

Para poder realizar el planteamiento y posterior solución de ejercicios problema de

lógica proposicional primero debemos leer bien el ejercicio y luego de esto realizar un

análisis para identificar nuestras preposiciones y así poder realizar las operaciones

respectivas

Se dice que es tautología cuando el resultado de la tabla de verdad son todos los valores

positivos, se dice que es contradicción cuando todos los valores de la tabla de verdad son

falsos, y se dice que es contingencia cuando hay resultados verdaderos y falsos.

BIBLIOGRAFIA

Proposiciones y tablas de verdad

Descargado por Miile Avila (rosamilopez-28@hotmail.com)

 lOMoARcPSD|4885846

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, [Video]. 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

Descargado por Miile Avila (rosamilopez-28@hotmail.com)

 lOMoARcPSD|4885846

determinación del valor de verdad, en un lenguaje formal. El OVI, igualmente, servirá

como documento de consulta para realizar una de las tareas 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

Descargado por Miile Avila (rosamilopez-28@hotmail.com)