reglas de remplazo

Reglas de Reemplazo
En las que las líneas de cierre son dobles indicando que ambas fórmulas son equivalentes, es decir, pueden sustituirse directamente una por otra puesto que su conexión es un bicondicional.

Leyes de De Morgan

línea n	¬(A /\ B)		Fórmula de la cadena
	============	Doble línea de cierre
	(¬ A \/ ¬ B)		Regla de De Morgan 1., línea n.	Conclusión

---

línea n	¬(A \/ B)		Fórmula de la cadena
	============	Doble línea de cierre
	(¬ A /\ ¬ B)		Regla de De Morgan 2., línea n.	Conclusión

Conmutación de la conjunción

línea n	A /\ B		Fórmula de la cadena
	============	Doble línea de cierre
	B /\ A		Conmutación conjunción CC., línea n.	Conclusión

Conmutación de la disyunción

línea n	A \/ B		Fórmula de la cadena
	============	Doble línea de cierre
	B \/ A		Conmutación disyunción CD., línea n.	Conclusión

Asociativa de la conjunción AC.

línea n	[A /\ (B /\ C)]		Fórmula de la cadena
	============	Doble línea de cierre
	[(A /\ B) /\ C]		Asociativa conjunción AC., línea n.	Conclusión

Asociativa de la disyunción AD.

línea n	[A \/ (B \/ C)]		Fórmula de la cadena
	============	Doble línea de cierre
	[(A \/ B) \/ C]		Asociativa disyunción AD., línea n.	Conclusión

Distributiva de la conjunción

línea n	[A /\ (B \/ C)]		Fórmula de la cadena
	============	Doble línea de cierre
	[(A /\ B) \/ (A /\ C)]		Distributiva de la conjunción DC., línea n.	Conclusión

Distributiva de la disyunción

línea n	[A \/ (B /\ C)]		Fórmula de la cadena
	============	Doble línea de cierre
	[(A \/ B) /\ (A \/ C)]		Distributiva de la disyunción DD., líneas n.	Conclusión

Doble negación

línea n	¬¬A		Fórmula de la cadena
	============	Doble línea de cierre
	A		Doble negación DN., línea n.	Conclusión

Transposición

línea n	(A → B)		Fórmula de la cadena
	============	Doble línea de cierre
	(¬B → ¬A)		Transposición., línea n.	Conclusión

Definición del implicador

línea n	A → B		Fórmula de la cadena
	============	Doble línea de cierre
	¬A \/ B		Implicación, Imp., línea n.	Conclusión

Equivalencia 1

línea n	A ↔ B		Fórmula de la cadena
	============	Doble línea de cierre
	[(A → B) /\ (B → A)		Equivalencia 1., línea n.	Conclusión

Equivalencia 2

línea n	A ↔ B		Fórmula de la cadena
	============	Doble línea de cierre
	[(A /\ B) \/ (¬A /\ ¬B)		Equivalencia 2., línea n.	Conclusión

Exportación

línea n	[(A /\ B) → C]		Fórmula de la cadena
	============	Doble línea de cierre
	[A → (B → C)]		Exportación. Exp., línea n,	Conclusión

´
Identidad

línea n	A		Fórmula de la cadena
	============	Doble línea de cierre
	A		Identidad, línea n,	Conclusión

Tautología

línea n	A		Fórmula de la cadena
	============	Doble línea de cierre
	(A \/ A)		Exportación. Exp., línea n.	Conclusión