Lab: ÁLGEBRA DE PROPUESTAS

En este laboratorio se puede experimentar con las operaciones elementales de un álgebra de propuestas. Hay operaciones que pueden ser binario-n-arias —UNION, INTERSECCION, CONSENSO— que combinan dos o más propuestas correlativas (A..E); y otras operaciones —CERCANIA, SIMPLIFICAR, GENERALIZAR, ENMIENDA+, ENMIENDA-, TRIANGULO, COHERENCIA— que usan una o dos propuestas.

CC-BY-NC-SA Logo de UNIR . . . Desarrollado por Carlos Rossique. Se permite su uso, excepto para fines comerciales, citando al autor.