Prueba por Contradicción nos permite poner¬ en una aserción, por lo que algunos lógicos la llaman¬ - introducción, pero utilizamos la terminología de los matemáticos, que siempre se ref...Prueba por Contradicción nos permite poner¬ en una aserción, por lo que algunos lógicos la llaman¬ - introducción, pero utilizamos la terminología de los matemáticos, que siempre se refieren a ella como “Prueba por Contradicción”. (Y la¬ - regla de eliminación es el hecho que¬¬A es lógicamente equivalente aA, que es una de las reglas de negación en.)
