Curso de lógica proposicional 05 Bicondicional y doble negación

We explain the rules of inference for the biconditional and negation elimination. We also solve an exercise using all the inference rules we've learned. My email: [email protected] My blog: https://vonneumannmachine.wordpress.com/ My Facebook blog:   / lamaquinadevonneumann   Twitter: @VNMachine Instagram: @pilotoprix My Xataka profile: https://www.xataka.com/autor/santiago...