CORRECTA ESCRITURA DE LOS

ARGUMENTOS LÓGICOS
La lógica matemática, el objetivo primordial es buscar el
correcto orden de los argumentos, es por ello que va por fases,
una de ellas es la mas básica, es decir, la lógica proposicional
donde se centra en la estructura de las proposiciones solo por
medio de los conectivos lógicos.

Toma los argumentos y los simboliza de manera muy general

estudiando una estructura básica de estas, es decir, su relación
sintáctica entre las proposiciones por medio de los conectivos
lógicos, simbolizar solo los argumentos significa transformar la
estructura de los argumentos en el lenguaje de los símbolos.

Esto ayuda a tener una visión más general del comportamiento

de las proposiciones, pero no explica la estructura de cada
proposición, es decir, de los argumentos propiamente dicho
antes de visualizarlos. Para un estudio más detallado de los
argumentos, debe consultarse un curso de lógica de primer
orden o lógica de predicados.

Si un argumento es correctamente escrito, a nivel simbólico

debe considerarse también la simbolización de las restricciones
de un argumento para saber que hace que un argumento se
encuentre muy bien escrito. Por lo general, estas restricciones
están determinadas por los signos de agrupación y este es el
curso central de tema, los signos de agrupación de lógica
proposicional.

LOS SIGNOS DE AGRUPACIÓN

Los signos de agrupación son un conjuntos de símbolos especiales
(paréntesis, corchetes, llaves) con la finalidad de realizar simple
agrupaciones de proposiciones (variables proposicionales) junto
con los conectivos lógicos, pero son infinitamente necesarias
para no caer en ambigüedades cuando intentamos combinar los
conectivos lógicos con otras variables proposicionales. Aquí
algunos ejemplos de signos de agrupación de lógica.

EJEMPLO DE USO DE LOS SIGNOS DE

AGRUPACION
La proposición:

 Si mañana deja de llover, iré de compras y visitaré a mi

madre.

Si observan bien esta proposición, el antecedente es:

 Mañana deja de llover.

llamémosle proposición , luego, el consecuente de la

proposición es:

 iré de compras y visitaré a mi madre

esta última es una conjunción y puede escribirse como .
Para que se cumpla, tiene que ocurrir la proposicion
, la manera correcta de escribir la proposición es de la siguiente
manera:

 ( )

esta es la manera correcta de escribir una proposición

compuesta con más de 2 proposiciones simples, aunque no
necesariamente deberían de ser simples.

El ejemplo anterior sirve para ilustrar la manera correcta de

escribir lo que comúnmente se llama esquema molecular con los
símbolos de los conectivos lógicos anteriormente ya definidos.

Si un fragmento de un esquema molecular se encuentra con

signos de agrupación como pueden ser corchetes, parentesis,
llaves, entonces se debe de calcular primero los valores de
verdad del fragmento de proposición encerrado por los signos
de agrupación.

Si el siguiente esquema ( ) se escribiera

simplemente así , no se podría saber si primero
debe calcularse los valores de verdad de o de ya
que la validez de ( ) y ( ) en una tabla
de verdad son completamente diferentes. Es por ello la
importancia de los signos de agrupación.
Proposiciones Combinadas
¿Cuantos valores de verdad tiene una proposición?,
naturalmente dos, estos son:

¿Pero cuántas combinaciones de todos los valores de verdad se

pueden encontrar de dos proposiciones y ?, esto se puede
ver en una sencilla tabla de verdad sin conectivos lógicos:

Con dos proposiciones, tenemos 4 combinaciones posibles de los

valores de verdad de dos proposiciones. ¿Y para 3
proposiciones?, veamos:
Las combinaciones de 3 proposiciones diferentes nos da como
resultado 8 posibles combinaciones de los valores de verdad de
las mismas.

Si observamos todas las combinaciones de los valores de verdad

y la relación que tiene con el número de proposiciones
existentes, encontramos un comportamiento fácil de detectar:

 1 proposición, tenemos 21 combinaciones posibles.

 2 proposiciones, tenemos 22 combinaciones posibles.
 3 proposiciones, tenemos 23 combinaciones posibles.

por generalidad, podemos concluir de manera inductiva que:

 Para n proposiciones, tenemos 2n combinaciones posibles

Esta fórmula se puede demostrar por el principio de inducción

en un curso de teoría combinatoria. Lo veremos en su momento
en un curso de inducción matemática.
Jerarquía De Signos De Agrupación De
Los Esquemas Moleculares
Para calcular la validez de un esquema molecular, hay que tener
en cuenta siempre la existencia de un operador principal, es
decir, un conectivo lógico principal donde se calculará finalmente
la validez de la proposición matriz.

Vayamos con un ejemplo para explicar las diferentes tablas de

verdad para diferentes esquemas moleculares, de esta manera
sabrás como agrupar correctamente los conectivos lógicos junto
con las proposiciones simbólicas.

EJEMPLO DE LA JERARQUÍA DE LOS SIGNOS

DE AGRUPACIÓN
Por ejemplo, si deseamos calcular todas los valores de verdad
en una tabla de verdad de la siguiente fórmula proposicional:

( )

Debemos saber todos los posibles valores de verdad de y

de \ , aquí, el símbolo conjuntivo es de mayor jerarquía
y esto es así porque fue restringido por los signos de agrupación
de nuestra fórmula proposicional.

Pero para lograrlo, necesitamos calcular todos los valores de

verdad de y como estamos tratando con dos
proposiciones, entonces trabajaremos tan solo con 22 = 4
combinaciones posibles de los valores de verdad de y ,
nuestra tabla quedaría así.

( )

2 1

El color azul indica que primero tenemos que calcular todos los
valores de verdad de con los valores de verdad conocidos
de y , luego, los valores de verdad de color rojo indica que
ahora tenemos que calcular todos los valores de verdad
de y \rightarrow anteriormente calculados.

Del ejemplo ilustrativo anterior, los enumeré con 1 y 2 para

indicar que fragmento de la proposición matriz se deben de
calcular. El número 1 significa que se calcula primero y
2 significa que se calcula finalmente la conjunción de (
), cómo la conjunción es la de mayor jerarquía, decimos
entonces que ( ) es una proposición conjuntiva.

Ahora cambiemos los papeles, de la proposición anterior (

), tomemos a la condicional con mayor jerarquía,
nuestra fórmula proposicional sería ( ) , diseñemos
su tabla de verdad para el nuevo ejemplo:

La tabla de verdad de (p∧q)→p sería:

( )

1 2

Primero se calcula ( ) ya que es un conectivo lógico de

menor jerarquía por los signos de agrupación que le hemos
colocado, luego calculamos la condicional de ( ) por
ser de mayor jerarquía. los números 1 y 2 indican que conectivo
lógico se tuvo que calcular primero.

De los dos ejemplos ilustrativos 2 y 3, vemos que las fórmulas

proposicionales de ( ) y de ( ) tienen
comportamientos distintos, esto indica que el esquema
molecular sin corchetes es ambigua.

Desarrollo De Esquemas Moleculares Por

Tablas De Verdad
Un esquema molecular puede estar compuestas por muchas
proposiciones y conectivos lógicos combinadas tenga, sin
embargo, sean cual fuese la combinación, siempre existirá una
jerarquía (con algunas excepciones) de algún conectivo lógico.

Dependiendo de la jerarquía de una formula proposicional, esta

puede ser una proposición conjuntiva, disyuntiva, etc,
incluyendo la negación que tiene la propiedad de cambiar, por
ejemplo, una proposición conjuntiva a una disyuntiva, esto
último lo veremos en entradas futuras.

Y no solo hay una sola jerarquía, un esquema molecular puede

contener combinaciones de conectivos lógicos incluida la negación
tal que podemos encontrar conectivos de menor a mayor
jerarquía. Obviamente siempre se comienza calculando aquellos
conectivos lógicos de menor jerarquía hasta llegar a la ultima
jerarquía.

Vayamos con un ejemplo más extenso de 3 proposiciones

, y .

EJEMPLO DEL DESARROLLO DE UN ESQUEMA

MOLECULAR DE 3 VARIABLES POR TABLA DE
VERDAD
Sea el siguiente esquema molecular

( ) ( )
fijense que este esquema tiene como mayor jerarquía a una
disyunción inclusiva, por tanto, tenemos que resolver primero
lo que está encerrado en paréntesis.

Como tenemos 3 proposiciones diferentes, entonces se calculan

23 = 8 posibles combinaciones de valores de verdad para nuestro
esquema. La tabla de verdad quedaría de la siguiente manera:

Las columnas de los valores de verdad de color azul con el

número 1 debajo de cada columna significa que son los primeros
conectivos lógicos a calcularse y la columna de valores de
color rojo con el número 2, significa que es el siguiente y
último a calcularse.

De esta manera, se calcula según la jerarquía de los conectivos

lógicos de tales esquemas de todos los valores de verdad posibles
que se tengan. Vayamos con otro último ejemplo mas para su
mejor comprensión.

Calcularemos todos las posibles valores de verdad del siguiente

esquema molecular:

( ) [ ( )]

en la siguiente tabla de verdad encontraremos 4 tipos de

jerarquías enumerados del 1 al 4:
Las columnas con el número 1 y estos son los primeros en
calcularse, en este caso, son y ( ), luego le sigue
la columnas con el número 2, estas son y (
), luego tenemos la columna número 3 como penúltima
jerarquía a calcular ( ) y por ultimo, calculamos los
valores de verdad de la condicional de la columna número
4 de ( ) [ ( )].
Con estos dos últimos ejemplos, podemos asegurarnos que los
lectores tengan la seguridad de como debemos de calcular los
valores de verdad siguiendo estas pautas “lógicas”, de lo
contrario, encontraremos situaciones sin ningún sentido
“lógico”.

En este último ejemplo se usó corchetes y dentro de ellas unos

paréntesis, por lo general las llaves encierran a los corchetes,
y los corchetes encierran a los paréntesis, pero esto es sólo
convencional, puedes usarlos como quieras.

En cuanto a los signos de agrupación, no todas los esquemas

moleculares depende de los signos de agrupación, esto lo
veremos a continuación.

Algunas Excepciones Con Los Signos De

Agrupación
Existen algunas excepciones cuando trabajamos con signos de
agrupación, ya que estas mismas resultan ser opcionales en
ciertos casos especiales.

Por ejemplo, el esquema molecular no es ambigua

y puede escribirse así:

= ( ) = ( )
Si calculamos la tabla de verdad de ( ) y de (
) resulta que tiene los mismos valores de verdad y en
un mismo orden.

También ocurre lo mismo con la disyunción inclusiva y

tranquilamente lo podemos escribir así:

= ( ) = ( )

La bicondicional también tiene esta propiedad cuando se usan

más de 2 proposiciones a la vez en un esquema molecular, se
registra sin contradicciones en el siguiente esquema:

= ( ) = ( )

La disyunción exclusiva también goza de esta propiedad:

= ( ) = ( )

La única que no goza de esta propiedad es la condicional

material donde:

( ) ( )

Por lo que el esquema es ambigua, por tanto,

podemos mencionar que las siguientes fórmulas proposicionales
como la que están aquí:
  ( ) = ( )
 ( ) = ( )
 ( ) = ( )
 = ( ) = ( )

tiene propiedades asociativas, estas son, la conjunción, la

disyunción inclusiva como la exclusiva y la bicondicional.

Esto último es tan solo un esbozo de las identidades

notables que lo volveremos a ver en un próximo capítulo
de lógica proposicional. Dicho todo lo anterior, sabrás la manera
correcta de agrupar proposiciones simbólicamente y resolver
las tablas de verdad de un esquema molecular.

Esto último es tan solo un esbozo de las identidades

notables que lo volveremos a ver en un próximo capítulo
de lógica proposicional. Dicho todo lo anterior, sabrás la manera
correcta de agrupar proposiciones simbólicamente y resolver
las tablas de verdad de un esquema molecular.

Los Signos En Lógica

En lógica proposicional y en cualquier área de las matemáticas,
los signos representan a los significados de los símbolos, los
símbolos no tiene significado, solo están representados por
caracteres especiales como por ejemplo la negación que sería el
signo del símbolo “ “.
 Aquí una tabla de los principales signos lógicos en lógica
proposicional:

Nombre Signo (significado) Simbolo

Negación No ~, ¬, \
Conjunción y ∧
Disyunción Inclusiva o ∨
Disyunción Exclusiva O bien …. o bien ∆, ⊻, ↮
Condicional Material Si … entonces .. →
Bicondicional Material Si y solo si ↔
Implicación lógica Por tanto ⇒
p, q, r (por lo general, letras
Proposición lógica Argumento aseverativo
minúsculas)
Signos De Agrupación Paréntesis, corchetes, llaves (), [], { }
Verdadero … V
Falso … F

La simbolización de proposiciones propiamente dicha son

únicamente con letras minúsculas , , , lamentablemente la
simbolización no indica qué proposición es simple o compuesta,
un símbolo como por ejemplo puede representar un esquema
molecular con todos los signos como pueden ser variables
proposicionales, conectivos lógicos, paréntesis y propia
extenderse a otros simbolos más si tratamos con la lógica de
primer orden.

En proposiciones mencionó desde un inicio que un signo siempre

está representado por un símbolo, lo que entendemos como
signo se le llama semántica y como símbolo se llama sintáctica
(los caracteres), luego, estos caracteres o símbolos deben tener
un orden definido para luego comenzar entender todo el álgebra
de los esquemas moleculares y sus leyes principales, este orden
se llama fórmulas bien formadas, pero de ello lo hablaremos en
su momento.