PENSAMIENTO LOGICO MATEMATICO

TAREA 1: PROPOSICIONES Y TABLAS DE VERDAD

FABIO ALBERTO GALVIS HERNANDEZ

CÓDIGO: 91515310

GRUPO 200611_396

NEVARDO ALONSO AYALA

TUTOR ACADÉMICO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

PROGRAMA DE INGENIERÍA INDUSTRIAL
CEAD BUCARAMANGA
11 MARZO DE 2019
 INTRODUCCIÓN

En el presente documento vamos a abordar los conceptos de la lógica proporcional en donde

encontraremos los temas de proposiciones y tablas de verdad, proposiciones y conectores lógicos,
cuantificadores y tablas de verdad, vamos a aprender como identificar cada uno de estos aspectos
como llevar un texto del lenguaje natural al leguaje simbólico, conocer los tipos de variables
simbólico, las proposiciones y como llevarlas a una tabla de verdad.
 OBJETIVO GENERAL

Se busca que los estudiantes comprendan los conceptos básicos de la lógica proporcional y como
se deben aplicar.

OBJETIVOS ESPECIFICOS
 Realizar las lecturas puestas como ayuda académica en cada uno de los puntos a desarrollar
 Realizar los ejercicios correspondientes a cada punto
 Profundizar sobre cada tema expuesto por el docente
 Identificar plenamente las diferencias entre el lenguaje natural y el simbólico
 DESARROLLO DE LOS EJERCICIOS

EJERCICIO 1: CUANTIFICADOR UNIVERSAL AFIRMATIVO

EJERCICIO 2: PROPOSICIONES Y TABLA DE VERDAD

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
 Definir las proposiciones simples del argumento.

p = Laura chatea en su celular

q = conduce por la autopista
r = Laura tiene una alta probabilidad de accidentarse
s = Laura puede dañar su celular

 Definir la expresión del argumento en lenguaje simbólico o formal.

(p^q)→r˅s

 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
 El resultado es una tautología ya que los valores de las preposiciones que la integran
son verdaderos

EJERCICIO 3: PROBLEMA DE APLICACIÓN

A continuación, encontrará proposiciones compuestas en lenguaje simbólico (argumento) para el

desarrollo del ejercicio 3:

A. (p ^ q) → (𝑟 ∨ ¬𝑞)

A partir de la proposición compuesta en lenguaje simbólico que haya seleccionado deberá:

1. 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,

p = Javier estudia
q = pasa los parciales
r = es un pésimo estudiante

2. Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las

proposiciones simples deben ser de autoría de cada estudiante.
 Javier estudia y pasa los parciales, si es un pésimo estudiante, no es cierto que pase los
parciales.

3. 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)

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

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

contingencia.
Es una contingencia ya que se observa valores tanto falsos como verdaderos.

CONCLUSIONES
Este trabajo nos a permitido profundizar los conocimientos del uso de la lógica proporcional para
la solución de problemas o la presentación de la realidad a nivel proporcional

BIBLIOGRAFIA
1. 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=32
26457&tm=1529246259924
2. 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&docID=31
99701&tm=1529335849013
3. 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
4. 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