TABLAS DE VERDAD

→: si…entonces…
↔: …si y solo si…
∧: y…
∨: o…
~: Negación
 Actividades a desarrollar

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:
Ejercicio C:
p: Falcao García fue el mejor jugador de Colombia en la copa mundial de Brasil
2014 (F)
q: Colombia llegó a la semifinal de la copa mundial de Brasil 2014 (F)
~p: Falcao García no, fue el mejor jugador de Colombia en la copa mundial de
Brasil 2014 (V)
~q: Colombia no, llegó a la semifinal de la copa mundial de Brasil 2014 (V)

Determinación del valor de verdad:

Punto C: ~ (𝒑⋀𝒒) ↔ (~𝒑∨𝒒)
~ (F⋀F) ↔ (V∨F)
~ (F) ↔ (V)
(V) ↔ (V)
V
p q ~p ~q (p ∧ q) ~(p ∧ q) (~p V q) ~ (p ∧ q) ↔ (~p V
q)
V V F F V F V F
V F F V F V F F
F V V F F V V T
F F V V F V V T

Contingencia
 Tarea 2: Tablas de verdad
Ejercicio B:
El sol es redondo y la luna es un satélite si y solo si la tierra hace parte de la vía
láctea. (p y q = r)
p: el sol es redondo
q: la luna es un satélite
r: la tierra hace parte de la vía láctea
(p ∧ q) ↔ r
p q r (p ∧ q) (p ∧ q) ↔ r
V V V V V
V V F V F
V F V F F
V F F F V
F V V F F
F V F F V
F F V F F
F F F F V

Contingencia
 Tarea 3: Problemas de aplicación
Ejercicio D: { [p → (q V r) ∧ (s→~q) ∧ (t→~r) V (p ∧ t)] } →q
p→
(p ∧ {[p → (q V r) ∧ (s→~q) ∧ {[p → (q V r) ∧ (s→~q)
p q r s t ~q ~r (q V (s→~q) (t→~r) t)
r) (t→~r) V (p ∧ t)]} ∧ (t→~r) V (p ∧ t)]} →q

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

V V V F F F F V V V F V V
V V F V V F V V F V V V V
V V F V F F V V F V F F V
V V F F V F V V F V V T V
V V F F F F V V F V F T V
V F V V V V F V V F V T F
V F V V F V F V V V F T F
V F V F V V F V V F V T F
V F V F F V F V V V F T F
V F F V V V V F V V V T F

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

F F V V V F F V F F F F V
F F V V F V F V V V F V F
F F V F V V F V V F F F V
F F V F F V F V V V F V F
F F F V V V V V V V F V F
F F F V F V V V V V F V F
F F F F V V V V V V F V F
F F F F F V V V V V F V F
Contingencia