node-truth-disjunctive
IN premise
A node is IN if ANY of its justifications is valid (disjunctive semantics); adding a justification to a node can never cause it to go OUT.
Summary
A node only needs one good reason to be accepted — if it has multiple justifications and some fail, it stays supported as long as at least one still holds. This means the system is monotonic with respect to adding support: giving a node an additional justification can only ever maintain or strengthen its status, never weaken it.
Details
| Source | entries/2026/05/05/reasons_lib-__init__.md |