Está en la página 1de 10

1

ACTIVIDAD 1 PENSAMIENTO LOGICO Y MATEMATICO

Paso 2

Proposiciones y Tablas de Verdad

Licet Viviana Colorado Martínez

Universidad Nacional Abierta y a Distancia (UNAD)

Notas del autor

Licet Viviana Colorado Martínez, Ingeniería de Telecomunicaciones, UNAD

Esta actividad fue realizada para presentarla al tutor Alfredo López para la asignatura

Pensamiento Lógico y Matemático

Universidad Nacional Abierta y a Distancia (UNAD), Carrera 45 # 55 – 19,

Contacto: licetcolorado@gmail.com

Medellín, Colombia

2018
2

TABLA DE CONTENIDO

Introducción ............................................................................................................................... 3

Objetivos .................................................................................................................................... 3

Determinación del valor de verdad: ........................................................................................... 4

Tarea 2: Tablas de verdad .......................................................................................................... 5

Tarea 3: Problemas de aplicación .............................................................................................. 7

Conclusiones ............................................................................................................................ 10

Bibliografía .............................................................................................................................. 10
3

INTRODUCCIÓN

En el presente trabajo trataremos el tema proposiciones y tablas de verdad, los cuales nos ayudan

a comprender las expresiones del lenguaje simbólico, del lenguaje natural y lógica

proposicional, éstos nos darán bases para reforzar nuestros conocimientos y así desempeñarnos

en nuestro campo profesional.

OBJETIVOS

Aprender o Reforzar los conocimientos básicos sobre proposiciones y tablas de verdad.

Desarrollar los temas propuestos para presentar formas de razonamiento y poder determinar

cuáles de ellas corresponden a razonamientos válidos.


4

DETERMINACIÓN DEL VALOR DE VERDAD:

d. p: El año 2020 será un año bisiesto

q: En un año bisiesto febrero tiene 29 días

r: Los años bisiestos se dan cada dos años

[(𝒑→𝒒)→𝒓]↔(¬𝒒∨𝒓)

p: V

q: V

r: F

[(V→V)→F]↔(¬V∨F)

[V→F]↔ F

F↔ F

p q r [(p→q)→r]↔(¬qVr)

T T T T

T T F T

T F T T

T F F T
5

F T T T

F T F T

F F T T

F F F F

TAREA 2: TABLAS DE VERDAD

A. Si hoy es lunes y pasado mañana es miércoles entonces mañana es martes y mañana no es

jueves

1. Variables Simples

P: Si hoy es lunes

Q: pasado mañana es miércoles

R: mañana es martes

S: mañana no es jueves

2. Traducción Lógica

(pʌq) > (rʌ¬s)


6

p q r s (pΛq)→(rΛ¬s)

T T T T F

T T T F T

T T F T F

T T F F F

T F T T T

T F T F T

T F F T T

T F F F T

F T T T T

F T T F T

F T F T T

F T F F T

F F T T T

F F T F T

F F F T T

F F F F T
7

TAREA 3: PROBLEMAS DE APLICACIÓN

d. {[𝑝→(𝑞∨𝑟)]∧(𝑠→∼𝑞)∧(𝑡→∼𝑟)∧(𝑝∧𝑡)}→𝑞

P: El sistema solar lo componen 8 planetas

Q: La tierra es el único planeta donde hay vida

R: Plutón es el octavo planeta

S: El sol es casi del mismo tamaño que Júpiter.

T: El planeta más grande del sistema solar es Júpiter

{[V→(V∨F)]∧(F→∼V)∧(V→∼F)∧(V∧V)}→V
8

V→(V)∧(V)∧(V)∧(V)→V

V→V

p q r s t ((p→(qVr))Λ(s→¬q)Λ(t→¬r)Λ(pΛt))→q

T T T T T T

T T T T F T

T T T F T T

T T T F F T

T T F T T T

T T F T F T

T T F F T T

T T F F F T

T F T T T T

T F T T F T

T F T F T T

T F T F F T

T F F T T T

T F F T F T
9

T F F F T T

T F F F F T

F T T T T T

F T T T F T

F T T F T T

F T T F F T

F T F T T T

F T F T F T

F T F F T T

F T F F F T

F F T T T T

F F T T F T

F F T F T T

F F T F F T

F F F T T T

F F F T F T

F F F F T T

F F F F F T

Figura tomada de Truth Tables (Turner, s.f.)

expression is a tautology
10

CONCLUSIONES

Podemos concluir que las proposiciones son el elemento esencial de la lógica matemática, nos

ayuda a desarrollar los procesos de pensamiento lógico, este trabajo nos permite profundizar

estos conocimientos para la resolución de problemas y la representación de los hechos que se

reciben en el mundo real y el uso de las proposiciones.

Bibliografía

(Universidad Nacional Abierta y a Distancia, s.f.)

(Turner, s.f.)

También podría gustarte