Description
Link a supplied counterexample witness to a proposition.
Evidence records distinguish claims, source origins, confidence labels, logical scope and access status. Repeated citations may share an origin rather than provide independent support; an unknown origin is not proof of independence. A recorded support or witness link does not establish entailment, truth or a valid inference.
Link a supplied counterexample witness to a proposition.
When to use this tool
Use Counterexample Witness Proposition Link when checking the stated evidence, source, confidence or logical-label convention.
How to use the tool and how it works
- Enter propositionId, witnessId, suppliedRelation. Use the units and conventions below.
- Run the tool. Correct any format, range, or cross-field input error before interpreting the output.
- Read token. Use the output convention below.
Require nonempty proposition ID, witness ID and supplied relation. Encode the ordered triple as JSON text.1
| Input field | Meaning and units | Accepted input |
|---|---|---|
| propositionId | Proposition Id | Required. Text; minimum UTF-16 length 1; maximum UTF-16 length 8192. |
| witnessId | Witness Id | Required. Text; minimum UTF-16 length 1; maximum UTF-16 length 8192. |
| suppliedRelation | Supplied Relation | Required. Text; minimum UTF-16 length 1; maximum UTF-16 length 8192. |
| Output field | Interpretation | Returned shape |
|---|---|---|
| token | JSON-encoded ordered tuple or literal token under the convention above; not a database lookup or authentication result. | Required. Text; maximum UTF-16 length 8192. |
{
"input": {
"propositionId": "P17",
"witnessId": "W4",
"suppliedRelation": "counterexample"
},
"output": {
"token": "[\"P17\",\"W4\",\"counterexample\"]"
}
}Limitations and assumptions
- The witness is not evaluated and may not be a counterexample; no logical, mathematical or evidential conclusion is established.
- Inputs must satisfy both the field types and the cross-field conditions above. Invalid input causes an error; a successful false flag or documented placeholder is a different result.
Alternative or Complementary methods
Inspect original evidence and use appropriate complete logical/statistical analysis, preserving uncertainty, provenance and applicable access/reuse permissions.
References
Similar or alternative tools
- Premise Support Single Link Tag
Record one asserted support link for a premise.
- Defeater Retraction Event Token
Record a defeater's stated retraction event.