Documente Academic
Documente Profesional
Documente Cultură
~ -
OPERADOR
N
∧•&
MONÁDICO a) NEGACIÓN
K
∨
b) CONJUNCIÓN
c) DISYUNCIÓN
A
↔ ≡∨
INCLUSIVA
d) DISYUNCIÓN
J
→⊃
DIÁDICO
EXCLUSIVA
e) CONDICIONAL
C
↔ ≡ ⊃⊂
O IMPLICATIVO
f) BICONDICIONAL
O EQUIVALENCIA E
1
Hago constar que algunos aspectos técnicos subyacentes no van a ser abordados por cuestión de espacio,
pero que en su totalidad son enseñados en clase a mis alumnos.
Sistemas de Notación Lógica y Árboles Binarios o Sintácticos
I) Sistemas de Notación:
1.- Prefix o preorden o Polaco (P.N. :Polish Notation)
2.- Infix o Inorden o Estándar (en nuestro medio)
3.- Postfix o Postorden (R.P.N.: Reverse Polish Notation)
II) Árboles Binarios y Operadores Lógico Proposicionales
III) Conversión o Traducción de Sistemas:
1.- Del Sistema Estándar al Polaco
2.- Del Sistema Polaco al Estándar
IV) Aplicación en formulaciones del Cálculo Deóntico Proposicional.
I) Sistemas de Notación.- En Lógica, existen dos tipos de operadores; a saber, el
monádico (la negación) y el diádico (que son, la conjunción, disyunción
exclusiva e inclusiva, el condicional y la equivalencia); También se puede
establecer que los operadores aritméticos ( para la adición, sustracción,
multiplicación y división) son diádicos al igual que los diádicos lógicos
mencionados. Por lo que, si el operador al ser diádico, éste se acompaña de dos
variables, y en consecuencia utilizará tres (3) espacios o posiciones en el que se
puede situar el operador diádico, tanto para las operaciones aritmética como
para las operaciones lógicas en similar manera.; por esta razón, solamente
existirán tres (03) sistemas de notación para operadores diádicos:
1. Prefix o preorden o Polaco (PN).- Significa, que la posición del operador
diádico, en este sistema, precederá a sus variables, por ejemplo:
Apq
O V1 V2
Hay que notar que la posición del operador precedo a las variables
proposicionales.
2. Infix o Inorden o Estándar.- Significa que el operador diádico se sitúa al
interior o flanqueado por las variables, por ejemplo:
p∨q
V1 O V2
3.- Postfix o Postorden (RPN).- Significa que el operador diádico se sitúa
posterior o al final de las variables, por ejemplo:
p qA
V1 V2 O
II) Árboles Binarios y Operadores Lógico Proposicionales.- En primer lugar,
los árboles binarios son estructuras usadas para representar expresiones o
fórmulas lógicas, algebraicas, algoritmos, búsquedas y ordenamientos.
En lógica existen operadores monádico y diádico; por lo que el nodo de un
árbol binario puede tener 1 ó 2 hijos y también 0, como es de suponer:
M D
Por ejemplo:
~p p∨q
~ ∨
p q
p
Por lo que:
n Raíz
Nivel: 0
Hijo izquierdo Hi Hd Hijo derecho
1
.
.
.
n
III) Conversión o traducción de sistemas:
~ ( p∨ ~ q) → [ ~ r ↔ ~ ( q ∧ ~ p) ]
Se jerarquiza la fórmula:
2 3 1 2 3 4
~ ( p∨ ~ q) → [ ~ r ↔ ~ ( q ∧ ~ p) ]
Se construye el árbol correspondiente:
→
~ ↔
∨ ~ ~
p ~ r ∧
q q ~
p Se
realiza el recorrido
a los nodos, tal como se ha indicado:
→
~ ↔
∨ ~ ~
p ~ r ∧
q q ~
p
CNApNqENrNKqNp
2. Del Sistema Polaco al Estándar.- Para convertir se procede de la siguiente
manera:
a. La fórmula dada en el sistema polaco no requiere ser jerarquizada u
ordenada, porque ya lo está.
b. Se procede a la construcción del árbol por orden de aparición de
izquierda a derecha.
c. Se realiza el recorrido a los nodos de abajo hacia arriba comenzando
por la parte inferior izquierda, y de izquierda a derecha en forma
envolvente. Hay que hacer notar que, excepcionalmente, el operador
monádico(la negación), siempre va de arriba hacia abajo en la visita
al nodo próximo.
CNApNqENrNKqNp
Se construye el árbol correspondiente:
→
~ ↔
∨ ~ ~
p ~ r ∧
q q ~
p
Se realiza el recorrido a los nodos como se ha indicado:
→
~ ↔
∨ ~ ~
p ~ r ∧
q q ~
p
~ ( p∨ ~ q ) → [ ~ r ↔ ~ ( q ∧ ~ p ) ]
Se observa que se inicia la conversión al interior del área circular
verde, de izquierda a derecha en orientación ascendente, con la
negación de arriba hacia abajo; una vez concluido, pasamos a la
derecha en la que se observa la traducción de dos operadores
diádicos al interior de dos áreas circulares concéntrica, lo que
indica que se requiere de dos signos auxiliares, en el área circular
verde se utiliza el paréntesis y en el área circular naranja se
utiliza el corchete, porque el lado derecho está involucrado por el
bicondicional, aplicando el concepto de lo que es el operador
diádico.
( p → q ) → ( ~ q →~ p)
Transformamos en Tesis de la Lógica Deóntica, sustituyendo las variables por
las funciones proposicionales deónticas, por ejemplo, de la siguiente manera:
CCOpOqCNOqNOp
Que se interpreta: “Si: Si es obligatorio que p, entonces es obligatorio que q,
entonces si no es obligatorio que q, entonces no es obligatorio que p”.
Asignemos el siguiente ejemplo concreto: “Si: si es obligatorio respetar las
normas de tránsito, entonces es obligatorio respetar la luz roja del semáforo,
entonces si no es obligatorio respetar la luz roja del semáforo, entonces no es
obligatorio respetar las normas de tránsito”
A continuación, construiremos su árbol binario:
→
→ →
O O ~ ~
p q O O
q p
→
→ →
O O ~ ~
p q O O
q p
( Op → Oq ) → ( ~ Oq →~ Op )
Esperando que este artículo les pueda ser útil de alguna manera para el propósito
mostrado, y que sirva principalmente a los estudiantes de las facultades de Derecho el de
haberles presentado la técnica de conversión de sistemas de notación lógica, para que en
su momento no sea obstáculo interpretar un tratado de lógica Deóntica o de Lógica
Jurídica en los que existan expresiones o fórmulas en un sistema de notación alterno, por
ejemplo, como el sistema de notación prefix o polaca. Señalando esto último, será hasta
una próxima oportunidad.
Actualmente, ejerzo la cátedra de Lógica (General y Jurídica) en la Facultad de
Derecho y Ciencias Políticas; asimismo, la cátedra de Lógica en la Facultad de Psicología
y Ciencias Sociales en la Escuela de Trabajo Social de la Universidad Inca Gracilaso de
la Vega en Lima – Perú.