Interface TCoreDirectionalVacuity

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

Index

Properties

antecedentTrue consequentTrue fired implicationValue isVacuouslyTrue

Properties

antecedentTrue

antecedentTrue: TCoreTrivalentValue

Truth value of the antecedent for this directional implication view.

consequentTrue

consequentTrue: TCoreTrivalentValue

Truth value of the consequent for this directional implication view.

fired

fired: TCoreTrivalentValue

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

implicationValue

implicationValue: TCoreTrivalentValue

Result of evaluating antecedent -> consequent.

isVacuouslyTrue

isVacuouslyTrue: TCoreTrivalentValue

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