Está en la página 1de 5

PROPOSICIONES Y TABLAS DE VERDAD

Ejercicio 2

a. Si en las mañanas llueve entonces en la tarde hace frio y si en la tarde hace


frio entonces en la noche llueve.

p: En las mañanas llueve


q: En la tarde hace frío
r: Llueve en la noche

(𝑝 ⟶ 𝑞) ∧ (𝑞 ⟶ 𝑟)

p q r (𝒑 ⟶ 𝒒) (𝒒 ⟶ 𝒓) (𝒑 ⟶ 𝒒) ∧ (𝒒 ⟶ 𝒓)

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

Truth Table

Es igual en las dos tablas: personal y la de Truth Table.

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: 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 (𝒑 ∧ 𝒒) (𝒑 ∧ 𝒒) ⟷ 𝒓

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

Truth Table

Es igual en las dos tablas: personal y la de Truth Table.

c. Si tengo una moto y no tengo licencia; y los policías me paran entonces me


harán una multa.

p: Tengo una moto


q: Tengo licencia
r: Me paran los policías
s: Me hacen una multa

[(𝑝 ∧ ¬𝑞) ∧ 𝑟] ⟶ 𝑠
p q r s ¬𝒒 (𝒑 ∧ ¬𝒒) (𝒑 ∧ ¬𝒒) ∧ 𝒓 [(𝒑 ∧ ¬𝒒) ∧ 𝒓] ⟶ 𝒔

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

Truth Table
d. Si hoy es lunes y pasado mañana es miércoles entonces mañana es martes
y mañana no es jueves.

p: Hoy es lunes
q: Pasado mañana es miércoles
r: Mañana es martes
s: Mañana es jueves

(𝑝 ∧ 𝑞) ⟶ (𝑟 ∧ ¬𝑠)

p q r s ¬𝒔 (𝒑 ∧ 𝒒) (𝒓 ∧ ¬𝒔) (𝒑 ∧ 𝒒) ⟶ (𝒓 ∧ ¬𝒔)

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

Truth Table
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.

p: Enero tiene 31 días


q: Febrero tiene 28 días
r: Marzo tiene 31 días
s: Abril tiene 31 días

(𝑝 ∧ 𝑞) ⟶ (𝑟 ∧ ¬𝑠)

p q r s ¬𝒔 (𝒑 ∧ 𝒒) (𝒓 ∧ ¬𝒔) (𝒑 ∧ 𝒒) ⟶ (𝒓 ∧ ¬𝒔)

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

Truth Table