node-in-if-any-justification-valid
IN premise
A Node is IN when at least one of its Justifications is valid; a Justification is valid when all antecedents are IN and all outlist nodes are OUT (disjunctive over justifications, conjunctive within each).
Summary
A node only needs one working reason to be considered true. Each individual reason requires all its supporting facts to hold and all its excluded facts to be absent, but having multiple reasons gives resilience — if one chain of support breaks, another can still keep the node standing. This is the core activation rule that drives the entire network's truth propagation.
Dependents
These beliefs depend on this one:
- truth-is-disjunctive-over-conjunctive-rules — A node's truth is a disjunction over justifications (any valid justification makes it IN), where each justification is a conjunction (all antecedents IN and all outlist OUT), and any-mode explicitly reifies OR semantics as per-premise justifications.
Details
| Source | entries/2026/04/23/reasons_lib-__init__.md |