GE-UNIC ¡CON NOSOTROS NO POSTULAS, CON NOSOTROS INGRESAS!

Ge-Unic Identidades logicas

p  [(q  r) v V]  Postulado del

tercer excluido
1.-
pV Teorema de la
a) ∼ [∼ (p∧q) →∼ q]∨q tautología
p Teorema de la
identidad

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

Razonamiento Lógico – GeUnic Arthur. Ruiz

GE-UNIC ¡CON NOSOTROS NO POSTULAS, CON NOSOTROS INGRESAS!

Razonamiento Lógico – GeUnic Arthur. Ruiz