Description
Return exact equality and supplied minus expected as difference.
Logical notation distinguishes terms, argument structure, scope, and inference rules. A string formatter or local structural check can organize a supplied expression without proving an argument or determining its truth.
Return exact equality and supplied minus expected as difference.
When to use this tool
Use Predicate Application Arity when you need one bounded logical-notation component or explicit term comparison.
How to use the tool and how it works
- Enter expectedArity, suppliedArgumentCount. Use the units and conventions below.
- Run the tool. Correct any format, range, or cross-field input error before interpreting the output.
- Read arityMatches, difference. Inspect arityMatches before interpreting the associated values.
Require nonnegative integer expectedArity and suppliedArgumentCount. Return exact equality and supplied minus expected as difference.1
| Input field | Meaning and units | Accepted input |
|---|---|---|
| expectedArity | Expected Arity | Required. Safe integer; minimum 0. |
| suppliedArgumentCount | Supplied Argument Count | Required. Safe integer; minimum 0. |
| Output field | Interpretation | Returned shape |
|---|---|---|
| arityMatches | Arity Matches | Required. Boolean. |
| difference | Difference | Required. Safe integer. |
{
"input": {
"expectedArity": 2,
"suppliedArgumentCount": 3
},
"output": {
"arityMatches": false,
"difference": 1
}
}Limitations and assumptions
- This counts supplied arguments without parsing an expression, checking types, or validating a predicate application semantically.
- 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.
- Numeric calculations use binary floating point unless exact decimal-integer arithmetic is explicitly stated. No hidden measurement tolerance or decimal rounding is added; nonfinite or out-of-contract results are rejected. Numeric signed-zero results are exported as zero.
Alternative or Complementary methods
Use a parser or proof system for the complete formal language when validity or derivability matters.
References
Similar or alternative tools
- Syllogism Term Position Label
Validate figure 1-4 and position major, minor, or conclusion.
- Bound Variable Occurrence Scope Tag
Test whether occurrenceScopeIds contains the binding scope.