negate-claim

Purpose

Produce a scope-preserving logical negation of a claim or assumption.

Input contract

required: [claim, scope, quantifiers]
optional: [formalization, assumptions]
constraints: [negation must preserve the original domain and quantifier structure]

Procedure

1. Formalize the claim's subject, predicate, and quantifiers.
2. Negate the claim without changing its scope.
3. Record changed commitments and ambiguities.

Output contract

produces: [negated_claim, scope_check, changed_commitments]
delta_fields: [findings, uncertainties, decisions]

Quality gates