Valuación

Una valuación es una función v:Form--->{0,1} tal que: - v(¬β) = 1 - v(β) - v((β1^β2)) = min{v(β1); v(β2)} - v((β1vβ2)) = max{v(β1); v(β2)} - v((β1->β2)) = max{1-v(β1); v(β2)}