Proposiciones y Tablas de Verdad

Emilena María González González.

Marzo 2018.

Universidad Nacional Abierta y a Distancia.

Atlántico.
Pensamiento lógico matemático.
 Introducción

En el siguiente trabajo se pueden evidenciar el proceso de elaboración de la tabla de verdad

o tabla de valores mostrando el valor de proposiciones permitiendo de manera lógica
establecer una validez de varios puntos.
 Objetivos

Establecer la validez de las tablas de manera manual y por medios del simulador truth y
colocando las proposiciones y determinando el valor de verdad.
Tarea 1: Proposiciones

E.
p: en la UNAD hay 5 periodos académicos anualmente
q: La UNAD tiene 3 periodos de 8 semanas cada uno

(𝑝∧¬𝑞) →(¬ 𝑝)

Proposiciones:

P: p: en la UNAD hay 5 periodos académicos anualmente

q: La UNAD tiene 3 periodos de 8 semanas cada uno

Proposiciones compuestas en lenguaje natural:

Si en la UNAD hay 5 periodos académicos pero en la UNAD NO se tienen 3 periodos de 8

semanas cada uno entonces no es cierto que en la UNAD hay 5 periodos académicos
anualmente.

Determinación del valor de verdad:

(𝑝∧¬𝑞) →(¬ 𝑝)

(V ∧ f) → (f)

f→ f
Tarea 2: Tablas de verdad

E.
Si enero tiene 31 días y febrero 28 días entonces marzo tiene 31 días y abril no tiene
31 días

Premisas
P: si enero tiene 31 días
Q: febrero tiene 28 días
R: marzo tiene 31 días
T: abril no tiene 31 días

Lenguaje simbólico

(p ∧ q) → (r ∧ t)
Tabla de verdad (manual)

p q r t (p ⋀ q) → (r ⋀ t)

V V V V V V V

V V V F V F F

V V F V V F F

V V F F V F F

V F V V F V V

V F V F F V F

V F F V F V F

V F F F F V F

F V V V F V V

F V V F F V F

F V F V F V F

F V F F F V F

F F V V F V V

F F V F F V F

F F F V F V F

F F F f f v F
Simulador truth
Tarea 3: Problemas de aplicación
Punto: E

 En la proposición simple, se da una afirmación con el resultado implícito

 lenguaje natural: Si él está dormido entonces él está descansando pero su mama lo

llama entonces él se levanta y camina hacia la cocina y ahí ve a su mama entonces
mira la hora y su mama sabe que es tarde sin embargo ella le empaca su comida
entonces él se la lleva.

 [[(𝑝→𝑞) ∧(𝑟→𝑠)]∧[(𝑞 ∧𝑠)→𝑡] ∧(𝑝∧𝑟)] →𝑡

TABLA DE VERDAD (MANUAL)
SIMULADOR TRUTH

Es una TAUTOLOGÍA porque es una proposición compuesta ya que si es verdadera para

todas las asignaciones de valores de verdad para sus proposiciones componentes Dicho de
otra forma, su valor V no depende de los valores de verdad de las proposiciones que la
forman, sino de la forma en que están establecidas las relaciones sintácticas de unas con otras.