El documento presenta una lista de equivalencias lógicas y reglas de inferencia. Las equivalencias lógicas incluyen leyes como la doble negación, las leyes conmutativas, asociativas, distributivas, de identidad, inversas, de Morgan y otras. Las reglas de inferencia describen formas válidas de razonar deductivamente desde premisas a conclusiones, como modus ponens, modus tollens y otras.
El documento presenta una lista de equivalencias lógicas y reglas de inferencia. Las equivalencias lógicas incluyen leyes como la doble negación, las leyes conmutativas, asociativas, distributivas, de identidad, inversas, de Morgan y otras. Las reglas de inferencia describen formas válidas de razonar deductivamente desde premisas a conclusiones, como modus ponens, modus tollens y otras.
El documento presenta una lista de equivalencias lógicas y reglas de inferencia. Las equivalencias lógicas incluyen leyes como la doble negación, las leyes conmutativas, asociativas, distributivas, de identidad, inversas, de Morgan y otras. Las reglas de inferencia describen formas válidas de razonar deductivamente desde premisas a conclusiones, como modus ponens, modus tollens y otras.