9. Signos De Agrupación En Lógica Proposicional

Ciencias Básicas » Cursos Gratuitos de Matematica » Matemática Superior » Lógica Proposicional » 9. Signos De Agrupación En Lógica Proposicional

Holas amigos, esta es la sección 9 de lógica y vamos a tratar el tema de las Signos De Agrupación En Lógica Proposicional (aunque deberiamos decir simbolos de agrupacion).

Los signos de agrupación sirven para no caer en ambigüedades cuando realizamos muchas combinaciones de proposiciones y conectivos lógicos, esto obliga simbólicamente a definir una jerarquía en las proposiciones y el orden de como debe de desarrollarse un esquema molecular cuando tratamos con las tablas de verdad.

También explicaremos todas combinaciones posibles de los valores de verdad para mas de dos proposiciones cualesquiera de una proposición general o matriz. Comencemos.

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 p, 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 q ∧ r. Para que q ∧ r se cumpla, tiene que ocurrir la proposicion p, la manera correcta de escribir la proposición es de la siguiente manera:

  • p → (q ∧ r)

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 p → (q ∧ r) se escribiera simplemente así p → q ∧ r, no se podría saber si primero debe calcularse los valores de verdad de p → q o de q ∧ r  ya que la validez de p → (q ∧ r) y (p → q) ∧ r 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:

p
V
F

¿Pero cuántas combinaciones de todos los valores de verdad se pueden encontrar de dos proposiciones p y q?, esto se puede ver en una sencilla tabla de verdad sin conectivos lógicos:

 pq
VV
VF
FV
FF

Con dos proposiciones, tenemos 4 combinaciones posibles de los valores de verdad de dos proposiciones. ¿Y para 3 proposiciones?, veamos:

pq r
VVV
VVF
VFV
VFF
FVV
FVF
FFV
FFF

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:

p ∧ (q → p)

Debemos saber todos los posibles valores de verdad de p y de q \rightarrow p, 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 q → p y como estamos tratando con dos proposiciones, entonces trabajaremos tan solo con 22 = 4 combinaciones posibles de los valores de verdad de Proposición p y Proposición q, nuestra tabla quedaría así.

pq p ∧ (q → p)
VVV       
VFV       
FVF      F 
FFF       
  2       1  

El color azul indica que primero tenemos que calcular todos los valores de verdad de Proposición q → p con los valores de verdad conocidos de p y Proposición q, luego, los valores de verdad de color rojo indica que ahora tenemos que calcular todos los valores de verdad de p y Proposición q \rightarrow p 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 Proposición q → p se calcula primero y 2 significa que se calcula finalmente la conjunción de p ∧ (q → p), cómo la conjunción es la de mayor jerarquía, decimos entonces que p ∧ (q → p) es una proposición conjuntiva.

Ahora cambiemos los papeles, de la proposición anterior p ∧ (q → p), tomemos a la condicional flecha que apunta a la derecha con mayor jerarquía, nuestra fórmula proposicional sería (p ∧ q) → p, diseñemos su tabla de verdad para el nuevo ejemplo:

La tabla de verdad de \( ( p \wedge q ) \rightarrow p \) sería:

pq(p ∧ q) → p
VVV     
VFF     
FVF      
FFF     
  1       2

Primero se calcula (p ∧ q) 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 (p ∧ q) → p  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  p ∧ (q → p) y de (p ∧ q) → p tienen comportamientos distintos, esto indica que el esquema molecular  p ∧ q → p 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 p, q y r.

Ejemplo del desarrollo de un esquema molecular de 3 variables por tabla de verdad

Sea el siguiente esquema molecular

(p → q) ∨ (r ∧ p)

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:

tabla de verdad de un esquema molecular

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:

~ (p ∧ ~ q) → [q ∨ (r ↔ p)]

en la siguiente tabla de verdad encontraremos 4 tipos de jerarquías enumerados del 1 al 4:

tabla de verdad

Las columnas con el número 1 y estos son los primeros en calcularse, en este caso, son ~ q y (r ↔ p), luego le sigue la columnas con el número 2, estas son p ∧ ~ q y q ∨ (r ↔ p), luego tenemos la columna número 3 como penúltima jerarquía a calcular ~ (p ∧ ~ q) y por ultimo, calculamos los valores de verdad de la condicional de la columna número 4 de ~ (p ∧ ~ q) → [q ∨ (r ↔ p)].

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 p ∧ q ∧ r no es ambigua y puede escribirse así:

p ∧ q ∧ r = (p ∧ q) ∧ r = p ∧ (q ∧ r)

Si calculamos la tabla de verdad de (p ∧ q) ∧ r y de p ∧ (q ∧ r) 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í:

p ∨ q ∨ r = (p ∨ q) ∨ r = p ∨ (q ∨ r)

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:

p ↔ q ↔ r = (p ↔ q) ↔ r = p ↔ (q ↔ r)

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

Proposición p   Proposición q   proposición r = (Proposición p   Proposición q proposición r = Proposición p   (Proposición q   proposición r

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

(Proposición p  flecha que apunta a la derecha Proposición qflecha que apunta a la derecha proposición r ≠ Proposición p  flecha que apunta a la derecha (Proposición q  flecha que apunta a la derecha proposición r

Por lo que el esquema Proposición p flecha que apunta a la derecha Proposición q flecha que apunta a la derecha proposición r es ambigua, por tanto, podemos mencionar que las siguientes fórmulas proposicionales como la que están aquí:

  • (p ∧ q) ∧ r = p ∧ (q ∧ r)
  • (p ∨ q) ∨ r = p ∨ (q ∨ r)
  • (p ↔ q) ↔ r = p ↔ (q ↔ r)
  • Proposición p   Proposición q   proposición r = (Proposición p   Proposición q proposición r = Proposición p   (Proposición q   proposición r

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 “símbolo de negación “.

 Aquí una tabla de los principales signos lógicos en lógica proposicional:

NombreSigno (significado)Simbolo
NegaciónNo ~, ¬, \
Conjuncióny ∧
Disyunción Inclusivao
Disyunción ExclusivaO bien …. o bien∆, ⊻, ↮
Condicional MaterialSi … entonces ..
Bicondicional MaterialSi y solo si
Implicación lógicaPor tanto
Proposición lógicaArgumento aseverativo p, q, r (por lo general, letras minúsculas)
Signos De AgrupaciónParéntesis, corchetes, llaves(), [], { }
VerdaderoV
FalsoF

La simbolización de proposiciones propiamente dicha son únicamente con letras minúsculas Proposición pProposición qproposición r, lamentablemente la simbolización no indica qué proposición es simple o compuesta, un símbolo como por ejemplo Proposición p 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.

FIN DE LA ENTRADA NÚMERO 9

Llegamos al final de la sección de signos de agrupación y jerarquía de los conectores lógicos, espero que les sea una entrada útil y de mucho provecho.

Para el próximo capitulo describiré los 3 tipos de esquemas moleculares, algunas de ellas lo veremos en algunos ejercicios y en las leyes lógicas que próximamente publicaremos.

Detalles
Fecha de Revision
Nombre De La Entrada
Signos De Agrupación En Lógica Proposicional
Clasificación
51star1star1star1star1star
2018-07-14T23:02:17+00:00