Ejercicios Introducción a la lógica

1. Construir la tabla de verdad de cada una de las fórmulas proposicionales

a) ( ~𝑝 ∨ ~𝑞) ⟷ ~(𝑝 ∧ 𝑞)
b) (𝑝 ∧ ~ 𝑞) ⟶ 𝑐, 𝑐 𝑒𝑠 𝑐𝑜𝑛𝑡𝑟𝑎𝑑𝑖𝑐𝑐𝑖𝑜𝑛
c) (~𝑝 ∧ ~𝑞) ⟷ ~(𝑝 ∨ 𝑞)
d) 𝑝 ∧ (∼ 𝑞 ∨ 𝑝)
e) 𝑝 ∧ (𝑞 ∨ 𝑟)
f) 𝑟 ∧ ~𝑟

2. Clasificar cada fórmula proposicional del ejercicio 1 como: contingencia, tautología

o contradicción.

3. Determinar si el par de proposiciones dadas son lógicamente equivalentes.

a) 𝑝 ⟶ 𝑞 , 𝑞 ⟶ 𝑝

b) 𝑝 → 𝑞 , ~𝑞 → ~𝑝

c) ~𝑝 ∨ ~𝑞 , ~(𝑝 ∧ 𝑞)

d) ~𝑝 ∧ ~𝑞 , ~(𝑝 ∨ 𝑞)

e) 𝑝 ⟶ 𝑞 , (𝑝 ∧ ~ 𝑞) ⟶ 𝑐 𝑑𝑜𝑛𝑑𝑒 𝑐 𝑒𝑠 𝑢𝑛𝑎 𝑐𝑜𝑛𝑡𝑟𝑎𝑑𝑖𝑐𝑐𝑖ò𝑛

f) 𝑝 ∧ (𝑞 ∨ 𝑟) , (𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟)

g) ∼ (𝑝 ⟶ 𝑞) , 𝑝 ∧∼ 𝑞

4. Sean 𝑝 , 𝑞 y 𝑟 los enunciados

𝒑: 𝑇𝑖𝑒𝑛𝑒𝑠 𝑢𝑛 5 𝑒𝑛 𝑒𝑙 𝑡𝑒𝑟𝑐𝑒𝑟 𝑝𝑎𝑟𝑐𝑖𝑎𝑙 𝒒: 𝐻𝑎𝑐𝑒𝑠 𝑡𝑜𝑑𝑜𝑠 𝑙𝑜𝑠 𝑒𝑗𝑒𝑟𝑐𝑖𝑐𝑖𝑜𝑠 𝑑𝑒𝑙 𝑙𝑖𝑏𝑟𝑜
𝒓: 𝑇𝑖𝑒𝑛𝑒𝑠 𝑢𝑛 5 𝑒𝑛 𝑒𝑠𝑡𝑎 𝑚𝑎𝑡𝑒𝑟𝑖𝑎

i) Expresar los siguientes enunciados usando 𝑝, 𝑞 y 𝑟 y conectivos lógicos.

a) Tienes un 5 en el tercer parcial, pero no haces todos los ejercicios del libro.
b) Tienes un 5 en el tercer parcial, haces todos los ejercicios del libro y tienes un
5 en esta materia.
c) Tener un 5 en el tercer parcial y hacer todos los problemas del libro es
suficiente para tener un 5 en esta materia.
d) No tienes un 5 en esta materia o haces todos los ejercicios del libro.
e) Para tener un 5 en esta materia es necesario tener un 5 en el tercer parcial.
ii) Escribir en lenguaje natural la negación de las proposiciones en i).