Prática Grupal

Simplifique utilizando las leyes lógicas especificando

Leyes lógicas
1. (p →q) → q 1. Ley condicional
𝒑 → 𝒒 ≡ ~𝒑 ∨ 𝒒
~[~(𝑝 → 𝑞)] ∨ ~𝑞 2. Ley de Doble negación
~~𝒑 ≡ 𝒑
(𝒑 → 𝒒) ∨ ~𝑞 3. Ley condicional
𝒑 → 𝒒 ≡ ~𝒑 ∨ 𝒒
(~𝒑 ∨ 𝒒) ∨ ~𝑞 4. Ley Asociativa
(𝒑 ∨ 𝒒) ∨ 𝒓 ≡ 𝒑 ∨ (𝒒 ∨ 𝒓)
5. Ley del Complemento
~𝑝 ∨ (𝑞 ∨ ~𝑞)
𝒑 ∨ ~𝒑 ≡ 𝑽
~𝑝 ∨ (𝑉) 6. Ley de la identidad
𝒑∨𝑽 ≡ 𝑽
(𝑉 )

V
 Leyes lógicas
2. [(p  q) → q]  p 1. Ley condicional
~(𝒑 → 𝒒) ≡ 𝒑 ∧ ~𝒒
[ (p  q) ∧  q]  p 2. Doble negación
~~𝒑 ≡ 𝒑
[ (p  q) ∧ q]  p 3. Ley de Morgan
~(𝒑 ∧ 𝒒) ≡ ~𝒑 ∨ ~𝒒
[( p   q) ∧ q]  p 4. Ley conmutativa
(𝒑 ∧ 𝒒) ≡ (𝒒 ∧ 𝒑)
[ q ∧ ( q  p)]  p 5. Ley de Absorción
p ∧ ( p  q) ≡ p ∧ 𝑞
[ q ∧  p]  p 6. Ley conmutativa
(𝒑 ∧ 𝒒) ≡ (𝒒 ∧ 𝒑)
p  [  p ∧ 𝐪 ] 7. Ley de Absorción
p ( p ∧ q) ≡ p
p

p

p
 Leyes lógicas
3. {[(p → q)  (p  r)]  (p → r)} 1. Ley de Morgan
~(𝒑 ∧ 𝒒) ≡ ~𝒑 ∨ ~𝒒
{[ (p → q)   (p  r)]  (p → r)} 2. Doble negación
~~𝒑 ≡ 𝒑
{[ (p → q)  (p  r)]  (p → r)} 3. Ley condicional
𝒑 → 𝒒 ≡ ~𝒑 ∨ 𝒒
{[ (p  q)  (p  r)]  (p → r)} 4. Doble negación
~~𝒑 ≡ 𝒑
{[ ( p  q)  (p  r)]  (p → r)} 5. Ley conmutativa
(𝒑 ∧ 𝒒) ≡ (𝒒 ∧ 𝒑)
6. Ley Asociativa
{[ ( q  p)  (p  r)]  (p → r)}
(𝒑 ∨ 𝒒) ∨ 𝒓 ≡ 𝒑 ∨ (𝒒 ∨ 𝒓)
7. Ley de Absorción
{ [ q  [p  (p  r)] ] (p → r)}
p ( p ∧ q) ≡ p
 Leyes lógicas
[ q  p] (p → r) 8. Ley condicional
~(𝒑 → 𝒒) ≡ 𝒑 ∧ ~𝒒
[ q  p] (p   r) 9. Ley Asociativa
(𝒑 ∨ 𝒒) ∨ 𝒓 ≡ 𝒑 ∨ (𝒒 ∨ 𝒓)
q  [ p (p   r) ] 10. Ley de Absorción
p ( p ∧ q) ≡ p
q  p
q

p
 Leyes lógicas
1. Ley de Morgan
4. {[(p  q)  (p  q)] → p}  [(p  q)  (q  p)]
~(𝒑 ∧ 𝒒) ≡ ~𝒑 ∨ ~𝒒
{[p   q  p  q] → p}  [(p  q)  (q  p)] 2. Ley conmutativa
(𝒑 ∨ 𝒒) ≡ (𝒒 ∨ 𝒑)
{[p   p   q  q] → p}  [(p  q)  (q  p)] 3. Ley Asociativa
(𝒑 ∨ 𝒒) ∨ 𝒓 ≡ 𝒑 ∨ (𝒒 ∨ 𝒓)
{[(p   p)  ( q  q)] → p}  [(p  q)  (q  p)]
4. Ley de idempotencia
{[p  ( q  q)] → p}  [(p  q)  (q  p)] (𝒑 ∨ 𝒒) ∨ 𝒓 ≡ 𝒑 ∨ (𝒒 ∨ 𝒓)
5. Ley del Complemento
{[p  V]→ p}  [(p  q)  (q  p)] 𝒑 ∨ ~𝒑 ≡ 𝑽
6. Ley de la identidad
{[ V]→ p}  [(p  q)  (q  p)] 𝒑∨𝑽≡𝑽
7. Ley condicional
{[ V]  p}  [(p  q)  (q  p)] ~(𝒑 → 𝒒) ≡ 𝒑 ∧ ~𝒒
8. Ley de la identidad
{ F   p }  [(p  q)  (q  p)] 𝒑∧𝑭≡𝑭
F  [(p  q)  (q  p)]
 Leyes lógicas
9. Ley de la identidad
F  [(p  q)  (q  p)]
𝒑∨𝑭 ≡ 𝑷
10. Ley conmutativa
[(p  q)  (q  p)]
(𝒑 ∨ 𝒒) ≡ (𝒒 ∨ 𝒑)
11. Ley Distributiva
[(p  q)  (p  q)]
(p  q)  (p  r) ≡ p  ( p  r )
[p  ( q  q)] 12. Ley del Complemento
𝒑 ∨ ~𝒑 ≡ 𝑽
[p  V] 13. Ley de la identidad

p
𝒑𝑽 ≡ 𝒑

p

p
 Leyes lógicas
5. [(p  q)  (q → r)] → p 1. Ley de Morgan
~(𝒑 ∧ 𝒒) ≡ ~𝒑 ∨ ~𝒒
[(p  q)  (q → r)] → p 2. Doble negación
~~𝒑 ≡ 𝒑
3. Ley condicional
[( p  q)  (q → r) ] → p ~(𝒑 → 𝒒) ≡ 𝒑 ∧ ~𝒒
4. Ley Asociativa
[( p  q)  (q   r) ] → p (𝒑 ∨ 𝒒) ∨ 𝒓 ≡ 𝒑 ∨ (𝒒 ∨ 𝒓)
5. Ley de Absorción
{ p  [ q  (q   r) ] } → p p ∧ ( p  q) ≡ p ∧ 𝑞
6. Ley condicional
{  ( p  [ q   r ]) }  p 𝒑 → 𝒒 ≡ ~𝒑 ∨ 𝒒
7. Ley de Morgan
{  p ∧  [ q   r ]) }  p ~(𝒑 ∨ 𝒒) ≡ ~𝒑 ∧ ~𝒒
8. Ley conmutativa
p  {  p ∧  [ q   r ]) } (𝒑 ∨ 𝒒) ≡ (𝒒 ∨ 𝒑)
 Leyes lógicas
p 9. Ley de Absorción
p ( p ∧ q) ≡ p

p

p
 Leyes lógicas
6. [(p  q) → (p → q)] → [r  (q  p)] 1. Ley condicional
𝒑 → 𝒒 ≡ ~𝒑 ∨ 𝒒
 [(p  q) → (p → q)] ∨ [r  (q  p)] 2. Ley condicional
~(𝒑 → 𝒒) ≡ 𝒑 ∧ ~𝒒
3. Doble negación
[(p  q)   (p → q)] ∨ [r  (q  p)]
~~𝒑 ≡ 𝒑
4. Ley condicional
[(p  q)  (p → q)] ∨ [r  (q  p)]
𝒑 → 𝒒 ≡ ~𝒑 ∨ 𝒒
5. Doble negación
[(p  q)  (p ∨ q)] ∨ [r  (q  p)] ~~𝒑 ≡ 𝒑
6. Ley conmutativa
[ p  q  (p ∨ q)] ∨ [r  (q  p)] (𝒑𝒒) ≡ (𝒒𝒑)
7. Ley de Absorción
{ [ p  (p ∨ q )] q } ∨ [r  (q  p)] p ∧ ( p ∨ q) ≡ p

( p  q ) ∨ [r  (q  p)]
 p q
q
r
p

p q
q
r
p
 Leyes lógicas
7. [(p  q) → (q  p)]  [(p  p) → (q → r)] 1. Ley del Complemento
𝒑~𝒑 ≡ 𝑭
[(p  q) → (q  p)]  [ F→ (q → r)] 2. Leyes lógicas
𝑭→𝒑≡𝑽
[(p  q) → (q  p)]  ( V ) 3. Ley de la identidad
𝒑 𝑽 ≡ 𝒑
4. Ley condicional
[(p  q) → (q  p)]
𝒑 → 𝒒 ≡ ~𝒑 ∨ 𝒒
5. Ley de Morgan
[ (p  q)  (q  p)]
~(𝒑 ∧ 𝒒) ≡ ~𝒑 ∨ ~𝒒
6. Ley Asociativa
( p   p)  (  q  q ) (𝒑 ∨ 𝒒) ∨ 𝒓 ≡ 𝒑 ∨ (𝒒 ∨ 𝒓)
7. Ley conmutativa
( p   p)  (V) (𝒑 ∨ 𝒒) ≡ (𝒒 ∨ 𝒑)
8. Ley del Complemento
V 𝒑~𝒑 ≡V
9. Ley de la identidad
𝒑𝑽≡𝑽
 Leyes lógicas
8. [(p → q) → (p  q)]  [r  (q  p)] 1. Ley condicional
𝒑 → 𝒒 ≡ ~𝒑 ∨ 𝒒
[ (p → q)  (p  q)]  [r  (q  p)] 2. Ley condicional
~(𝒑 → 𝒒) ≡ 𝒑 ∧ ~𝒒
3. Doble negación
[ (p  q)  (p  q)]  [r  (q  p)]
~~𝒑 ≡ 𝒑
4. Ley de Morgan
[ (p  q)  (p  q)]  [r  (q  p)]
~(𝒑 ∧ 𝒒) ≡ ~𝒑 ∨ ~𝒒
5. Doble negación
[ (p  q)  ( p  q)]  [r  (q  p)]
~~𝒑 ≡ 𝒑
6. Ley conmutativa
[ (p  q)  ( p  q)]  [r  (q  p)] (𝒑 ∨ 𝒒) ≡ (𝒒 ∨ 𝒑)
7. Ley de Absorción
{[ p  (p  q) ]  q }  [r  (q  p)] p ( p ∧ q) ≡ p
8. Ley conmutativa
{ p  q }  r  (q  p) (𝒑 𝒒) ≡ (𝒒  𝒑)
 Leyes lógicas
(p  q)  ( p  q)  r 9. Ley Asociativa
(𝒑 ∨ 𝒒) ∨ 𝒓 ≡ 𝒑 ∨ (𝒒 ∨ 𝒓)
10. Ley Distributiva
{ (p  q)  ( p  q) }  r
(p  q)  (p  r) ≡ p  ( q  r )
11. Ley del Complemento
{ p  (q  q) }  r 𝒑~𝒑 ≡F
12. Ley del Complemento
{ p  F }  r 𝒑𝑭 ≡p

p  r

p r

p r
 Leyes lógicas
9. [(p  q) → (p → q)] → [r  (q  p)] 2. Ley condicional
𝒑 → 𝒒 ≡ ~𝒑 ∨ 𝒒
[ [(p  q) → (p → q)] ∨ [r  (q  p)] 8. Ley condicional
~(𝒑 → 𝒒) ≡ 𝒑 ∧ ~𝒒
9. Doble negación
[(p  q)   (p → q)] ∨ [r (q p)]
~~𝒑 ≡ 𝒑
10. Ley condicional
[(p  q)  (p → q)] ∨ [r  (q  p)]
𝒑 → 𝒒 ≡ ~𝒑 ∨ 𝒒
11. Doble negación
[(p  q)  (p ∨ q)] ∨ [r  (q  p)] ~~𝒑 ≡ 𝒑
12. Ley conmutativa
[ p  q  (p ∨ q)] ∨ [r  (q  p)] (𝒑𝒒) ≡ (𝒒𝒑)
13. Ley de Absorción
{ [ p  (p ∨ q )]q } ∨ [r  (q  p)] p ∧ ( p ∨ q) ≡ p
14. Ley de Morgan
( p  q ) ∨ [r  (q  p)] ~(𝒑 ∨ 𝒒) ≡ ~𝒑 ∧ ~𝒒
 Leyes lógicas
( p  q ) ∨ [r  (q  p)] 15. Doble negación
~~𝒑 ≡ 𝒑
( p  q ) ∨ [r  (q  p)] 16. Ley conmutativa
(𝒑𝒒) ≡ (𝒒𝒑)
( p  q ) ∨ [(p  q )  r ] 17. Ley de Absorción
p ∨ ( p ∧ q) ≡ p
( p  q )

p q

p q