Las Tres Leyes de la Lgica

La lgica es el eje del pensamiento crtico y es extremadamente til para sacar a la luz
el error y establecer la verdad. Hay principios en la lgica y nos gustara presentarle a
Usted las primeras tres leyes de la lgica las cuales son muy importantes:
1.- La Ley de la Identidad.
2.- La Ley de la No Contradiccin.
3.- La Ley del Tercero Excluido.
1) La ley de la identidad establece que A es A. En otras palabras, algo es lo que es.
Una manzana es una manzana. Si algo existe tiene una naturaleza, una esencia. Por
ejemplo, un libro tiene una portada y una contraportada con pginas en su interior. Un
automvil tiene cuatro ruedas, asientos, puertas, vidrios, etc. Un rbol tiene ramas,
hojas, un tronco y races. Esto tambin significa que cualquier cosa que exista tiene

caractersticas. Reconocemos lo que algo es al observar sus caractersticas. Usted

sabe que un rbol es un rbol debido a que ve sus ramas, sus hojas, su tronco, etc.
An ms, si algo tiene una identidad, no puede tener otra, ya que sta es nica e
individual. En otras palabras: Si algo existe cuenta con una serie de atributos que son
consistentes consigo mismo. Este algo, no tiene un conjunto de atributos que sean
inconsistentes consigo mismo. Por lo tanto, podemos fcilmente concluir, que un gato
no es un paracadas. Una manzana no es un automvil de carreras y un rbol no es
una pelcula.
2) La ley de la no contradiccin nos dice que A no puede ser tanto A y ninguna A al
mismo tiempo y en el mismo sentido. En otras palabras: algo, como una declaracin
no puede ser al mismo tiempo tanto verdadero como falso y del mismo modo. Con
frecuencia usamos la ley de la no contradiccin en discusiones y debates ya que
somos capaces de reconocer cuando algo es contrario a s mismo. Si le dijramos a
Usted que ayer alguien fue de compras y ms tarde le dijramos que ese alguien no
fue de compras, Usted nos corregira dicindonos que existe una contradiccin. Una
contradiccin ocurre cuando una declaracin excluye la posibilidad de otra y aun
ambas afirman ser verdaderas. Ya que sabemos que ambas no pueden ser verdad,
vemos entonces, una contradiccin.
Basados en este principio, podemos concluir, que la verdad no se contradice a s
misma. Este es un concepto muy importante. Vamos a repetirlo: "La verdad no se
contradice a s misma."
3) La ley del tercero excluido dice que una declaracin es verdadera o falsa. Por
ejemplo: "El cabello de esa mujer es castao." Es verdadero o falso que el cabello de
esa mujer es castao. Otro ejemplo: La declaracin "Estoy embarazado", es
verdadera o falsa. Debido a quien escribe esta Leccin es un hombre, no es posible
que est embarazado. Por lo tanto, la declaracin es falsa. Si fuera una mujer, sera
posible que estuviera embarazada dadas las condiciones normales del cuerpo de la
mujer. Cuando una mujer se encuentra embarazada, no existe una posicin
intermedia: Est, o no est embarazada.
La ley del tercero excluido es importante ya que nos ayuda a tratar con absolutos y
esto es particularmente importante en una sociedad donde el relativismo es promovido
y las declaraciones verdaderas son negadas.
En conclusin podremos decir que:
a) La ley de la identidad establece que A es A; que si algo existe tiene una naturaleza,
una naturaleza individual. Es lo que es.
b) La ley de la no contradiccin nos dice que A no puede ser tanto A y ninguna A al
mismo tiempo y en el mismo sentido. La verdad no es contradictoria en s misma.
c) La ley del tercero excluido dice que una declaracin es verdadera o falsa., no hay
una tercera opcin.

Equivalencias Lgicas
Definicin: Dos formas proposicionales P y Q se dicen lgicamente equivalentes, y se
escribe P Q, si sus tablas de verdad coinciden.
Nota:
Esto equivale a decir que P Q es una tautologa; as, P Q es lo
mismo que decir P Q.
EJEMPLO: El programa est bien escrito y bien documentado.
El programa est bien documentado y bien escrito.
LEYES DE MORGAN
1. ~ (p q) ~ p ~ q A continuacin se muestra en su tabla correspondiente:

TRANSPOSICION O CONTRARECIPROCO
Definicin: La contra recproca o trasposicin de una proposicin
condicional p q es la proposicin ~q ~p
Teorema: La proposicin condicional p q y su contra recproca
~q ~p son lgicamente equivalentes. A continuacin se muestra en su tabla
correspondiente:

 ELIMINACION DE CONDICIONALES
P Q ~P Q A continuacin se muestra en su tabla correspondiente:

LEYES DE LA LGICA

Leyes de absorcin:
P (P Q) P
P (P Q) P
P (P Q) (P V) (P Q) Ley de identidad
P (V Q) Ley distributiva
P V Ley de dominacin
P Ley de identidad

Implicaciones lgicas
1.- Modus Ponendo Ponens M.P.P
En esta ley, la primera premisa es una condicional, la segunda premisa es el
antecedente de la primera premisa, para concluir en el consecuente.
2.- Modus Tollendo Tollens M.T.T
En esta ley, la primera premisa es una condicional, la segunda premisa niega al
consecuente y se concluye en la negacin del antecedente.
3.- Silogismo Hipottico S.H

Las dos premisas de esta ley son proposiciones condicionales; para que pueda ser
aplicada, se requiere que el consecuente de la primera premisa sea igual al
antecedente de la segunda premisa.
4.- Silogismo disyuntivo S.D
El conectivo principal de la primera premisa de esta ley es una disyuncin, y negando
un miembro se obtiene el otro.
5.- Adicin AD
A una proposicin cualquiera se puede adicionar, a travs del conectivo de disyuncin,
cualquier proposicin.
6.- Conjuncin CONJ
Dos proposiciones separadas se pueden unir con la conectiva conjuncin.
7.- Simplificacin SIMPL
Esta ley puede aplicarse a partir de una sola premisa, que es una proposicin
compuesta cuyo conectivo principal es la conjuncin; se concluye con cualquiera de
los conjuntivos.
8.- Dilema constructivo D.C
Como primera premisa se tiene la conjuncin de dos proposiciones condicionales, su
segunda premisa es la disyuncin de los antecedentes de ambas condicionales y se
concluye en la disyuncin de sus consecuentes.
9.- Dilema destructivo D.D
En la primera premisa se tiene una conjuncin de dos proposiciones condicionales,
aunque en este caso la segunda premisa es la disyuncin de la negacin de los
consecuentes, y la conclusin es la disyuncin de la negacin de los antecedentes.
10.- Absorcin ABS
Permite que a partir de una proposicin condicional, se concluya en otra condicional
con el mismo antecedente, aunque en el consecuente se unen las dos proposiciones
con una conjuncin.