𝑝∆ (~𝑞 ↔ ~𝑝)
3. Aplicando las leyes de las proposiciones, simplificar la siguiente expresión:
1. (𝑝 ∆ 𝑞)
2. ~(𝑟˄~𝑞)
3. ~(~𝑝˄𝑞)
a) Si tengo razón, entonces estoy loco. Pero si estoy loco, entonces tengo razón. Por tanto, no estoy loco.
b) Si la prima de Mayra no quiere cenar, entonces come su empanada. Si come su empanada, no le dan
torta. La prima de Mayra no quiere cenar y se retira de la mesa. Por lo tanto no le dan torta.
6.- Simplifica los siguientes esquemas aplicando las leyes del álgebra proposicional:
a) ~ [~ (𝑝 ~ 𝑞)] → ~ 𝑝
b) (~ p → q) ↔ (~q → p)
a) (𝑎 ∧ 𝑏) ↔ 𝑐
b) (𝑏 ∧ 𝑐) → 𝑎
c) ¬ 𝑎 → (¬ 𝑏 ∨ ¬ 𝑐)
(𝑝 𝑞) ↔ [ 𝑝 (𝑝 → 𝑞) ]
9.- Hallar la conclusión C: ~𝒑 , a partir de las siguientes premisas:
2.- (𝑟˅𝑠) → ~𝑡
3.- 𝑡
12.- Si r y s son proposiciones falsa y verdadera respectivamente, señalar cuáles de las siguientes
proposiciones son verdaderas.
1.- (𝑟 ∨ 𝑠)−> 𝑟
2.- ∼ 𝑝 −> 𝑟
3.- ∼ 𝑟 −> 𝑠
4.- ∼ 𝑟 −> (𝑟 ∧ 𝑠)
a) 1y2 b) 2 y 3 c) 1 y 3 d) 2 y 4 e) 1 y 5
a) 𝑝∧𝑞 b) 𝑝 ∧ 𝑞 c) 𝑝−> 𝑞 d)
16..- Simplificar: ∼ [(𝒑 ∧ 𝒒) ∨∼ (𝒑 ∧∼ 𝒒)]−> 𝒒
[(𝑝−> 𝑞) ∧ 𝑝]−> 𝑞 ≡ 𝑉
∼ (𝑝 ∨ 𝑞) ∨ (∼ 𝑞 ∧ 𝑝)
21.-Si:
𝑝: 2 > 3
𝑞: − 4 < 0
~𝑝 ↔ [𝑞^~𝑟 ]
𝑝: 2 + 3 = −1
𝑞: 5 + 𝑦 = 4
𝑟: 33 + 3 < 10
Con 𝑦 ≠ −1, 𝑦 ∈ 𝑅
(~𝑟^~𝑝)𝐯[~(𝑝 → 𝑞) ↔ ~𝑞]
𝑎. [𝑝 ↔ (𝑞v𝑝)] ≡ [(𝑝v𝑞) ↔ 𝑝]
𝑏. [(𝑝^𝑞) → 𝑟] ≡ [𝑝 → (𝑞 → 𝑟)]
Simplificar la expresión recuerde Ubicar la ley que utiliza