UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

TECNOLOGÍA EN SEGURIDAD Y SALUD EN EL TRABAJO

ESCUELA CIENCIAS DE LA SALUD ECISA

Paso 2 – Proposiciones y Tablas de la Verdad

Elaborado por:

Oscar Javier Martinez Mendivelson

Código 1136885150

Tutor: Jhon Freddy Ruano

Pensamiento Lógico y Matemático 200611_596

Granada, febrero de 2018

 INTRODUCCIÓN

En este trabajo, se analiza dos temas muy importantes para la lógica matemática, los cuales son:

Proposiciones y tablas de la verdad, en el tema de las proposiciones se ve cómo podemos traducir

del lenguaje común o natural al lenguaje simbólico o formal, este proceso se complementa con las

tablas de la verdad ya que estas tablas son muy útiles para poder realizar una correcta traducción

de la proposición a traducir. Además, son útiles para determinar si un conjunto de proposiciones

es falsas o verdaderas. Se verán ejercicios demostrando como se utilizan correctamente las tablas

de la verdad y las proposiciones.

 OBJETIVOS

Objetivo General:

 Investigar, analizar y aprender sobre la lógica, las proposiciones y las tablas de la verdad.

Objetivos Específicos:

 Saber y entender que es la lógica.

 Saber que es una proposición y conocer los operadores lógicos.

 Conocer la clasificación de las proposiciones

 Entender la relación de las tablas de la verdad y las diferentes proposiciones.

 Tabla 1
TABLA 1:PLAN DE ACCION - GRUPO 596
Ejercicios Ejercicios
seleccionados
Datos Estudiante Fotografía seleccionados a
a
desarrollar revisar

Tarea 1: Punto B Tarea 1: Punto A

Identificación: 40434628
Nombre: Jenny Jazmín Vargas Tarea 2: Punto A Tarea 2: Punto B
CEAD Acacias
Tarea 3: Punto A Tarea 3: Punto A

Tarea 1: Punto B Tarea 1: Punto C

Identificación:
Nombre: María Carolina Bermúdez
Tarea 2: Punto B Tarea 2: Punto C
CEAD Acacias

Tarea 3: Punto B Tarea 3:Punto C

Tarea 1:Punto C Tarea 1:Punto B

Identificación: 1136885150
Nombre: Oscar Javier Martinez Tarea 2:Punto C Tarea 2: Punto A
CEAD Acacias
Tarea 3:Punto C Tarea 3:Punto B

Tarea 1: Tarea 1:
Identificación
Nombre Tarea 2: Tarea 2:
CEAD/CCAV/CERES/ UDR
Tarea 3: Tarea 3:

Identificación
Tarea 1: Tarea 1:
Nombre
CEAD/CCAV/CERES/
Tarea 2: Tarea 2:
UDR
Tarea 3: Tarea 3:
 DESARROLLO DE LAS TAREAS

 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:

C.
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

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

Proposición compuesta en lenguaje Natural:

Falcao García no fue el mejor jugador de Colombia en la copa mundial de Brasil 2014, así como,

Colombia no llego a la semifinal de la Copa Mundial de Brasil 2014, entonces y solo entonces,

Falcao García no fue el mejor jugador de Colombia en la copa mundial de Brasil 2014, o bien,

Colombia llego a la semifinal de la copa mundial de Brasil 2014.

Determinación del valor de verdad:

p: F q: F

~(p^q)↔(~pvq)

(V^V)↔(VvF)

V↔V

 TAREA 2: Tablas de Verdad

C. 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 r: los policías me paran

q: tengo licencia s: me harían una multa

  Expresión en lenguaje simbólico o formal:

(p^~q)^(r⟶s)

 Generar la tabla de verdad manualmente y a través del simulador Truth Table.

p q r s p ~q (p^~q) r s (r⟶s) (p^~q) (r⟶s) (p^~q)^(r⟶s)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

F F F V F V F F V V F V F
  Comprobar el resultado de la tabla de verdad manual versus simulador Truth Table.

RTA: El resultado de la tabla de la verdad manual y el simulador Truth Table es igual.

 TAREA 3: Problemas de aplicación.

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

 Definición de las proposiciones simples

p: Estudiar pensamiento lógico matemático

q: afianzar los procesos de deducción

r: aplicar la lógica

s: estudiar los principios de demostración

t: debemos tener procesos de argumentación

u: propiciar una actitud critica

 Lenguaje natural de la expresión formal

Estudiar pensamiento lógico matemático implica afianzar los procesos de deducción también

aplicar la lógica o estudiar los principios de demostración, además de aplicar la lógica se deduce

que debemos tener procesos de argumentación, pero al no afianzar los procesos de deducción y

propiciar una actitud crítica entonces debemos tener procesos de argumentación, también estudiar

los principios de demostración implica estudiar pensamiento lógico matemático de ahí que

debemos tener procesos de argumentación.

 Generar la tabla de verdad manualmente y a través del simulador Truth Table.

 (p→q)^(r [(p→q)^(r v
p q r s u t (p→q) (r v s) (r→t) (~q) (u→t) (s→p) (r→t)^(~q) (u→t)^(s→p)
v s) s)^(r→t)^(~q)^(u→t)^(s→p)]→t
V V V V V V V V V F V V V F V V
V V V V V F V V F F V V V F V V
V V V V F V V V V F V V V F V V
V V V F V V V V V F V V V F V V
V V F V V V V V V F V V V F V V
V F V V V V F V V V V V F V V V
F V V V V V V V V F V F V F F V
V V V V F F V V F F V V V F V V
V V F F V V V F V F V V F F V V
F F V V V V V V V V V F V V F V
V V V F F F V V F F V V V F V V
F F F V V V V V V V V F V V F V
V F V F V F F V F V F V F F F V
F V F V F V V V V F V F V F F V
F F F F F F V F V V V V F V V V
F F F F V V V F V V V V F V V V
F F V V F F V V F V F F V F F V
V V F F F F V F V F V V F F V V
V V V F V F V V F F F V V F F V
V V V F F V V V V F V V V F V V
V V F V V F V V V F F V V F F V
V V F V F V V V V F V V V F V V
V V F V F F V V V F V V V F V V
V V F F V F V F V F F V F F F V
V V F F F V V F V F V V F F V V
V F V V V F F V F V F V F F F V
V F F F F F F F V V V V F V V V
V F V F F V F V V V V V F V V V
V F F F F V F F V V V V F V V V
F V V V V F V V F F F F V F F V
F V V F V V V V V F V V V F V V
V F V V F V F V V V V V F V V V
F V V V F V V V V F V F F F F V
V F F V V V F V V V V V F V V V
V F F F V F F F V V F V F V F V
F V V V F F V V F F V F V F F V
V F F F V V F F V V V V F V V V
F V V F V F V V F F F V V F F V
V F V V F F F V F V V V F F V V
V F F V F F F V V V V V F V V V
V F V F V V F V V V V V F V V V
V F F V V F F V V V F V F V F V
V F V F F F F V F V V V F F V V
V F F V F V F V V V V V F V V V
F V V F F V V V V F V V V F V V
F V V F F F V V F F V V V F V V
F V F V V V V V V F V F V F F V
F V F V V F V V V F F F V F F V
F F F F F V V F V V V V F V V V
F F F F V F V F V V F V F V F V
F F F V F F V V V V V F V V F V
F F V F F F V V F V V V V F V V
F V F F F F V F V F V V F F V V
F F F V F V V V V V V F V V F V
F F F V V F V V V V F F V V F V
F F V V V F V V F V F F V F F V
F F V V F V V V V V V F V V F V
F F V F V V V V V V V V V V V V
F F V F V F V V F V F V V F F V
F F V F F V V V V V V V V V V V
F V F V F F V V V F V F V F F V
F V F F V V V F V F V V F F V V
F V F F V F V F V F F V F F F V
F V F F F V V F V F V V F F V V
  Comprobar el resultado de la tabla de verdad manual versus simulador Truth Table

Rta: Según se puede observar las dos tablas de la verdad son idénticas en sus resultados.

 Definir si el argumento es una Tautología, contradicción o contingencia

Este argumento como podemos observar en sus tablas de la verdad, podríamos decir que es una
contingencia.
 CONCLUSIÓN

Este trabajo nos ayudó a todos como grupo, a comprender que es la lógica y por así decirlo dos de

sus herramientas, las proposiciones y las tablas de la verdad, y lo más importante no ayudo a

realizar criticas constructivas a los resultados de nuestros compañeros, lo que nos ayuda a fortalecer

nuestra mentalidad y poder apoyarnos mutuamente, y sobre el tema como tal nos enseña cómo

podemos traducir del lenguaje natural al lenguaje simbólico, y como nos ayudan las tablas de la

verdad, además nos ayudó a ampliar nuestros conocimientos y nuestra mente para poder pensar de

una manera ágil y eficaz.

 BIBLIOGRAFIA

Villalpando, B. J. F. (2000). "Fundamentos de la Lógica Matemática y Cálculo Proposicional".

En ProQuest (Ed). Matemáticas discretas: aplicaciones y ejercicios de aplicación. (pp. 19 - 29).

Guadalajara, México: Larousse - Grupo Editorial Patria. Recuperado

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

Chávez, C. P. (2000). "Lógica Simbólica". En ProQuest (Ed). Compendio de lógica. (pp. 151-

162). Guadalajara, México: Larousse - Grupo Editorial Patria. Recuperado

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

0&tm=1489704594878

Gonzáles, T. L., & Saavedra, M. (2009). Aciertos matemáticos 11: serie para la educación media.

Bogotá, CO: Educar Editores S.A. Páginas 13 -19 Recuperado

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

&tm=1492518671601

Castaño, G. (2017). Proposiciones y tablas de verdad, [Video]. Recuperado de

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

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

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