sl-conjunction-any-disjunction

Summary

This confirms that the system doesn't need a separate rule for how conjunctions and disjunctions interact in justifications, because that behavior already falls out from three existing rules: how SL-justifications work, how truth propagates disjunctively over conjunctive rules, and how a node is considered true when any of its justifications holds. It matters because it prevents redundancy in the rule set and shows the existing axioms are sufficient to cover this case.