principios de la logica

Principios de la Lógica

Principio de contradicción
El principio de no contradicción, o a veces llamado principio de contradicción, es un principio clásico de la lógica y la filosofía, según elcual una proposición y su negación no pueden ser ambas verdaderas al mismo tiempo y en el mismo sentido.1 El principio también tiene una versión ontológica: nada puede ser y no ser al mismo tiempo y enel mismo sentido; y una versión doxástica: nadie puede creer al mismo tiempo y en el mismo sentido una proposición y su negación.2 El principio de no contradicción es, junto con el principio deidentidad y el principio del tercero excluido, una de las leyes clásicas del pensamiento lógico.3
El principio de no contradicción puede expresarse en el lenguaje de la lógica proposicional. Si A es unametavariable que representa una fórmula cualquiera, entonces el principio de no contradicción se escribe:
es verdadera
El principio de no contradicción permite juzgar como falso todo aquello queimplica una contradicción. De ahí la validez de los argumentos por reducción al absurdo.
Principio de Identidad

El principio de identidad es un principio clásico de la lógica y la filosofía, según elcual toda entidad es idéntica a sí misma. Por ejemplo, Julio César es idéntico a sí mismo (a Julio César), el Sol es idéntico a sí mismo, esta manzana es idéntica a sí misma, etc. El principio deidentidad es, junto con el principio de no contradicción y el principio del tercero excluido, una de las leyes clásicas del pensamiento.1
En lógica de primer orden con identidad, el principio deidentidad se expresa:

Es decir: para toda entidad x, x es idéntica a sí misma.
No se debe confundir al principio de identidad con la siguiente tautología de la lógica proposicional:

Esta fórmulaexpresa que toda proposición es verdadera si y sólo si ella misma es verdadera. Por lo tanto, expresa una verdad acerca de proposiciones y sus valores de verdad, mientras que el principio de identidad...