Академический Документы
Профессиональный Документы
Культура Документы
e) (p q) r (p r) v (q r)
Demostración:
(p r) v (q r)
b) [(∼ p∧q) → (r∧∼ r)]∧∼ q
(p v r) v (q v r) Definición del
Condicional
(p v q) v (r v r) Postulado de la
Conmutativida
dy
Teorema de la
c) {[(p q) q] p} (p q) asociatividad
{[(p q) q] p} (p q) (p v q) v r Teorema de la
Definición del condicional. idempotencia
{[(p q) q] p} (p q) (p q) v r Teorema de De
Teorema de De Morgan Morgan
{[(p q) q] p} (p q) (p q) r Definición del
Teorema de la doble negación condicional
{(p q) (p q)} (p q)
f) p (p q) p
Postulado de la conmutatividad y
g) (p q) q
teorema de la asociatividad
h) p (p q)
V (p q)
Postulado del tercer excluido i) [p (q r)] [(p q) (p r)]
(p q) j) [p (q r)] [(p q) (p r)]
Postulado de identidad k) [(p q) (p r) (q r)] r
d) (p r) v (p q r) v (p r) p l) [(p q) (r p) (s q)] (r
s)
Demostración: m) [(p q) p] q
p [r v (q r) v r] Postulado de la n) [(p q) q] p
distributividad o) [(p q) q] p
p [(q r) v (r v r)] Postulado de la p) [(q p) (r q)] (p r)
conmutatividad y
Teorema de
asociatividad