2.

Regla de Modus Tollendo Tollens (TT)

A. LEYES QUE REFIEREN A UNA SOLA [(p —»q) • ~ q] —» ~ p p —> q
PROPOSICIÓN ~q
⸫~p
Ley de identidad (Reflexividad): Una proposición sólo es
idéntica a sí mismo. 3. Regla de Modus Tollendo Ponens (TP)
Ley de la no contradicción: Una proposición no puede ser [(p V q) • ~p]—>q pVq
verdadera y falsa a la vez: p • ~ p ~p
Ley del Tercer excluido: p v~ p≡ V ; p • ~ p≡ F ⸫ q
Ley de doble negación: ~ (~p) ≡ p
Ley de Idempotencia: p•p≡p pV p≡p [(p V q) • ~q]—»p pVq
~q
B. LEYES QUE REFIEREN A DOS O MÁS ⸫p
PROPOSICIONES 4. Regla de Doble negación (DN)
~(~p) ≡ p
Leyes de Conmutación:
(p • q) <—> (q • p) ó p•q≡ q• p 5. Regla de Simplificación (S)
(p V q) <—> ( q V p) ó pVq ≡ q V p (p • q)—»p p•q
(p <—> q) <—> (q <—> p) o p <—>q ≡ q <—>p ⸫ p

Leyes de asociación: (p • q)—>q p•q

(p • q) • r ≡ p • (q • r) ⸫ q
(p V q) V r = p V (q V r) 6. Regla de Adjunción (A)
(p <—> q) <—> r ≡ p <—>(q <—> r) p p
q q
Leyes de distribución: ⸫ p&q ⸫ q&p
p • ( q V r) ≡ ( p • q) V ( p • r)
p V (q• r) ≡ ( p V q) • (p V r) 7. Regla del Silogismo Hipotético (HS)
p —»(q • r) ≡ (p —» q) • (p —» r) [(p —» q) • (q—» r)] —» (p —»r) p —> q
p —»(q V r) ≡ (p —» q) V (p —» r) q —» r
⸫ p —» r
Leyes de Morgan: 8. Regla de Adición (LA)
~(p • q) ≡ ~p V ~q p—»(pVq) p
~(p V q) ≡ ~p • ~q ⸫ pVq

Leyes del condicional: q—»(pVq) q

p —» q ≡ ~ p V q ⸫ pVq
~ ( p —»q) ≡ P • ~ q
9. Leyes de Morgan (DL)
Leyes del Bicondicional a) ~ (p • q) ≡ ~p V~ q
(p <—> q) ≡ ( p —» q) • (q —» p) b) ~ (p V q) ≡ ~p • ~ q
(p<—> q ) ≡ (p • q) V (~p • ~q)
10. Ley de Simplificación disyuntiva
Leyes de Absorción pVp
p • (p V q) ≡ p ⸫p
p • (~p V q) ≡ p• q
p V (p • q) ≡ p 11. Ley del Silogismo Disyuntivo (DP)
p V (~p • q) ≡ p V q [(pVq) • (p—»r) • (q—»s) —»(rVs)] pVq pVq
p—»r p—»r
Leyes de Transposición q—»s q—»s
( p —» q) ≡ (~q—»~p) ⸫ rVs ⸫ sVr
( p <—> q) ≡ (~ q <—> ~ p)
12. Leyes Conmutativas (CM)
Leyes de Exportación a. ( p • q) <—> (q • p) ó p•q≡q•p
(p • q) —» r ≡ p —»(q —» r) b. (pVq) <—> (qVp) ó pVq≡qVp
[(p1 • p2) •... • pn) —» r ≡ [(p1• p2•...• pn-1 —» (pn —» r)] c. (p <—> q) <—> (q <—> p) ó p <—> q ≡ q<—> p

Elemento neutro para la conjunción y disyunción 13. Leyes de las Proposiciones Bicondicionales (DEF
p • t ≡ p (t = tautología) BICON)
p V c ≡ p (c = contradicción) a. (p <—> q) = (p —»q) • (q—» p)
b. (p <—> q) = (p • q) V (~ p • ~ q)
1. Regla de Modus Ponendo Ponens (PP)
[(p —»q) • p] —» q p —» q 14. Ley de la Conjunción negativa
p ~P
⸫ q ~q
⸫~p x q
15. Regla de Premisas
Una inferencia es válida si y sólo si la conjunción de premisas
implica la conclusión, es decir si: P1, P2, P3 •... Pn, son las
proposiciones premisas y "C” la conclusión, entonces:
(P1 • P2 • P3 •... Pn) + C=Tautología.

Formas normales
Pv F ≡ p
qv V ≡ q