Sei sulla pagina 1di 11

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

PASO 2. PROPOSICIONES Y TABLAS DE VERDAD

Estudiante

Jhonnathan Matthaeus Aguilar Guevara

Docente

Sandra Patricia Barrios Rodriguez

Curso

Pensamiento Lógico y Matemático

Grupo

217

Zipaquira

2018
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

OBJETIVOS

Objetivo general

El objetivo de este trabajo es que nosotros como estudiantes de la universidad nacional abierta y a

distancia UNAD logremos interpretar y articular expresiones matemáticas del lenguaje simbólico

y del lenguaje natural en la formulación y representación del pensamiento lógico a través de las

estructuras semánticas, variables y conectores, como elementos fundamentales de la lógica

proposicional.

Objetos específicos

1. Informarse en el entorno de conocimiento en la unidad uno lógica proposicional las

diferentes temáticas a desarrollar en la actividad.

2. Debemos de seleccionar un ejercicio para cada una de las tareas el cual podamos plantear

su debida solución.

3. Completar la tabla uno “plan de acción”, donde debemos de relacionar los ejercicios

seleccionados anteriormente y los correspondientes a realimentar.

4. Corregir en el foro los ejercicios de nuestros compañeros, haciéndole saber los errores y

aciertos en su solución, donde se debe ver una opinión crítica, argumentativa y fundamental.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

INTRODUCCIÓN

En el siguiente documento encontrara el desarrollo de la actividad proposiciones y tablas

de verdad, la cual se divide en tres tareas y donde yo seleccione la C en cada una de

ellas para darle su respetiva solución. En la primera parte del documento

específicamente en la tarea uno encontrara la transcripción del lenguaje simbólico al

lenguaje natural y su determinación de verdad, en la tarea 2 desde un enunciado

tratamos de generar manualmente la tabla de verdad y la comparamos con el simulador

Truth Table y por último en la tarea 3 tendremos la libertad de definir las proposiciones

simples bajo una descripción basada en el contexto académico, remplazando las

variables expresadas simbólicamente para llevarlas al lenguaje natural.


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Tarea 1: Proposiciones

Transcribir en el lenguaje natural la expresión formal que se relaciona y determinar el


valor de verdad de la proposición compuesta, a partir del valor de verdad de cada
proposición simple:

¬(𝒑⋀𝒒)↔(¬𝒑∨𝒒)

p: Falcao García fue el mejor jugador de Colombia en la copa mundial de Brasil 2014”

q: Colombia llegó a la semifinal de la copa mundial de Brasil 2014

Rta: Falcao García no fue el mejor jugador de Colombia en la copa mundial de Brasil 2014 y
Colombia no llegó a la semifinal de la copa mundial de Brasil 2014 si y solo si Falcao García no
fue el mejor jugador de Colombia en la copa mundial de Brasil 2014 o Colombia no llegó a la
semifinal de la copa mundial de Brasil 2014.

¬(𝒑⋀𝒒)↔(¬𝒑∨𝒒)

¬(f ⋀ f )↔ (¬f ∨ v)

f↔v

Tarea 2: Tablas de verdad

La solución de los enunciados debe contar con las siguientes etapas:

 Expresión en lenguaje simbólico o formal.


 Generar la tabla de verdad manualmente y a través del simulador Truth Table.
 Comprobar el resultado de la tabla de verdad manual versus simulador Truth
Table.

Ejemplo:

Enunciado.

Si no trabajo en la noche del martes entonces Puedo madrugar el miércoles a realizar


deporte. O si trabajo en la noche del martes entonces Debo descansar en la tarde del
martes.

Expresión en lenguaje simbólico o formal.


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Definición de proposiciones simples:

Si tengo una moto y no tengo licencia; y los policías me paran entonces me harán una
multa

P: si tengo una moto

q: no tengo licencia

r: los policías me paran

s: los policías me harán una multa

(p∧~q)∧(r→s)

Determinación de conectores:

Si tengo una moto y no tengo licencia; y los policías me paran entonces me harán una
multa

Expresión en lenguaje formal:

(p∧~q)∧(r→s)

Tabla de verdad

p q r s (p∧~q) (r→s) (p∧~q)∧(r→s)


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

Simulador Truth Table


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

El resultado final de la tabla de verdad y el simulador es igual.

Tarea 3: Problemas de aplicación

Desde su rol como estudiante, tendrá la libertad de definir las proposiciones simples bajo
una descripción basada en el contexto académico, remplazando las variables
expresadas simbólicamente para llevarlas al lenguaje natural.

La solución de los enunciados debe contar con las siguientes etapas:

 Definición de las proposiciones simples


 Lenguaje natural de la expresión formal
 Generar la tabla de verdad manualmente y a través del simulador Truth Table.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Proposición compuesta en lenguaje formal

C. [ (𝑝⟶𝑞)∧(𝑟∨𝑠)∧(𝑟⟶𝑡)∧(∼𝑞)∧(𝑢⟶𝑡)∧ (𝑠⟶𝑝) ] ⟶𝑡

Definición de las proposiciones simples

p: Mi objeto favorito es mi celular

q: siempre lo llevo conmigo mi celular

r: En mi celular escucho mi música favorita

s:En mi celular reviso mis redes sociales de preferencia

t: encontraras álbumes enteros como el dorado de Shakira

u: es una herramienta de gran ayuda

Lenguaje natural de la expresión formal

Mi objeto favorito es mi celular entonces siempre lo llevo conmigo, y en él me gusta escuchar mi música
favorita o revisar mis redes sociales de preferencia, y en la selección de música de mi celular hay
diversidad de géneros entonces encontraras álbumes enteros como el dorado de Shakira, y por lo que
no suelto mi celular muchos dicen que un objeto que no debería estar en mis preferencias, y en lo
personal creo que es una herramienta de gran ayuda entonces por eso es mi objeto favorito. Entonces
como conclusión sin él no disfrutaría de cosas como álbumes enteros como el dorado de Shakira

Tabla de verdad

Lo encontraras en el documento de Excel anexado.

Simulador Truth Table


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

CONCLUSIONES

1. Desarrollamos nuevos conocimientos y habilidades a partir de las lecturas y videos de la

unidad uno lógica proposicional con el objetivo de cumplir con los requerimientos de la

actividad.

2. De forma eficiente logre completar cada ejercicio de las distintas tareas y de forma eficiente

y a partir de lo aprendido llegue a retroalimentar a mis compañeros de forma crítica,

argumentativa y fundamental.

3. Como futuro psicólogo y profesional de la UNAD el adquirir conocimientos tales como:

Lógica proposicional, tablas de verdad en proposiciones compuestas, álgebra de

proposiciones, tautologías y contradicciones y contingencias, proposiciones categóricas,

son de vital importancia ya que como nos dice la página (psicologiam, 2018) “la lógica

proposicional nos permite entonces determinar si una proposición es lógicamente

verdadera, falsa o indeterminada a través de las tablas de verdad y además nos permite

determinar si un razonamiento es válido o inválido”.


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Referencias

Becerra, J. F. (01 de 01 de 2000). Fundamentos de la Lógica Matemática y Cálculo

Proposicional. Obtenido de UNAD:

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=11013570&ppg

=30

Calderón, P. C. (01 de 01 de 2014). Grupo Editorial Patria. Obtenido de UNAD:

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=166&docID=110

46000&tm=1489704594878

Castaño, G. (2017). roposiciones y tablas de verdad. Obtenido de UNAD:

http://hdl.handle.net/10596/13871

Moscote, H. (2016). Aplicación de las tablas de verdad en el álgebra de proposiciones. Obtenido

de UNAD: http://hdl.handle.net/10596/7961

psicologiam. (01 de 03 de 2018). Lógica proposicional Psicologia. Obtenido de Psicologia

Social : http://psicologiamx.blogspot.com.co/2012/08/logica-proposicional.html
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD