Logical Moves & Precondition Gating

Primes about reasoning and access patterns that hinge on conditions and their negations: proof by contradiction and contraposition, the all-or-nothing logic of the Anna Karenina principle and conditional access, and the hazards of assumptions, unverified preconditions, and irrelevant substitutes.

10 primes in this family — primes that sit near one another in abstraction space (k-means over structural-signature embeddings). Each is shown with its structural–framed character and how distinctive (sparsely-neighbored) it is.

• Anna Karenina Principle — — · mid
• Antagonist — — · mid
• Assumption — — · mid
• Conditional Access — — · distinctive
• Contraposition — — · mid
• Decidability Computability — — · crowded
• Equivalence-Preserving Rewriting — — · crowded
• Proof By Contradiction — — · crowded
• Relevance Substitution — — · distinctive
• Unverified Precondition — — · distinctive