Loading skill
Install any skill in seconds. Free to start, no credit card required.
Get Started Free →yogsoth-ai/contradiction-derivation
Negate a claim, derive logical consequences step by step, detect whether a genuine contradiction or absurdity emerges.
Passed 16 of 22 test cases with the skill, and 16 of 22 without it.
2 fixed14 passed either way4 still failing2 broke
Tokens, turns and time describe resource use, not a dollar price.
One of 2 test cases the skill fixed. Same model, same prompt, with and without the skill.
If a step in a deductive derivation produces a premise identical to an earlier intermediate step in the same active chain, what specific action and status must be produced?
| Checked | Without skill | With skill |
|---|---|---|
| The derivation process aborts immediately | Missed | Passed |
| A warning indicating circular reasoning is issued | Missed | Passed |
The instructions your model reads when the skill loads.
claim-negation to produce ~Pdeductive-chain with ~P as premise, derive consequencescontradiction-detection to check for:
Optional, no fixed order; the final leaf is always a sop.
| SOP | When to use |
|---|---|
| claim-negation | Formally negate the core claim, producing the logical complement for reductio testing. |
| contradiction-detection | Evaluate whether a derivation chain has reached a genuine contradiction, absurdity, or inconclusive state. |
| deductive-chain | Derive logical consequences step by step from a given premise, building a traceable derivation chain. |
test cases passed, vs 16 / 22 without
Published skills whose descriptions closely match this one, with their headline benchmark lift.
More skills from the same source and nearby in the registry, with their headline benchmark lift.