Las tablas de certeza proporcionan todas las posibles asignaciones de certeza, y el método de comprobar la validez de cualquier inferencia es el siguiente:
Primero,
se escriben todas las combinaciones
posibles de valores de certeza para las proposiciones atómicas incluidas en el
ejemplo.
Segundo, se determinan
los valores de certeza para todas las premisas
y de la conclusión del
razonamiento.
Tercero,
se buscan las líneas que presentan todas las premisas como proposiciones
ciertas; si la conclusión es también cierta para cada una
de estas líneas, entonces el razonamiento es
válido.
Si
hay alguna línea para la que todas las
premisas son ciertas y la conclusión es falsa, el razonamiento no es válido y
la conclusión no es una consecuencia lógica.
¿Como saber el Número de Combinaciones de Certeza?
La regla general es que si hay n proposiciones atómicas, entonces hay 2 a la 'n' combinaciones de valores posibles de certeza. Ejemplo, para tres proposiciones atómicas sera 2 x 2 x 2 = 8, 8 combinaciones .
Ref.
Definición extraída del Libro Lógica Matemática
Autores: Patrick Suppes y Shirley Hill
No hay comentarios:
Publicar un comentario