Interface TCoreDirectionalVacuity

interface TCoreDirectionalVacuity {
    antecedentTrue: TCoreQuadrivalentValue;
    consequentTrue: TCoreQuadrivalentValue;
    fired: TCoreQuadrivalentValue;
    implicationValue: TCoreQuadrivalentValue;
    isVacuouslyTrue: TCoreQuadrivalentValue;
}

Index

Properties

antecedentTrue consequentTrue fired implicationValue isVacuouslyTrue

Properties

antecedentTrue

antecedentTrue: TCoreQuadrivalentValue

Truth value of the antecedent for this directional implication view.

consequentTrue

consequentTrue: TCoreQuadrivalentValue

Truth value of the consequent for this directional implication view.

fired

fired: TCoreQuadrivalentValue

true iff the antecedent was true (the implication "fired"); null if indeterminate.

implicationValue

implicationValue: TCoreQuadrivalentValue

Result of evaluating antecedent -> consequent.

isVacuouslyTrue

isVacuouslyTrue: TCoreQuadrivalentValue

true iff the implication is true because the antecedent is false; null if indeterminate.