Truth Values (spanish)

Posible logica con más de dos valores de verdad.

Álgebra:

Operandos: Emisor, Símbolo, Receptor
Operaciones: AND, OR, XOR, Implicación (2 y 3 entradas, 1 salida)

Emisor (operación) Símbolo = Mensaje
Símbolo (operación) Receptor = Interpretación
Mensaje (operación) Interpretación = Resultado.

Esto es una relación triádica entre Emisor, Símbolo y Receptor, con
Resultado como llegada y Mensaje e Interpretación como resultados
intermedios.

Las operaciones posibles, de a 3 operandos, de este modo, son 64.

Ejemplo:
(Emisor AND Símbolo) XOR (Símbolo AND Receptor) = Resultado.
En este caso, una implicación verdadera entre 2 resultados sería una
inferencia.

SVO (Sujeto-Verbo-Objeto):
Cada uno de Emisor, Símbolo y mensaje, puede ser una oración en términos del
paradigma SVO.

Teniendo en cuenta que según la gramática un verbo expresa Acción, Pasión o
Estado, podemos ver:

Sujeto y Verbo = Acción
Verbo y Objeto = Pasión
Accion y Pasión = Estado

Llevado esto a lo anterior podríamos decir que:
Estado Emisor y Mensaje deben implicar Símbolo verdaderamente.
Estado Receptor y Símbolo deben implicar interpretación.
Acción debe implicar Pasión.

Valores de Verdad:

Los valores de verdad de esta lógica son ocho (8), 4 y sus antagónicos:

Nulo 000 / Indefinido 111 
Conocido 100 / Desconocido 011
Verdadero 110 / Falso 101
Sucedió 010 / No Sucedió 001

En la representación binaria, un 1 implica que el valor pertenece a uno de
los tres conjuntos que definen esta logica. 111 es la intersección de los 3
conjuntos y 000 está fuera de los tres.

Saludos,
Sebastián Samaruga
-- 
View this message in context: http://www.nabble.com/Truth-Values-%28spanish%29-tf4634834.html#a13235707
Sent from the w3.org - www-rdf-logic mailing list archive at Nabble.com.

Received on Tuesday, 16 October 2007 15:34:50 UTC