Universidad Catlica Redemptoris Maters UNICA I ao Sabatino Lgica y Teora de Conjuntos

Catedrtico: Lic. Francisco S. Hernndez Mendoza.

Carrera: Matemtica.

Agrupacin de Proposiciones y Jerarqua en la Aplicacin de los Operadores Los parntesis, ( ), son signos de puntuacin que, se emplean para estructurar proposiciones compuestas complejas. Sin embargo, puede emplearse la siguiente convencin, si se desea evitar el uso de parntesis en una proposicin lgica compuesta: Supondremos desde ahora que si una proposicin lgica compuesta carece de parntesis se, tomar en cuenta al modificador en primera prioridad, al conectivo en segunda prioridad, al conectivo en tercera, y finalmente a los conectivos y . As, si se desea restaurar los parntesis en la siguiente proposicin:

La expresin resultante sera: ((

p q p

r q r p
q) r)

(q (r p))

Jerarqua de Operadores Lgicos Combinando los operadores lgicos podemos formar nuevas expresiones. En trminos formales la negacin de p, deber ser ( p), as como la conjuncin de p y q sera (p q), etc. Con el uso de parntesis evitamos la ambigedad, por ejemplo p q podra significar dos cosas distintas .Por un lado podra significar: (( p) q) o tambin: ( (p q)). En la prctica para no usar tantos parntesis se considera que el operador tiene jerarqua sobre , , , . As p q significa (( p) q). En algunos casos se considera , tienen mayor jerarqua que por lo que, p q r sera (p (q r)) y tambin que tiene prioridad sobre , por lo que p q r, sera (p q) r. Es conveniente sealar que en la mayora de los casos no se considera la jerarqua de ninguno de los operadores binarios , , , ; por que esta se sustituye por el uso de parntesis. En ese sentido, slo el operador unitario tiene prioridad sobre los dems operadores. Esto se hace con el fin de evitar el uso exagerado de parntesis, por ejemplo: ((( p)

q)

r) se representa por ( p

q) r.

Construccin de Tablas de Verdad y la Jerarqua de los Conectivos Lgicos

Como ya sabemos la sintaxis en lgica es la forma correcta de escribir una proposicin lgica y la semntica es lo que significa. Como en lgica solamente tenemos dos valores de verdad, una proposicin lgica solamente puede ser verdadera o falsa. Para determinar su valor seguimos las reglas simples que dimos en las definiciones bsicas de cada conectivo u operador lgico, as como su correspondiente tabla de verdad. Esto lo hacemos mediante interpretaciones. Una interpretacin de una proposicin lgica compuesta es un conjunto de valores que se les asignan a las proposiciones simples que la componen. Al interpretar una proposicin lgica lo que finalmente vamos a obtener es un valor de verdad, bien sea verdadero o falso. Pero para poder encontrarlo muchas veces el proceso es laborioso porque puede estar formada por varias proposiciones simples. Primeramente se le asignan valores de verdad a las proposiciones simples y de all se puede encontrar el valor de la expresin dada. Si deseamos hacerlo en general, debemos analizar todas las posibilidades, esto se puede hacer construyendo una tabla de verdad. Para fines prcticos cuando se tienen varias proposiciones simples las tablas de verdad no resultan prcticas por lo que analizaremos solamente expresiones con tres proposiciones simples como mximo. La afirmacin anterior en ningn momento debe interpretarse como que no se puede construir una tabla de verdad para un nmero mayor de proposiciones, pero notemos que por cada proposicin simple que se aumente el nmero de filas o renglones se duplica. Esto es, para una proposicin simple son dos renglones, para dos son cuatro, para tres son ocho, para cuatro diecisis, as sucesivamente, hasta llegar a n proposiciones simples a las que les corresponden 2n filas. Un algoritmo para construir una tabla de verdad de una proposicin lgica compuesta puede ser: 1. Calcular el nmero de filas que tendr la tabla. Este ser equivalente a 2 elevado al nmero de proposiciones simples que identifiquemos en la proposicin lgica compuesta (2n donde n representa el nmero de proposiciones simples que intervienen). 2. Elaborar las columnas iniciales, las cuales incluyen todas las proposiciones simples que contiene en su estructura la proposicin lgica compuesta. 3. Una vez hecho esto hay que confeccionar las columnas intermedias, empezando por los operadores lgicos de mayor jerarqua (las proposiciones simples negadas, si las hay), seguidamente las proposiciones lgicas que sigan en el orden jerrquico segn sus componentes principales e internos, hasta abarcar la conexin completa de todas las proposiciones que forman la proposicin compuesta, teniendo en cuenta que a la ultima

columna corresponde a la proposicin lgica original (que es la que indica los valores de verdad posibles de la expresin para cada caso). 4. Para la asignacin de los valores de verdad de las proposiciones simples, seguimos el siguiente criterio: en la primera proposicin simple los valores de verdadero (V) y falso (F) se alternan de mitad en mitad del total del nmero filas que tiene la tabla; en la segunda proposicin simple los valores de verdadero y falso se alternan en la mitad de lo que se altern en la primera proposicin simple, y as sucesivamente, hasta llegar a la ltima proposicin simple en donde los valores de verdadero y falso se alternan de uno en uno. 5. La asignacin de los valores de verdad del resto de las proposiciones lgicas que contiene la tabla, dependern de la caracterstica y naturaleza de las mismas. Es decir se har de acuerdo al orden jerrquico que, tiene cada operador lgico que est presente en su estructura. Para ilustrar el uso de este algoritmo a continuacin se les plantea un ejemplo: Construya la tabla de verdad que corresponde a la expresin lgica: (p Solucin: p q r

r)

(p q)

p V V V V V F V F V V F F

q F F F F V V V V

(p r)

(p q) (p q) F F V V V V V V

r)

(p

F F V V F F V V

V F V F V V V V

V F V V V V V V

F V V F V F F F F V F F

Bibliografa Consultada:

Interpretacin de los conectivos lgicos en el lenguaje ordinario..., agrupacin de proposiciones y jerarqua en la aplicacin de los conectivos. [en lnea]. [fecha de consulta: el 1/4/08]. Disponible en : http://huitoto.udea.edu.co/MatematicasDiscretas/introProp.htm