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.

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.

Te anunciamos nuestro primer curso de física, la sección de mediciones, esta

sección se encuentra en una nueva web donde pronto migraremos todo nuestro
contenido de Ciencias Básicasa XplorerTek, espero que lo disfrutes, gracias.

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