Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Orden Jerarquico de Los Conectivos Logicos y Tablas de Verdad
Orden Jerarquico de Los Conectivos Logicos y Tablas de Verdad
UNICA
I ao Sabatino
Lgica y Teora de Conjuntos
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 .
p q r q r p
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.
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).
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.
p q r (p
r)
(p q) (p
q)
r) (p
p q
V V V F F V F V
V V F F F F F F
V F V F V V V V
V F F F V F V V
F V V V F V V V
F V F V F V V V
F F V V V V V V
F F F V V V V V
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