Description
Return countermodel when evidenceTrue and not claimTrue, and implicationHoldsHere otherwise.
Logical labels depend on a specified interpretation, scope and accessibility relation. A material implication holding in one model or a proposition holding in every supplied accessible world is different from proving an actual claim true.
Return countermodel when evidenceTrue and not claimTrue, and implicationHoldsHere otherwise.
When to use this tool
Use Evidence Entailment Single Countermodel when you need one stated finite-model or scope comparison.
How to use the tool and how it works
- Enter evidenceTrue, claimTrue. Use the units and conventions below.
- Run the tool. Correct any format, range, or cross-field input error before interpreting the output.
- Read countermodel, implicationHoldsHere. Inspect countermodel, implicationHoldsHere before interpreting the associated values.
Return countermodel when evidenceTrue and not claimTrue, and implicationHoldsHere otherwise.1
| Input field | Meaning and units | Accepted input |
|---|---|---|
| evidenceTrue | Evidence True | Required. Boolean. |
| claimTrue | Claim True | Required. Boolean. |
| Output field | Interpretation | Returned shape |
|---|---|---|
| countermodel | Countermodel | Required. Boolean. |
| implicationHoldsHere | Implication Holds Here | Required. Boolean. |
{
"input": {
"evidenceTrue": true,
"claimTrue": false
},
"output": {
"countermodel": true,
"implicationHoldsHere": false
}
}Limitations and assumptions
- This evaluates one supplied interpretation. Passing at one interpretation does not prove logical entailment across all models or establish actual evidence/claim truth.
- 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
Use the full logical semantics and all relevant models for an entailment claim. Verify scope, premises and accessibility assumptions before interpreting local boolean results as a general conclusion.
References
Similar or alternative tools
- Epistemic Possibility Empty Access Case
Return any accessible truth as possiblyTrue, all accessible truths as necessarilyTrue, and a separate emptyAccess flag.
- Defeater Scope Overlap Bit
Test whether any claim scope occurs in defeaterScopes.