TALLER N°2 – ALGEBRA DE PROPOSICIONES

EJERCICIOS
 𝑆𝑖 𝑑𝑒𝑓𝑖𝑛𝑖𝑚𝑜𝑠 ∇ 𝑦∆ 𝑐𝑜𝑚𝑜 𝑝∇𝑞 = (~𝑝)⋀(~𝑞), 𝑝∆𝑞 = (~𝑝)⋁(~𝑞).
𝐷𝑒𝑚𝑢𝑒𝑠𝑡𝑟𝑒, sin𝑢𝑠𝑎𝑟 𝑡𝑎𝑏𝑙𝑎𝑠 𝑑𝑒 𝑣𝑒𝑟𝑑𝑎𝑑 𝑞𝑢𝑒:
𝑎)𝑝∇𝑝 ⇔ ~𝑝
𝑏)𝑝⋀𝑞 ⇔ ~(𝑝∆𝑞)
𝑐) 𝑝⋁𝑞 ⇔ ~(𝑝∇𝑞)
 𝑆𝑖𝑛 𝑢𝑠𝑎𝑟 𝑡𝑎𝑏𝑙𝑎𝑠 𝑑𝑒 𝑣𝑒𝑟𝑑𝑎𝑑, 𝑑𝑒𝑚𝑢𝑒𝑠𝑡𝑟𝑒 𝑞𝑢𝑒 𝑝⋁[(~𝑝)⋀𝑞] ⇔ 𝑝⋁𝑞
 𝐷𝑒𝑚𝑢𝑒𝑠𝑡𝑟𝑒 [𝑝⋀(𝑝 ⇒ 𝑞)] ⇒ 𝑞 𝑒𝑠 𝑢𝑛𝑎 𝑡𝑎𝑢𝑡𝑜𝑙𝑜𝑔í𝑎
 𝐷𝑒𝑚𝑢𝑒𝑠𝑡𝑟𝑒 𝑝 ⇒ (𝑝⋁𝑞) 𝑒𝑠 𝑢𝑛𝑎 𝑡𝑎𝑢𝑡𝑜𝑙𝑜𝑔í𝑎
 𝐷𝑒𝑚𝑢𝑒𝑠𝑡𝑟𝑒: [(𝑝 ⇒ 𝑞) ⇒ 𝑞] ⇒ (𝑝⋁𝑞)