Universidad de Carabobo

Facultad de Ciencias Económicas y Sociales

Ciclo Básico - Núcleo Aragua
Catedra: Matemática
Asignatura: Introducción a la Matemática
Prof. Carmen Gil
GUÍA DE EJERCICIOS -UNIDAD I (Lógica Proposicional)
1. Diga si las siguientes expresiones son proposiciones o no. En caso afirmativo señale si la proposición es atómica o
molecular (indicando el conectivo) y si es verdadera o falsa.
a) El agua se compone de hidrogeno y oxígeno.
b) 2+5=8
c) Todo estudiante es universitario.
d) ¿Cómo te llamas?
e) Todos los hombres son mortales.
f) Toda proposición que tiene menos de 15 palabras es falsa.
1. Dadas las variables 𝒑: 𝒆𝒔𝒕á 𝒍𝒍𝒐𝒗𝒊𝒆𝒏𝒅𝒐 , 𝒒: 𝒆𝒍 𝒔𝒐𝒍 𝒆𝒔𝒕á 𝒃𝒓𝒊𝒍𝒍𝒂𝒏𝒅𝒐 , 𝒓: 𝒉𝒂𝒚 𝒏𝒖𝒃𝒆𝒔 𝒆𝒏 𝒆𝒍 𝒄𝒊𝒆𝒍𝒐. Exprese de manera
simbólica las siguientes proposiciones.
a) Está lloviendo y el sol está brillando.
b) Si no está lloviendo, entonces el sol no está brillando y hay nubes en el cielo.
c) Si no hay nubes en el cielo entonces el sol está brillando.
d) Para que el sol este brillando es suficiente que no esté lloviendo.
2. Sean las proposiciones 𝒑: 𝒆𝒍 𝒅𝒊𝒏𝒆𝒓𝒐 𝒆𝒔𝒄𝒂𝒔𝒆𝒂 , 𝒒: 𝒍𝒂 𝒊𝒏𝒇𝒍𝒂𝒄𝒊ó𝒏 𝒃𝒂𝒋𝒂 , 𝒔: 𝒍𝒐𝒔 𝒊𝒏𝒕𝒆𝒓𝒆𝒔𝒆𝒔 𝒔𝒖𝒃𝒆𝒏. Escribir
simbólicamente las siguientes proposiciones:
a) Si el dinero escasea, entonces los intereses suben y la inflación baja.
b) El dinero escasea solo si la inflación baja.
c) Que el dinero escasee es condición necesaria para que los intereses suban.
d) Una condición suficiente para que los intereses suban es que la inflación baje.
e) Una condición necesaria para que el dinero escasee es que los intereses suban.
f) Para que la inflación no baje es suficiente que el dinero no escasee.
3. Simbolice la siguiente proposición: “Si el sospechoso estuvo en la playa, entonces no estuvo en la ciudad, y si no
estuvo en la ciudad, entonces no robo el banco”.
4. Sean las proposiciones 𝒑: 𝟓 > 𝟕 𝒓: 𝟓 + 𝟏𝟓 = 𝟐𝟎. Hallar el valor de verdad de:
a) 𝑝 ∧ 𝑟
b) (∼ 𝑝) ∧ 𝑟
c) 𝑟 → 𝑝
d) ∼ (𝑟 ↔ (∼ 𝑝))
5. Construir la tabla de verdad de las formulas proposicionales e indique el tipo de proposición molecular.
a) [(𝑝 → 𝑞) ∧ (𝑟 → 𝑞)] ↔ [(𝑝 ∨ 𝑟) → 𝑞]
b) {[𝑝 ∧ (∼ 𝑞 → 𝑝)] ∧ [(∼ 𝑞 ↔ 𝑝) → (𝑝 → 𝑞)]}
c) {[(𝑝 → 𝑞) ∧ (𝑝 ∧ 𝑟)] ∧ [[(𝑞 ∧ 𝑠) →∼ 𝑡] ∧ (𝑟 → 𝑠)]} →∼ 𝑡
d) [(𝑝 ∧ 𝑞) ∨ (∼ 𝑞)] ∧ [((∼ 𝑝) ∨ (∼ 𝑞)) ∧ 𝑞]
6. Determinar si la formula proposicional A es equivalente lógicamente a B. (𝑨 ≡ 𝑩)
a) 𝐴: (∼ 𝑝 ∨ 𝑞) ∧∼ (𝑝 ∧ 𝑞) 𝐵: 𝑟 ↔∼ 𝑝
b) 𝐴: ∼ [𝑟 ⟶∼ (𝑞 ⟶ 𝑝)] 𝐵: (𝑟 ∧ 𝑝) ∧∼ 𝑞
c) 𝐴: 𝑝 ↔ 𝑞 𝐵: 𝑝 ↔∼ 𝑞
d) 𝐴: (𝑝 ∨∼ 𝑞 ) ⟶ [(𝑝 ∧ 𝑟) ⟶∼ 𝑞 ] 𝐵: 𝑞 ∧ (𝑝 ⟶ 𝑟)
7. Determinar si la formula proposicional A implica lógicamente a B. (𝑨 ⇒ 𝑩)
a) 𝐴: (𝑝 ⟷∼ 𝑞) ∧∼ 𝑝 𝐵: 𝑞 ∧ (𝑝 ∨∼ 𝑞)
b) 𝐴: ∼ (𝑝 →∼ 𝑞) 𝐵: 𝑝 ∧ 𝑞
c) 𝐴: 𝑝 → (𝑞 ∨ 𝑟) 𝐵: (𝑝 → 𝑞) ∨ (𝑞 → 𝑟)
d) 𝐴: [∼ (𝑝 →∼ 𝑞) ∧∼ (𝑝 ∨ 𝑟)] ∧∼ 𝑟 𝐵: 𝑞 ↔∼ 𝑝
8. Simplificar (mediante las leyes del Álgebra Proposicional) las siguientes formas proposicionales.
a) ∼ 𝑞 ∧ [(𝑝 ∧ 𝑞) ∨ 𝑟]
b) 𝑝 → [𝑝 ∧∼ (𝑞 ∨ 𝑟)]
c) (𝑝 → 𝑞) ↔ [(∼ 𝑝 ∨∼ 𝑞) → 𝑞]
d) {(𝑝 ∧ 𝑞) ∨ (𝑞 ∧∼ 𝑟) ∨ (∼ 𝑟 ∧ 𝑝) ∨ (𝑞 ∧ 𝑟)} ∧ 𝑝
e) {[𝑝 ∨ (𝑞 ∧ 𝑟) ∨∼ 𝑝] ∧∼ 𝑞} ∨ (𝑞 ∧∼ 𝑟)