Nociones de Lógica Proposicional 02
En este post seguimos explorando las primeras ideas y definiciones básicas de la lógica proposicional, así que después de ver los conectivos "negación, conjunción, disyunción, implicación y doble implicación" abordaremos el tema de: Tautología, contradicción y equivalencia lógica. Entenderemos que estamos ante una tautología cuando al considerar todos los posibles valores en una proposición todos estos son iguales a 1 en la tabla de verdad y una contradicción cuando estos valores son "cero" La primera tautología se le conoce como el principio del tercero excluido, donde si tenemos una proposición que afirma algo y la otra lo contradice, entonces una de las dos debe ser cierta. En la siguiente tabla de verdad podemos atestiguar la primera contradicción que vemos en nuestro estudio que recibe el nombre de principio de NO contradicción , donde una expresión no puede ser cierta y falsa al mismo tiempo. Una forma de encontrar más tautologías es de...