Tradicionalmente, las tres leyes fundamentales de la lógica: (1) la ley de no contradicción, (2) la ley del tercero excluido, y (3) el principio de identidad.
Esto es, (1) para toda proposición p, es imposible que p y no p sean verdaderas (simbólicamente, ¬(p ∧ ¬p)); (2) o p o no p debe ser verdadera, no habiendo una tercera proposición verdadera entre ellas (simbólicamente, p ∨ ¬p), y (3) si una función proposicional F es verdadera para una variable individual x, entonces F es verdadera para x (simbólicamente, (∀x) [F(x) ⊃ F(x)]). Otra formulación del principio de identidad afirma que una cosa es idéntica a sí misma, o (∀x) (x = x).
Enciclopedia Universal. 2012.