value
Deductions
- conclusion has quality value ⇐ (truth value is subclass of value), (conclusion has quality truth value)
- tautology has quality value ⇐ (truth value is subclass of value), (tautology has quality truth value)
- => has quality value ⇐ (truth value is subclass of value), (=> has quality truth value)
- antecedent has quality value ⇐ (truth value is subclass of value), (antecedent has quality truth value)
- consequent has quality value ⇐ (truth value is subclass of value), (consequent has quality truth value)
- consequence has quality value ⇐ (truth value is subclass of value), (consequence has quality truth value)
- logical variable has quality value ⇐ (truth value is subclass of value), (logical variable has quality truth value)
- proposition has quality value ⇐ (truth value is subclass of value), (proposition has quality truth value)
- logical consequence has quality value ⇐ (truth value is subclass of value), (logical consequence has quality truth value)