Es una matriz con un número de filas determinado según procedimiento (Estado Probable del Mundo - EPM), que permite obtener el valor de verdad de una proposición compuesta formalizada, a partir de la combinación de los valores de verdad o falsedad de las proposiciones simples.
La fórmula lógica evaluada puede resultar Tautológica, Contradictoria o Contingente.
No hay comentarios:
Los comentarios nuevos no están permitidos.