UNIVERSIDAD CATOLICA DE SANTIAGO DEL ESTERO

DEPARTAMENTO ACADÉMICO RAFAELA

Carrera: Ingeniería en Informática
Asignatura: Matemática Discreta
Docentes: Prof. Bertero, Ma. Cecilia; Ing. Ma. Laura Albicocco
Guía Teórica Nº 3

OTRAS LÓGICAS

LÓGICAS MULTIVALENTES.

A diferencia de la lógica clásica, éstas lógicas trabajan con rangos de valores de

verdad mayores a dos, ya que hay ocasiones en las que puede ser útil, debido a que
pueden expresarse aspectos más complejos de la realidad en los que no es factible
asignar un rango tan estrecho de valores.

Lógica Trivalente

Esta lógica multinivel utiliza tres valores de verdad, indicando Verdadero “V”, Falso
“F” y un tercer valor, que según la lógica trivalente de Jan Lukasiewicz se interpreta como
Indefinido o desconocido (Undefined) “U”. Donde sus conectivas lógicas se definen
mediante las siguientes tablas de verdad:

f¬ f˄ V F U f˅ V F U
V F V V F U V V V V
F V F F F F F V F U
U U U U F U U V U U

f→ V F U f↔ V F U
V V F U V V F V
F V V V F F V U
U V U V U U U V

De manera intuitiva se pueden entender las definiciones de estas conectivas, si

pensamos en los siguientes términos: supóngase, por ejemplo, que el valor de verdad de
A es F y el de B es U. Entonces, el valor de verdad de A ˅ B es indeterminado, ya que no
podemos decir si es V o F porque eso depende del valor de verdad que pueda alcanzar B,
que en el momento que realizamos la evaluación es desconocido. Por otro lado, el valor
de verdad de A ˄ B es F, ya que, cualquiera que sea el valor de verdad de B, si el de A es
F, el valor de verdad de A ˄ B será F. Mediante razonamientos similares podemos
justificar los valores de verdad asociados al resto de los casos y conectivas.

Además de esta, hay otras formas de interpretar el papel del valor de verdad U que
conducen a otras definiciones de las conectivas lógicas. Así, en la lógica trivalente de
 UNIVERSIDAD CATOLICA DE SANTIAGO DEL ESTERO
DEPARTAMENTO ACADÉMICO RAFAELA
Carrera: Ingeniería en Informática
Asignatura: Matemática Discreta
Docentes: Prof. Bertero, Ma. Cecilia; Ing. Ma. Laura Albicocco
Guía Teórica Nº 3

Goddar y Routley, el valor de verdad U se interpreta como “sin sentido” y cualquier

fórmula que contenga U durante su evaluación se evalúa a U, mientras que las fórmulas
que no incluyen U toman el mismo valor de verdad que en la lógica clásica. Por ejemplo:

f¬ f˅ V F U f→ V F U
V F V V V U V V F U
F V F V F U F V V U
U U U U U U U U U U

y de igual modo para el resto de las conectivas lógicas.

La lógica trivalente abre el camino a otras lógicas polivalentes, como la lógica trivalente
de Fitting (1989) y Ginsberg (1990); en la que además del valor de verdad indefinido U se
introduce un valor de verdad O, que se entiende como “sobredefinido” (overdefined). Así
como U se interpreta como como “ni verdadero ni falso”, el valor de O puede considerarse
como “verdadero y falso a la vez”. La lógica trivalente también abre el camino a lógicas
polivalentes con un número infinito (e incluso no numerable) de valores de verdad.

Lógica Modal

La lógica modal puede definirse como la “lógica de los matices”. Así como la lógica
clásica se ocupa únicamente de enunciados, que pueden ser verdaderos o falsos, la
lógica clásica se ocupa de enunciados cualificados, como por ejemplo:

- Es posible que los almendros florezcan en mayo;

- Es imposible que la entropía de un sistema permanezca constante;
- Es necesario que 2+2=4;

Donde “es posible que”, “es imposible que” y “es necesario que” son los llamados
operadores modales. Esta clase de operadores forman parte del grupo de las llamadas
modalidades de verdad o modalidades aléticas. Ahora, la lógica modal puede entenderse
como un sistema lógico que estudia la semántica de los enunciados que contienen
operadores modales y las relaciones de consecuencia lógica que se establecen entre
ellos.
 UNIVERSIDAD CATOLICA DE SANTIAGO DEL ESTERO
DEPARTAMENTO ACADÉMICO RAFAELA
Carrera: Ingeniería en Informática
Asignatura: Matemática Discreta
Docentes: Prof. Bertero, Ma. Cecilia; Ing. Ma. Laura Albicocco
Guía Teórica Nº 3

La sintaxis de la lógica modal proposicional es la misma que la de la lógica

proposicional clásica, salvo por la introducción de los operadores modales, que amplían el
conjunto de las conectivas. Si bien basta con la introducción de un único operador para
expresar todas las modalidades aléticas, es común utilizar dos operadores:
- El operador “□”, que se interpreta cómo “es necesario que”;
- El operador “◊”, que se interpreta como “es posible que”.

La siguiente tabla pone en relación los operadores modales y sus correspondientes

lecturas:

OPERADOR LECTURA
□p "es necesario que p"
"no es necesario que no p" (que equivale a "es
¬□¬p
posible que p")
"es necesario que no p" (que equivale a "es
□¬p
imposible que p")
◊p "es posible que p"
"no es posible que p" (que equivale a "es
◊¬p
imposible que p")
"no es posible que no p" (que equivale a "es
¬◊¬p
necesario que p")

A los operadores modales se les asigna el mismo nivel de precedencia que a la

negación. Por lo tanto, ◊ p ˅ q no es equivalente a ◊ (p ˅ q), ni tampoco □p→q es
equivalente a □(p→q).

Lógica borrosa

También conocida como Lógica Difusa, es un tipo de lógica que reconoce más que
simples valores verdaderos y falsos. Las proposiciones pueden ser representadas con
grados de veracidad o falsedad. Por ejemplo, la sentencia "hoy es un día soleado", puede
ser 100% verdad si no hay nubes, 80% verdad si hay pocas nubes, 50% verdad si existe
neblina y 0% si llueve todo el día.
 UNIVERSIDAD CATOLICA DE SANTIAGO DEL ESTERO
DEPARTAMENTO ACADÉMICO RAFAELA
Carrera: Ingeniería en Informática
Asignatura: Matemática Discreta
Docentes: Prof. Bertero, Ma. Cecilia; Ing. Ma. Laura Albicocco
Guía Teórica Nº 3

La Lógica Borrosa ha sido probada para ser particularmente útil en sistemas expertos y
otras aplicaciones de inteligencia artificial. Es también utilizada en algunos correctores de
voz para sugerir una lista de probables palabras a reemplazar en una mal dicha. La
Lógica Difusa actualmente está relacionada y fundamentada en la teoría de los Conjuntos
Difusos. Según esta teoría, el grado de pertenencia de un elemento a un conjunto va a
venir determinado por una función de pertenencia, que puede tomar todos los valores
reales comprendidos en el intervalo [0,1].

Predicados Vagos y Conjuntos Difusos.

Los conjuntos clásicos se definen mediante un predicado que da lugar a una clara
división del Universo de Discurso X en los valores "Verdadero" y "Falso". Sin embargo, el
razonamiento humano utiliza frecuentemente predicados que no se pueden reducir a este
tipo de división: son los denominados predicados vagos.

Por ejemplo, tomando el Universo de Discurso formado por todas las posibles
temperaturas ambientales en la ciudad de Huelva, se puede definir en dicho universo el
conjunto A como aquél formado por las temperaturas "cálidas". Por supuesto, es
imposible dar a A una definición clásica, ya que su correspondiente predicado no divide el
universo X en dos partes claramente diferenciadas. No podemos afirmar con rotundidad
que una temperatura es "cálida" o no lo es. El problema podría resolverse en parte
considerando que una temperatura es "cálida" cuando su valor supera cierto umbral fijado
de antemano. Se dice que el problema tan sólo se resuelve en parte, y de manera no muy
convincente, por dos motivos: de una parte el umbral mencionado se establece de una
manera arbitraria, y por otro lado podría darse el caso de que dos temperaturas con
valores muy diferentes fuesen consideradas ambas como "cálidas". Evidentemente, el
concepto "calor" así definido nos daría una información muy pobre sobre la temperatura
ambiental.

La manera más apropiada de dar solución a este problema es considerar que la

pertenencia o no pertenencia de un elemento x al conjunto A no es absoluta sino gradual.
En definitiva, definiremos A como un Conjunto Difuso. Su función de pertenencia ya no
adoptará valores en el conjunto discreto {0,1} (lógica booleana), sino en el intervalo
cerrado [0,1]. En conclusión podemos observar que los Conjuntos Difusos son una
generalización de los conjuntos clásicos.