Leyes lógicas.

Son proposiciones universales, necesarias, evidentes y

verdaderas. Dichas leyes son cuatro, el principio de identidad, el de
contradicción, el de tercero excluido y el de razón suficiente. Las tres primeras
leyes fueron descubiertas por Aristóteles y la cuarta por Leibniz.
Contenido
[ocultar]

 1 Generalidades
 2 Ley de Identidad
 3 Ley de no contradicción
 4 Ley del tercero excluido
 5 Ley de la razón suficiente
 6 Referencias
 7 Fuente

Generalidades
Las leyes lógicas son universales, se usan en las operaciones con conceptos y
juicios, en los razonamientos, demostraciones y refutaciones. Las formales
reflejan en la concienciahumana ciertas relaciones existentes entre los objetos
del mundo objetivo o propiedades habituales de los objetos como su relativa
estabilidad, certeza, la incompatibilidad y la ausencia simultanea de unos
mismos indicios.
Las leyes lógicas son leyes del pensamiento correcto, pero no son leyes del
desarrollo de las cosas y los fenómenos del mundo. Reflejan lo objetivo en la
consciencia subjetiva del hombre, por lo cual no se las puede derogar o
sustituir por otras. Son únicas para los hombres de todas las razas, naciones y
profesiones y son el resultado histórico de la práctica secular del conocimiento.
Las leyes lógicas funcionan en el pensamiento como principios del raciocinio
correcto durante la demostración de los juicios y teorías verdaderos y la
refutación de los juicios e hipótesis falsos. La violación de las leyes lógicas
induce al error lógico sea impremeditado (llamado paralogismo) o consciente
(llamado sofisma), aunque los errores de estos tipos se dan en otras
situaciones.

Ley de Identidad
Una de las leyes básicas del pensamiento correcto, cuya observancia
contribuye a la certidumbre, la precisión y la claridad en el empleo de
conceptos y juicios. El razonamiento. En el pensamiento, la ley de identidad es
una regla normativa (principio) que estipula que en el proceso de raciocinio no
se puede cambiar una idea por otra, un concepto por otro, pues de lo contrario
surgirían los errores lógicos llamados "suplantación del concepto" o
"suplantación de la tesis". La ley de identidad significa asimismo que no se
puede hacer pasar las ideas idénticas por distintas y, viceversa, las distintas
por idénticas, es decir, que una cosa es idéntica a si misma, lo que es, es; lo
que no es, no es: ("A es A", o "no A es no A")
Los individuos que utilicen términos y conceptos en un sentido distinto al
habitual, sin prevenir de ello, violarán la ley de identidad. Se cometen a
menudo errores lógicos al utilizarse homónimos o palabras de igual forma y de
distinto sentido. Es imprescindible observar la ley de identidad en todas partes:
en la ciencia, el arte, la enseñanza, la vida cotidiana, etcétera. La violación de
la ley de identidad provoca chistes, retruécanos y ambigüedades. El
cumplimiento de esta ley en el pensamiento ayuda a evitar la incomprensión.

Ley de no contradicción
En los objetos del mundo real son imposibles la presencia y la ausencia
simultáneas de una propiedad o relación (Por ejemplo: es imposible que usted
esté en este momento en casa y no esté en casa). Por eso, en sus
pensamientos y juicios el hombre no debe afirmar algo respecto al objeto A y,
simultáneamente, negar lo mismo, pues de otro modo surgirá una contradicción
lógica formal. Siguiendo esta ley es imposible afirmar y negar que una cosa es
y no es al mismo tiempo y bajo la misma circunstancia ("A" no es "no A").
O bien, también puede enunciarse que dos proposiciones contradictorias no
pueden ser a la vez verdaderas.
No surge una contradicción si se trata de diferentes objetos o de un mismo
objeto tomado en distintas situaciones u observados en diferente tiempo (Por
ejemplo: "Esta camisa es nueva" ( al comprar); " Esta camisa ya está usada" (
la camisa anterior usada después de la compra) no se contradicen si se trata
de una misma camisa observada en en momentos diferentes..
No se puede decir: "el 17 es un numero primo y el 17 es divisible por 2 y 3". En
el segundo caso es compuesto que es antinómico de primo en en el conjunto
de enteros positivos mayores que 1. Pero en la geometría euclídea se expresa
que "por un punto exterior a una recta pasa únicamente una recta paralela":
Mientras que otra geometría dice por un punto exterior a una recta pasa una
infinidad de paralelas". Una tercera dice que "por un punto exterior a una recta
pasan exactamente dos rectas paralelas". En este caso no interviene el tiempo,
sino la capacidad y necesidad de construir sistemas axiomáticos de diversas
geometrías, que ciertamente tienen aplicaciones en la realidad. [1]
En muchos manuales de álgebra aparece la proposición 00 no está definida. Sin
embargo, dos matemáticos han demostrado que 00 = 1, usando combinatoria y
el principio de inducción matemática; además, dicha potencia resulta 1, como
un límite lateral de de(1/ n)n , cuando n se aproxima a 0, por la derecha, n es
entero positivo..
La ley de no contradicción califica la contradicción lógica formal de grave error,
incompatible con el pensamiento lógico.

Ley del tercero excluido

En los objetos del mundo objetivo está presente o ausente un indicio. Por eso,
en los juicios del hombre que reflejen una determinada situación deben
corresponderse sus ideas con el estado real de las cosas. La ley del tercero
excluido fue formulada por Aristóteles:
«No es posible que haya un término intermedio entre los dos términos de una
contradicción, sino que es necesario afirmar o negar una cosa de otra cualquiera.»

La ley del tercero excluido se formula así:

«Uno de dos juicios contradictorios es verdadero y el otro falso, y no es posible un
tercero.»

Es decir, una cosa es o no es, no cabe un término medio :("A es B", o "A no es
B").
O bien, también puede enunciarse como no hay medio entre dos proposiciones
contradictorias. En el pensamiento la ley del tercero excluido supone una
opción precisa por una de las dos alternativas que se eliminan recíprocamente
("sí" o "no"). Por otra parte, la acción de esta ley está limitada por la
indeterminación del conocimiento. El reflejo del mundo objetivo en cierta etapa
del conocimiento siempre es incompleto, inexacto, pues solo corresponde a
esta etapa de los conocimientos del hombre sobre el mundo. Por ejemplo,
respecto a ciertos acontecimientos singulares futuros (incluidas las eventuales
catástrofes).
La ley del tercero excluido no rige cuando se introduce un tercer valor veritativo
de los juicios (enunciados), "indeterminado" (Por ejemplo, en las encuestas
sociológicas se proponen respuestas: "sí", "no" y "no sé"; en la votación se
contempla las posiciones: "a favor", "en contra" y "abstenciones"). En
semejantes situaciones nos hallamos en el campo de acción de la lógica
trivalente.

Ley de la razón suficiente

Esta ley, formulada en forma evidente en el siglo XVII por Leibniz, señala que
ningún fenómeno puede ser real y ninguna afirmación, verdadera, sin la razón
suficiente de por qué las cosas son así y no de otro modo.
«Toda idea verdadera debe tener suficiente fundamentación.»
Gottfried Wilhelm Leibniz[2]

Solo se trata de fundamentar una idea veradera, pues es imposible

fundamentar suficientemente una tesis (juicio) falsa. A diferencia de las leyes
de identidad, de no contradicción y del tercero excluido, las cuales tienen una
formulación sustancial como principios del pensamiento y en la lógica se
expresan con fórmulas, la ley de la razón suficiente no tiene fórmula, pues solo
posee carácter substancial.
En la demostración para fundamentar una tesis verdadera sirven de
argumentos hechos singulares constatados, definiciones de conceptos,
axiomas y postulados, leyes científicas y teoremas.
Ya que la causa y el efecto real no siempre coinciden con el antecedente lógico
y la consecuencia lógica, a menudo la inferencia se hace de las consecuencias
deduciendo de ellas la causa de tal o cual fenómeno. Así proceden, por
ejemplo, los médicos, al diagnosticar una enfermedad van de las
consecuencias reales a las causas reales. El problema de la demostrabilidad
de las tesis propuestas es esencial para cualquier proceso creador, porque la
ley de la razón suficiente protege nuestro pensamiento de la gratitud y la falta
de motivación.
 Ya estamos a pocas entradas de terminar el curso de lógica
proposicional y espero que les haya servido de ayuda cada una
de mis entradas, hoy les traigo el metodo abreviado, esta sirve
para no desarrollar la tabla de verdad que muchas veces
resulta ser un poco estresante y desarrollaremos todas las
principales leyes lógicas pasando por las leyes de equivalencia
y de la implicación lógicas y algunos añadidos mas.

En esta entrada haremos mencion de la inferencia donde la

condicional material tendrá que ajustarse a ella ya que las
relacionamos intuitivamente, esta relación intuitiva no está
formalizada y por lo general se deja en entre dicho.

Aunque el aspecto intuitivo se puede formalizar muy bien, mas

no del todo, en un curso de lógica de predicados, ya lo
veremos en su momento adecuado, vayamos con lo que
acordamos.

Índice De La Entrada
 1 El método abreviado
o 1.1 Los mejores libros de álgebra elemental
o 1.2 Los Mejores Libros De Lógica
 2 Los 3 principios lógicos
o 2.1 Ley de identidad
o 2.2 Ley de no contradicción
o 2.3 Ley del tercio excluido
 3 Equivalencias notables
o 3.1 Ley de involución
o 3.2 Leyes de idempotencia
o 3.3 Leyes conmutativas
o 3.4 Leyes asociativas
o 3.5 Leyes distributivas
o 3.6 Leyes de morgan
o 3.7 Leyes condicionales
o 3.8 Leyes bicondicionales
o 3.9 Leyes de absorción
o 3.10 Leyes de transposición
o 3.11 Leyes de exportación
o 3.12 Leyes tautológicas y contradictorias
 3.12.1 Para la conjunción
  3.12.2 Para la disyunción inclusiva
o 3.13 Propiedad de los elementos neutros para la tautológica y
contradictoria
 4 Implicaciones notables
o 4.1 Ley de modus ponens
o 4.2 Ley de modus tollens
o 4.3 Ley del silogismo disyuntivo
o 4.4 Ley de la inferencia equivalente
o 4.5 Ley del silogismo hipotético
o 4.6 Ley de transitividad simétrica
o 4.7 Ley de la simplificación:
o 4.8 Ley de la adición
o 4.9 Ley de la contradicción:
 5 Resumen de todas las leyes lógicas
o 5.1 Fin de la entrada número 11
o 5.2 Los mejores libros de álgebra elemental
o 5.3 Los Mejores Libros De Lógica

EL MÉTODO ABREVIADO
El método abreviado por lo general se usa con la condicional material
(simbólicamente hablando) operacionalmente y evita elaborar todo ese
rollo de la tabla de verdad, consiste en suponer todas las premisas
falsas y el consecuente verdadero donde resulta como única
posibilidad para la condición de ser falsa.

Para lograrlo, el esquema debe tener una forma generalizada, para

ello, debemos tener una serie de premisas de la forma ( )
= donde representa el número de premisas y el consecuente
falso ( ) = , nuestro esquema sería:

Si la condicional es falsa tal como se muestra en el esquema, entonces

decimos que es una inferencia inválida y lo escribimos así:
Si la condicional es verdadera, entonces la implicación es valida y lo
escribiremos así:

Otro punto que debemos de considerar intuitivamente es que si se trata

de una implicación, tendremos que suponer que la condicional
material debe tener una relación semántica entre premisas y la
conclusión, esto solo es posible si usamos el símbolo de la
implicación , pero si se pasa por alto la implicación, no lo podemos
llamar inferencia lógica.

Por ejemplo, con la condicional se puede diseñar proposiciones de

este tipo:

Tanto la proposición como son verdaderas, sin

embargo, no se puede inferir de , porque no hay
relación directo o falta datos para determinar que la proposición
condicional sea verdadera, literalmente lo es, pero la implicación
requiere que la conclusión sea inferida de las premisas.

Por tanto, la inferencia es propio de la implicación y no de la

condicional material. Si el método abreviado hacemos uso de la
inferencia, estaremos obligados a usar la implicación, en caso
contrario, puedes usarlo como una condicional material. Ojo, solo
cuando usamos la palabra inferencia, que no se les olvide.

Dicho todo esto, usaremos dos ejemplos para usar correctamente el

método abreviado.
LOS MEJORES LIBROS DE ÁLGEBRA
ELEMENTAL

VER LIBROS DISPONIBLES »

LOS MEJORES LIBROS DE LÓGICA

VER LIBROS DISPONIBLES »

Ejemplo Ilustrativo 1
Averiguar si la siguiente inferencia es correcta.

Solución:

El esquema anterior es lo mismo que escribirlo así:

 ( ) ( )

Para averiguar si es correcta o no, haremos uso del método abreviado,

aquí es donde usamos la condicional en vez de la implicación solo por
cuestiones operacionales, nuestro esquema sería:

Esta condicional se supone que es falsa, pero vamos a averiguarlo si lo

es, según el esquema, debe cumplirse que:

( )= … (I)

( )= … (II)

( )= … (III)

La expresión (III) es más fácil de resolver, deducimos que ( )

= y ( ) = , si reemplazamos el valor de verdad de en (I),
encontramos que ( ) = y si el valor de verdad de y lo
reemplazamos en (II), entonces (II) sigue siendo verdadera.

Esto indica que la condicional material es falsa porque no

encontramos contradicciones con (I), (II) y (III), por tanto, no se
puede inferir de y , lo escribimos simplemente
asi:

( ) ( )

Entonces decimos que la inferencia es incorrecta.

Ejemplo Ilustrativo 2
Indicar si la siguiente inferencia es válida.
Solución:

Por el método abreviado, tenemos:

Recuerde que estamos suponiendo que este esquema condicional es

falsa, sigamos, este método abreviado nos sugiere que:

( )= … (I)

( )= … (II)

( )= … (III)

( )= … (IV)

De (IV) deducimos que:

( )= y ( )=

Reemplazando el valor de verdad de en (I) y el valor de verdad

de en (III), encontramos que:

( )= y ( )= simultáneamente.

Esto indica que el esquema molecular no puede ser falsa, por tanto la
inferencia es válida, esquemáticamente se expresa:
De esta manera queda demostrada la inferencia.

Como se habrán dado cuenta, el método abreviado es muy sencillo y

con ello podemos evitar la tabla de verdad para este tipo de esquemas
que ya mencionamos, finalizando este tema, vayamos al siguiente
apartado donde presentaremos una serie de leyes de equivalencia e
implicación que nos servirá de utilidad en los ejercicios resueltos.

LOS 3 PRINCIPIOS LÓGICOS

Estos principios sólo es posible si una proposición interactúa consigo
mismas bajo las siguientes leyes simbólicamente expresivas
expresadas a continuación:
LEY DE IDENTIDAD
Una proposición sólo es idéntica a si misma, se representa así:

LEY DE NO CONTRADICCIÓN
Una proposición sólo puede ser verdadera o falsa a la vez. Se denota:

 ( )
LEY DEL TERCIO EXCLUIDO
Una proposición o es verdadera o es falsa, no existe una tercera
posibilidad.

Ahora mismo vamos a presentar una serie de leyes tautológicas como

son las equivalencias notables e implicaciones notables. Téngalo muy
presente que lo usaremos en un sin fin de problemas resueltos de
lógica proposicional.

EQUIVALENCIAS NOTABLES
En esta oportunidad presentaré una serie de identidades lógicas que
servirán en al resolución y simplificación de esquemas moleculares
más complejas. Este tipo de esquemas también nos ayudan a evitar las
aburridas tablas de verdad, pues, comencemos.
LEY DE INVOLUCIÓN
Doble negación de una proposición es una afirmación.

 ( )
LEYES DE IDEMPOTENCIA
Una cadena de conjunciones o disyunciones de una misma
proposición resulta ser tal proposición.

LEYES CONMUTATIVAS
Los componentes de las proposiciones conjuntivas, disyuntivas
(inclusiva o exclusiva) y bicondicionales son conmutables.

LEYES ASOCIATIVAS
Esta ley establece la posibilidad de poder agrupar como quieras una
proposición formada por una serie de conjuntivos, disyuntivos o
bicondicionales por signos de agrupación como veras a continuación:

 ( ) ( )
 ( ) ( )
 ( ) ( )
 ( ) ( )
LEYES DISTRIBUTIVAS
Las propiedades de distribución de los conectivos lógicos son como
sigue (no lo puedo expresar en palabras porque no se me ocurre
como):

 ( ) ( ) ( )
 ( ) ( ) ( )
 ( ) ( ) ( )
 ( ) ( ) ( )
LEYES DE MORGAN
La negación de un conjuntivo o disyuntivo inclusivo de dos
proposiciones y es igual a un disyuntivo inclusivo o conjuntivo
de y respectivamente.

 ( )
 ( )
LEYES CONDICIONALES

 ( )
LEYES BICONDICIONALES

 ( ) ( )
 ( ) ( )
LEYES DE ABSORCIÓN

 ( )
 ( )
 ( )
 ( )
LEYES DE TRANSPOSICIÓN

LEYES DE EXPORTACIÓN

 ( ) ( )
 ( … ) ( …
) ( )
LEYES TAUTOLÓGICAS Y CONTRADICTORIAS

Tener en cuenta que = tautología, = contradictoria y =

cualquier esquema molecular. Se cumple las siguientes leyes:
PARA LA CONJUNCIÓN

PARA LA DISYUNCIÓN INCLUSIVA

PROPIEDAD DE LOS ELEMENTOS NEUTROS PARA LA TAUTOLÓGICA Y

CONTRADICTORIA

IMPLICACIONES NOTABLES
También existen una serie de leyes para las implicaciones notables y
tiene una representación esquemática vertical, todos y cada una de
ellas tiene la siguiente forma general:

También se puede representar así omitiendo los conectores

conjuntivos así:

En cualquiera de los dos casos es consecuencia directa

de … . Según estos puntos, anunciamos las
siguientes implicaciones notables.
LEY DE MODUS PONENS
Esta es la clásica representación matemática en las demostraciones
matemáticas, se escribe de la siguiente manera:

( )

Esquemáticamente es representado así:

Esta ley nos dice que si se prueba el antecedente, también se prueba el

consecuente de la inferencia. Un ejemplo sería si:

 “Si hoy llueve, entonces el piso se moja”

 “Hoy llueve”
  “Por tanto, el piso se moja”
LEY DE MODUS TOLLENS
Esta ley se escribe así:

( )

Y se representa:

Esta ley nos dice que si negamos el consecuente se prueba la negación

del antecedente de la inferencia. A modo de ejemplo:

 “Si = , entonces = “
 “ “

 “Por tanto, “
LEY DEL SILOGISMO DISYUNTIVO
A estas alturas, no comprender esta ley, me dejaría mucho que desear
de ti querido amigo lector, es tan sólo sentido común, está
representado de la siguiente manera:

( ) ó ( )

Miralo bien y te darás cuenta del sentido lógico en la forma vertical de

esta ley:

ó
En una disyunción inclusiva, si negamos una de las dos posibilidades,
entonces se afirma la otra posibilidad que nos queda. Por ejemplo:

 “Soy niño o niña”

 “No soy niño”

 “Por tanto, soy niña”

LEY DE LA INFERENCIA EQUIVALENTE
Esta ley también es muy usada en las demostraciones matemáticas, y
por lo general requiere de una doble demostración, es decir, el
consecuente hace de antecedente y el antecedente hace de
consecuente, naturalmente una se deduce de la otra, totalmente alejado
del concepto de la condicional como ya se explicó. Su representación
simbólica es:

( )

Su representación esquemática resalta el sentido común de esta ley,

miralo bien y te darás cuenta de su sencillez:

Si se afirma la verdad un miembro de una proposición bicondicional,

entonces también se afirma la verdad del otro miembro. Lo veremos
mejor con un lindo ejemplo:

 “Si = , entonces = “
 “ = ”

 “Por tanto, = “

 “Si = , entonces = “
  “ = ”

 “Por tanto, = “
LEY DEL SILOGISMO HIPOTÉTICO
Este lay también es reconocida por nuestro sentido común, es una
serie de implicaciones sucesivas, aunque en su estructura
representativa usemos la condicional material, realmente se trata de
una inferencia lógica, simbólicamente se representa así:

( ) ( )

Verticalmente se puede representar así:

Lo que nos indica esta ley es que si una proposición implica una
segunda proposición y la segunda proposición implica una tercera
proposición, entonces la primera proposición implica la tercera
proposición, aquí un ejemplo:

 “Si mi madre sale de compras, entonces la acompañó”

 “Si acompaño a mi madre, entonces mi hija se irá al campo con
sus amigos”

 “Luego, si mi madre sale de compras, entonces mi hija se irá al

campo con sus amigos”
LEY DE TRANSITIVIDAD SIMÉTRICA
Esta ley es similar como la anterior, solo que para este caso, se usan
bicondicionales, su representación simbólica es como sigue:

( ) ( )
Bajo el esquema vertical, es mas detectable la lógica de este ley:

Como que me es dificil explicarlo literalmente, más fácil con un lindo

ejemplo:

 “Yo nací si y solo si mis padres estuvieron ocupados en cama”

 “Mis padres estuvieron ocupados en cama si y sólo si a ellos se
les subieron la bilirrubina”

 “Luego, yo nací si y sólo si mis padres se les subieron la

bilirrubina”
LEY DE LA SIMPLIFICACIÓN:
Recordar que una equivalencia o una implicación siempre es una
afirmación como ya comente en esta entrada, menciono esto para no
tener problemas con este ley y las dos subsiguientes que presentaré en
breve. Describimos esta ley.

Esta ley solo funciona con una proposición conjuntiva, es una

inferencia inmediata válida donde donde solo se aplica el sentido
común. Su representación lógica inmediata es:

Si ( ) es verdadera, entonces es verdadera (o bien también

es verdadera como nueva conclusión), aquí un ejemplo rápido:

 “Yo soy feliz y mi amigo es carismático”

  “por tanto, yo soy feliz”

O bien, como nueva conclusión:

 “Yo soy feliz y mi amigo es carismático”

 “por tanto, mi amigo es carismático”

LEY DE LA ADICIÓN
Esta ley es sencilla de comprender, en esta ley podemos agregar sin
problema alguno una proposición adicional a la conclusión sin afectar
el valor de verdad de la inferencia en general, se representa así:

Su forma vertical sería:

Ejemplo:

 “Yo soy superman”

 “por tanto, yo soy superman o batman”

LEY DE LA CONTRADICCIÓN:
Si tengo una premisa donde deduzco una conclusión donde encuentro
argumentos contradictorios, entonces la premisa es negada,
simbólicamente se escribe:

( ) ó ( )

Aquí un esquema para que lo puedas ver un poquito mejor:

 ó

Lo repito de otra manera y breve para que lo entiendas mucho mejor,

si una conclusión es contradictoria, entonces la premisa es negada.

Y aquí terminamos con todos las leyes lógicas, para que no te pierdas
en esta larga entrada, mostraré ahora mismo un resumen de todos las
leyes lógicas del curso de lógica proposicional.

RESUMEN DE TODAS LAS LEYES

LÓGICAS
Resumen De Las Leyes De Equivalencia

Ley de Involución

 ( )

Leyes de Idempotencia

Leyes Conmutativas

Leyes Asociativas

 ( ) ( )
 ( ) ( )
 ( ) ( )
  ( ) ( )

Leyes Distributivas

 ( ) ( ) ( )
 ( ) ( ) ( )
 ( ) ( ) ( )
 ( ) ( ) ( )

Leyes De Morgan

 ( )
 ( )

Leyes Condicionales

 ( )

Leyes Bicondicionales

 ( ) ( )
 ( ) ( )

Leyes Absorción

 ( )
 ( )
 ( )
 ( )

Leyes De Transposición


 

Leyes De Exportación

 ( ) ( )
 ( … ) ( …
) ( )

Resumen De Las Leyes De La implicación

Ley De Modus Ponens

( )

Ley De Modus Tollens

( )

Ley Del Silogismo Disyuntivo

( ) ó ( )

Ley De La Inferencia Equivalente

( )

Ley Del Silogismo Hipotético

( ) ( )

Ley De Transitividad Simétrica

( ) ( )

Ley De La Simplificación

ó
Ley De La Adición

Ley De La Contradicción

( ) ó ( )

Leyes Tautológicas Y Contradictorias

Para La Conjunción

Para La Disyunción Inclusiva

Propiedad De Los Elementos Neutros

Las 3 Principales Leyes Lógicas

Ley De Identidad

Ley De La No Contradicción
  ( )

Ley Del Tercio Excluido

FIN DE LA ENTRADA NÚMERO 11