reglas de reemplazo
DESCRIPTION
REGLASTRANSCRIPT
![Page 1: Reglas de Reemplazo](https://reader036.vdocuments.co/reader036/viewer/2022082413/563db8c3550346aa9a96b4cf/html5/thumbnails/1.jpg)
TRABAJO DE RAZONAMIENTO LOGICO
REGLAS DE REEMPLAZO.
KELLY ALVAREZ 2¨A¨
NOMBRE ABREVIACION FORMA
TEOREMA DE MORGAN D.M ~ (p . q) ≡ (~ p v ~q)
~ (p v q) ≡ (~ p . ~q)
CONMUTACION CONM. (p v q) ≡ ( q v p)
(p . q) ≡ ( q . p)
ASOCIATIVA ASOC. [p v (q v r) ] ≡ [(p v q) v r ]
[p . (q . r) ] ≡ [(p . q) . r ]
DISTRIBUTIVA DIST. [p v (q . r) ] ≡ [(p . q) v (p . r)]
[p . (q v r) ] ≡ [(p v q) . (p v r)]
DOBLE NEGACIÓN D.N p ≡ ~ ~p
TRANSPOSICIÓN TRANS. ( p ᴐ q) ≡ ( ~ q ᴐ ~p)
IMPLICACIÓN MATERIAL
I.M ( p ᴐ q) ≡ (~ p v q)
EQUIVALENCIA MATERIAL
EQUIV. ( p ≡ q) ≡ (p ᴐ q) . (q ᴐ p)
( p ≡ q) ≡ ( p . q ) v ( ~ p . ~ q)
EXPORTACIÓN EXPT. [ (p . q) ᴐ r ] ≡ [p ᴐ (q ᴐ r)]
TAUTOLOGIA TAUT
p ≡ p v pp ≡ p. p