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