La reducción al absurdo

La reducción al absurdo es una técnica para comprobar la validez de una fórmula que consiste en suponer que existe al menos un caso en el que la fórmula es falsa, si con ello se contravienen las reglas fundamentales de la lógica entonces la suposición que hemos hecho es falsa, por lo tanto estamos ante una tautología en la que todos los caso son verdaderos. Sigue leyendo

Anuncios

Cálculo lógico: la igualdad o bicondicional

Una forma conectar lógicamente dos proposiciones es utilizar poner una condición que necesariamente ha de cumplirse de la forma «si, y solo sí, se cumple la condición… entonces…».

En lógica de clases el símbolo es = y en lógica proposicional ↔ y se lee en lenguaje natural: …, si y solo si, entonces… Sigue leyendo