Ley del Tercero Excluido: P v ¬P 1 Este principio afirma que la disyunción de una proposición y de su negación es siempre verdadera. Sólo uno de los enunciados debe ser cierto, por lo que juicios medios como “La existencia de Dios ni es posible ni es...
More
Ley del Tercero Excluido: P v ¬P 1 Este principio afirma que la disyunción de una proposición y de su negación es siempre verdadera. Sólo uno de los enunciados debe ser cierto, por lo que juicios medios como “La existencia de Dios ni es posible ni es imposible” carecen de todo sentido, excluyéndose así de la lógica bivalente. 2Esta ley establece que una declaración es o falsa. Esto quiere decir que no existe punto intermedio en cuanto a la verdad de una declaración. “Está lloviendo afuera”, es verdadera o falsa. Ley de la Doble Negación: ¬ ¬ p ↔ p Dentro de la Tautología, se encuentra entonces también la Ley de la Doble Negación, la cual valiéndose de la Lógica logra demostrar que “si un determinado enunciado es cierto, la persona no se encuentra entonces ante una declaración que no es cierta”. Con respecto a la fórmula que la Lógica matemática ha designado a este teorema, esta se expresa de la siguiente manera: A ≡~ (~A) Dentro de esta fórmula, el signo ≡ es usado para expresar “lógic
Less