LEYES LÒGICAS PRINCIPALES

LEYES LÒGICAS PRINCIPALES

DE IDENTIDAD: 

[pic 1] 
[pic 2] 
“Una proposición sólo es idéntica consigo misma”.

DE CONTRADICCIÓN:

[pic 3] 
“Una proposición no puede ser verdadera y falsa a la vez”. 

DEL TERCIO EXCLUÍDO:

[pic 4] 
“Una proposición o es verdadera o es falsa, no hay una tercera opción”.

DE LA DOBLE NEGACIÒN O INVOLUCIÓN:

[pic 5] 
“La negación de la negación es una afirmación”.

DE LA IDEMPOTENCIA:

[pic 6] 
[pic 7] 
“Las variables repetidas redundantemente en una cadena de conjunciones o en una cadena de 
disyunciones se reemplazan por la sola variable”.

DE LA CONMUTATIVIDAD:

[pic 8] 
[pic 9] 
[pic 10] 
“En una proposición, la conjunción, la disyunción inclusiva y la bicondicional son conmutativas”.

DE LA ASOCIATIVIDAD:

[pic 11] 
[pic 12] 
[pic 13] 
“En una proposición, la doble conjunción, la doble disyunción, o la doble bicondicional se asocian 
indistintamente”.

DE LA DISTRIBUTIVIDAD:

[pic 14] 
[pic 15] 
[pic 16] 
[pic 17] 
“En una proposición la conjunción, la disyunción y la implicación son distributivas”.

DE MORGAN:

[pic 18] 
[pic 19] 
“En una proposición, la negación de una conjunción o de una disyunción son distributivas 
respecto a la disyunción o conjunción.

DEL CONDICIONAL:

[pic 20] 
[pic 21] 
“En una proposición, la condicional equivale a la disyunción de la negación del antecedente con el consecuente, y la negación de una condicional equivale a una conjunción del antecedente con la 
negación del consecuente”.

DEL BICONDICIONAL:

[pic 22] 
[pic 23]

DE LA ABSORCIÓN:

[pic 24] 
[pic 25] 
[pic 26] 
[pic 27]

DE TRANSPOSICIÓN:

[pic 28] 
[pic 29]

DE EXPORTACIÓN:

[pic 30] 
[pic 31]

MODUS PONENS:

[pic 32] 
“En una premisa condicional; si se afirma el antecedente, entonces se concluye en la afirmación 
del consecuente”.

...