PN-1

p: El Papa Francisco vino a Colombia

q: El Papa Francisco estuvo en la Guajira
r: El Papa Francisco estuvo sólo un día en Colombia
[(𝑟 ↔ 𝑞) ↔ 𝑝] → ¬𝑟

El Papa Francisco estuvo sólo un día en Colombia, si y solo si, el

Papa Francisco estuvo en la Guajira, si y solo si, el Papa Francisco
vino a Colombia. Por lo tanto, el Papa Francisco no estuvo sólo un
día en Colombia.
p: V
q: F
r: F
[(𝑟 ↔ 𝑞) ↔ 𝑝] → ¬𝑟
[(𝐹 ↔ 𝐹) ↔ 𝑉] → ¬𝐹
[(𝑉) ↔ 𝑉] → 𝑉
[𝑉] → 𝑉
𝑉
El valor de verdad es: VERDADERO