Repblica Bolivariana de Venezuela

Ministerio del Poder Popular para la Defensa

Universidad Nacional Experimental de las
Fuerzas Armadas Bolivariana
Ncleo Falcn, Extensin Punto Fijo
(UNEFA)
Ctedra: Lgica Matemtica

Lgi
ca
matem
tica

Autores
Br. SIU, Erick
PUNTO FIJO, VENEZUELA
2014

Lgica modal
Creadores: surge a principios del siglo XX como una reaccin a la lgica
clsica que madur en las obras de autores como Gottlob Frege,
Bertrand

Russell

razonamiento

Alfred

vlidos,

North

aquellos

Whitehead.

que

indican

Los

patrones

de

una

relacin

de

consecuencia lgica entre un conjunto de enunciados las premisas y

otro enunciado la conclusin en un argumento, estn en parte
determinados por cules sean las constantes lgicas. Puede plantearse
que el estudio sistemtico y formal de la lgica modal empieza en el
siglo XX. Puede comenzarse con los trabajos de Kripke; si bien no fue el
primero en plantear una lgica modal en sentido amplio, s fue el
primero en sentar las bases semnticas del sistema modal ms conocido
y que sirve de referencia a los dems
Concepto: Una lgica modal es un sistema formal que intenta capturar el
comportamiento deductivo de algn grupo de operadores modales.1 Los
operadores modales son expresiones que califican la verdad de los
juicios. En un sentido ms restringido, sin embargo, se llama lgica
modal al sistema formal que se ocupa de las expresiones "es necesario
que" y "es posible que
Semntica: las interpretaciones vienen dadas por una tripleta que
contiene a

W: que es el conjunto de los mundos posibles. Una de las posturas

dice que un mundo posible es un conjunto mximamente
consistente

de

proposiciones.

Esto

es,

un

conjunto

de

proposiciones al que si se agregara una proposicin cualquiera

ms, se volvera inconsistente

R: que representa una relacin de accesibilidad entre mundos. La

funcin de la relacin de accesibilidad es ayudar a expresar una

necesidad o posibilidad relativa. En principio, no todo lo que es

posible en un mundo es posible en otro mundo. Supongamos tres
situaciones o mundos posibles: w0, w1 y w2. Supongamos adems
que w0 es la situacin actual, en la que el seor Fernndez se tir
sin paracadas de un avin volando a miles de metros, con el fin de
suicidarse.

Convengamos

que

en

esta

situacin,

el

seor

Fernndez va a morir necesariamente (por necesidad fsica). Por

otro lado, w1 es una situacin anterior a w0 en la que el seor
Fernndez est decidiendo si tirarse o no del avin, y w2 es una
situacin posterior a w1 en donde el seor Fernndez decidi no
tirarse del avin. Hay un sentido del trmino "posible" en el que el
enunciado "es posible que el seor Fernndez no muera" es
verdadero en w1 pero no en w0. De modo que w2 es un mundo
posible relativo a w1, pero no relativo a w0. Expresamos esta
posibilidad relativa diciendo que w1 tiene acceso a w2, pero que
w0 no tiene acceso a w2.

V que es una funcin que asigna valores de verdad a pares

(p,w),siendo p una variable proposicional cualquiera y w un mundo
particular tal que w W. es una funcin que toma pares ordenados
como argumentos, y devuelve valores de verdad. Estos pares
contienen, por un lado, la proposicin a ser evaluada, y por el otro,
el mundo posible donde ser evaluada

Sintaxis:
::piqiri () ()()
Alfabeto:

El alfabeto, a LM, de LM se obtiene aadiendo los smbolos de conectivas

modales y al alfabeto, aprop de un lenguaje proposicional de la
lgica clsica. Es decir,
aLM = aprop U{, }
Por lo tanto, consta de los siguientes smbolos: Un conjunto numerable
de smbolos o variables proposicionales
Vprop = {p; q; r;..; p1; q2; r3; pn; qn; rn; : : :}
Los smbolos de constante, (verdad") y (falsedad")
Los smbolos de conectivas booleanas: , , , ,
Las conectivas modales (de necesidad) y (de posibilidad)
Los smbolos de puntuacin (" y )".
Axiomas:
Cules deben ser los axiomas de la lgica modal es algo muy debatido.
Diferentes

conjuntos

de

axiomas

permiten

demostrar

diferentes

teoremas, y por lo tanto los axiomas que se eligen muchas veces

dependen de los teoremas que se quieren demostrar, y de la posicin
filosfica que se defiende.
La siguiente es una lista de algunos de los axiomas ms conocidos:
Nombr
e
K

Axioma

Lectura informal
Si es necesario que
entonces si

implica ,

es necesario,

tambin lo es.
Si es necesario que

T (o M)

es el caso.
Si es necesario que

, entonces
, entonces

es necesario que sea necesario.

Si es posible que , entonces es

necesario que sea posible.

Si
es el caso, entonces

es

necesario que sea posible.

Aplicaciones: Tiene importantes aplicaciones en programacin puesto
que puede darse representaciones expresadas mediante trminos de
lgica modal. Destacamos algunas utilidades a continuacin. Es til para
que la ejecucin de un programa pueda ser vista como una sucesin de
estados.

Para

representar

condiciones

intermedias

finales

del

programa (aserciones) a travs de relaciones, entre otros.

Lgicas Multivaluadas
Creadores: Los creadores de esta lgica conocida anteriormente como
ternaria fueron el matemtico polaco Jan ukasiewicz, el filosofo
Clarence Irving Lewis y sulski. Despus de ellos, fue reformulada de
forma axiomtica y algebraica por Grigore Moisil, y extendida a lgicas
multivaluadas en 1945.
Concepto: Esta lgica tambin conocida como lgicas ternarias o
trivalentes llevan como base que tengan tres estados de verdad:
verdadero, falso y desconocido. Estos valores se pueden representar de
muchas maneras; por ejemplo, 0 para falso, 1 para desconocido, y 2
para verdadero. Se pueden definir muchos operadores lgicos.
Las operaciones bsicas son definidas como:
P: 1 p

 P Q: mn(p, q)
P Q: mx(p, q)
P Q: mn(1, 1 p + q
La lgica multivaluada incluye sistemas lgicos que admiten varios
valores de verdad posibles. La lgica difusa (o borrosa) es una de ellas,
que se caracteriza por querer cuantificar esta incertidumbre: Si P es una
proposicin, se le puede asociar un nmero v(P) en el intervalo [0,1] tal
que:

Si V(P) = 0, P es falso.

Si V(P) = 1, P es verdadero.

La veracidad de P aumenta con V(P).

Semntica:
Valores semnticos, valores destacados interpretacin: Una
funcin que asocia un significado (valor semntico) a cada fbf. Modelo
para A: Una interpretacin que asigna a A un valor destacado formula
valida: aquella para la que toda interpretacin es un modelo inferencia:
De un conjunto S se infiere A si todo modelo de S tambin lo es de A.
Valores semnticos {0, t, 1}.Valores destacados (generalmente {1}, o
tambin {t, 1}).

Sintaxis:
Respecto a la sintaxis, el mismo

Lukasiewicz propuso clculos

proposicionales sencillos y conjetur que de ellos podran deducirse

todas las tautologas de sus algebras. Esta conjetura se demostr por

diversos caminos en el transcurso del siglo XX. La siguiente es una
presentacin de la lgica de Lukasiewicz con infinitos valores.
Alfabeto:
NEGACIN: no, ni, salvo, excepto
DISYUNCIN INCLUSIVA: o, o bien, tanto si... como si,
DISYUNCIN EXCLUSIVA: o, o bien, tanto si... como si,
CONJUNCIN: y, e, o ni (=y no), pero, empero, sin embargo, no
obstante, adems, aunque, as mismo, sino que, en cambio, mientras,
ahora bien, cuando, ms bien, antes bien, el punto y seguido, la coma,
el punto y la coma...

CONDICIONAL: si.... entonces; por tanto; en consecuencia; siempre

que; es suficiente; mientras + subjuntivo; solo que +subjuntivo: puesto
que + subjuntivo; indicar, comportar, suponer, presuponer, denotar,...;
para concluir: por consiguiente: finalmente: a manera de colofn; en fin;
debito a esto; puesto que; dado que; por esta causa; ya que.
BICONDICIONAL: si y solo si; es necesario y suficiente; equivaler; ser
el mismo que, es necesario que y solo es necesario que; quien +
subjuntivo y solo quien; es necesario y hay bastante con...
A veces tambin se usan smbolos auxiliares: parntesis y
corchetes,
argumentos.

para unir enunciados moleculares como veremos en los

Teoremas o axiomas:
Axiomas
1.
2.
3.
4.

A , (B , A)
(A , B) , ((B , C) , (A , C))
(B , A) , (A , B)
((A , A) , A) , A

Teorema:
La nica regla de inferencia es la regla Modus Ponens:
A, A , B
B

Lgica Difusa
Creador: Ingeniero y matemtico Lofti Zadeh.
Concepto: La Lgica Difusa es una generalizacin de la lgica
multivaluada. Permite utilizar conceptos aproximados, por lo que el
razonamiento tambin ser aproximado. Este tipo de lgica toma dos
valores aleatorios, pero contextualizados y referidos entre s. As, por
ejemplo, una persona que mida 2 metros es claramente una persona
alta, si previamente se ha tomado el valor de persona baja y se ha

establecido en 1 metro. Ambos valores estn contextualizados a

personas y referidos a una medida mtrica lineal.
En Lgica Difusa todo es cuestin de GRADO, incluso la verdad (Zadeh,
1975 y 1988): Un Grado de Verdad puede ser:
Un Valor Numrico del intervalo [0,1]. Ejemplos: 0.5, 0.75...
Una Etiqueta Lingstica. Ejemplos: ms o menos verdad, bastante...
Resumiendo, un grado de verdad es un conjunto difuso. Con estas bases,
han surgido trabajos en diversas lneas:
Puede verse la lgica difusa como un lenguaje de primer orden con una
semntica especial (Novak, 1992).
Puede verse la lgica difusa como una herramienta para la resolucin
de problemas y la toma de decisiones (Zadeh, 1975 y 1979; Tsukamoto,
1979; Pedrycz, 1995).
Clculos con Lgica Difusa: Utilizan la inferencia lgica aplicada a los
conjuntos difusos de los grados de verdad.

Formato de Proposiciones Atmicas: X es Ai es t i

donde Ai es un conjunto difuso en el universo de X, y t i es un conjunto
difuso en el intervalo [0,1] (o su etiqueta lingstica).
Ejemplos: El Perro es Blanco es muy cierto.
La Temperatura es Alta es bastante falso. Cualificacin de Verdad
(Truth Qualification, Zadeh, 1975): Obtener un conjunto difuso A tal que:
X es Ai es t i = X es A
El t i acta como una restriccin elstica: A(x) = t i (Ai(x)), " xX

A(x) =Verdad (Ai(x)) = Ai(x); A(x) = Muy Verdad (Ai(x)) = A2i (x);
A(x) =Falso (Ai(x)) = 1Ai (x); A(x) = Ms o Menos (Ai(x))=A0.5i (x);
Si t i=Falso, se est afirmando el hecho contrario. Por eso, podemos
definir t i=Totalmente Falso que toma el grado 0 en todo su universo
[0,1], excepto para el valor 0, que toma grado 1.

Razonamiento o Inferencia: Utilizamos el Modus Ponens extendido: { A,

Ai fi Bi [es t i] } B
donde Ai fi Bi es una regla que se cumple en el sistema (implicacin)
con el grado de verdad t i (opcional), A es el dato de entrada
(inputdatum) o situacin actual y B es la conclusin: Si A=Ai, entonces
B=Bi.
Semntica:

La semntica de la lgica difusa es tambin totalmente distinta

de la semntica tarskiana de modelos asociada a la lgica clsica. En la
lgica 'clsica, una teora (conjunto de frmulas de la lgica) puede
tener uno, varios o ningn modelo asociado. Como consecuencia lgica
de esa teora se entienden a todas las frmulas que son verdaderas en
todos los modelos de la teora. Las frmulas que son verdaderas en
todas las teoras se denominan tautologas.
En los sistemas de lgica difusa no es prctico considerar ms de
un modelo de una teora a la vez. Por lo tanto no existen los conceptos
de tautologa ni de consecuencia lgica. La semntica est determinada
por un slo modelo, que es un subconjunto difuso del conjunto de
frmulas de la teora. Para caracterizar a un modelo se establece

inicialmente el valor de verdad para un subconjunto de las frmulas, y

se trata de calcular a partir de estos datos el valor de verdad de las
restantes frmulas en ese modelo.
Est claro que, de presentarse varios modelos de una teora a la
vez, sera muy costoso computacionalmente calcular los intervalos a los
cuales pertenece el valor de verdad de otras frmulas; en la mayora de
los casos no resultaran valores significativos, e incluso en algunos sera
imposible su clculo.
Sintaxis:
Recordamos

que

un

clculo

de

proposiciones

(CProp)

se

construye a partir de un conjunto finito de variables proposicionales, de

los valores constantes 0,1 a los que se identifica como falso y verdadero,
respectivamente, y de algunos conectivos, entre los cuales estn
llamados negacin, disyuncin, conjuncin, implicacin y equivalencia,
respectivamente.

Las formas proposicionales son las as llamadas frmulas bien

formadas. Para precisar el concepto de frmula bien formada asignemos
primeramente prioridades a los conectivos. En el manejo de prioridades,
la convencin es usual: ``Menores valores numricos corresponden a
prioridades mayores y, con prioridades iguales, se aplican primero los
conectivos ms a la izquierda''. El conjunto FP de formas proposicionales
se define inductivamente, y al mismo tiempo se define la nocin de
conectivo principal de FP's

Alfabeto:

X que es el universo del discurso.

T que es un elemento maximal.
F que es un elemento minimal.
La conjuncin.
La disyuncin.

Teoremas o axiomas:

Axioma de compensacin.
Axioma de conmutatividad.
Axioma de crecimiento estricto.
Axioma de veto.
Axioma de reciprocidad difusa.
Axioma de transitividad difusa.
Leyes de De Morgan.

Aplicacin:
La lgica difusa se utiliza cuando la complejidad del proceso en cuestin
es muy alta y no existen modelos matemticos precisos, para procesos
altamente no lineales y cuando se envuelven definiciones y
conocimiento no estrictamente definido (impreciso o subjetivo).
En cambio, no es una buena idea usarla cuando algn modelo
matemtico ya soluciona eficientemente el problema, cuando los
problemas son lineales o cuando no tienen solucin.
Esta tcnica se ha empleado con bastante xito en la industria,
principalmente en Japn, extendindose sus aplicaciones a multitud de
campos. La primera vez que se us de forma importante fue en el metro
japons, con excelentes resultados