Random Categorical Syllogism Quiz Generator

Description

Compose questions from caller-provided terms and reviewed mood/figure answers with explicit existential assumptions, delegating only supported named forms.

A generated practice exercise contains a prompt and an answer key under a specific rule set. A planted answer establishes one possible solution; only an explicit enumeration or uniqueness check establishes whether alternatives exist.

Compose questions from caller-provided terms and reviewed mood/figure answers with explicit existential assumptions, delegating only supported named forms.

When to use this tool

Use this generator to create reproducible categorical syllogism quiz cases from the supplied model or bank. Inspect the returned evidence before using cases in a test or exercise.

How to use the tool and how it works

Supply answerBank, terms, callerVerified, provenance, count in the field shapes below. Set seed when you need an explicit replay.
Run the tool and correct any input error. For generated controls, distinguish a successful fixture containing an invalid case from failure to generate the fixture.
Read cards, provenance. Use the conventions below. Keep answer-bearing fields separate when presenting an exercise.

Sample a mood/figure from the supplied reviewed answer bank and render it with fixed distinct subject, middle, and predicate terms. Delegate named validity only for Barbara AAA-1 and Celarent EAE-1; other modern and nonempty-term answers remain supplied-bank annotations, identified by answerSource.^[1]

Delegated operations used for this result: syllogism mood figure parser; barbara aaa1 valid lookup. Their calculation or parsing conventions apply to the corresponding result fields.^{[2, 3]}

Input field	Meaning and units	Accepted input
answerBank	Answer Bank	Required. Array of Object; no unknown keys.; minimum items 1; maximum items 64.
answerBank[].syllogism	Syllogism	Required. Text; maximum UTF-16 length 5.
answerBank[].modernValidity	Modern Validity	Required. Text; one of "valid", "invalid", "unknown".
answerBank[].nonemptyValidity	Nonempty Validity	Required. Text; one of "valid", "invalid", "unknown".
terms	Terms	Required. Object; no unknown keys.
terms.subject	Subject	Required. Text; minimum UTF-16 length 1; maximum UTF-16 length 64.
terms.middle	Middle	Required. Text; minimum UTF-16 length 1; maximum UTF-16 length 64.
terms.predicate	Predicate	Required. Text; minimum UTF-16 length 1; maximum UTF-16 length 64.
callerVerified	Caller Verified	Required. Boolean; exactly true.
provenance	Provenance	Required. Text; minimum UTF-16 length 1; maximum UTF-16 length 512.
count	Count	Required. Safe integer; minimum 1; maximum 64.
seed	Optional numeric seed; takes precedence over context randomness. Without either, use the fixed tool.io default seed.	Optional. Safe integer.

Output field	Interpretation	Returned shape
cards	Cards	Required. Array of Object; no unknown keys.; minimum items 1; maximum items 64.
cards[].syllogism	Syllogism	Required. Text; maximum UTF-16 length 5.
cards[].majorPremise	Major Premise	Required. Text.
cards[].minorPremise	Minor Premise	Required. Text.
cards[].conclusion	Conclusion	Required. Text.
cards[].modernValidity	Modern Validity	Required. Text; one of "valid", "invalid", "unknown".
cards[].nonemptyValidity	Nonempty Validity	Required. Text; one of "valid", "invalid", "unknown".
cards[].answerSource	Answer Source	Required. Text; one of "barbara-core", "celarent-core", "supplied-bank".
provenance	Provenance	Required. Text; minimum UTF-16 length 1; maximum UTF-16 length 512.
randomness	Replay source and normalized 32-bit seed, or null seed for an advancing context source.	Required. Object; no unknown keys.
randomness.seed	Optional safe-integer replay seed; normalization and precedence are explained below.	Required. Safe integer. or Null.
randomness.source	Source	Required. Text; one of "context", "seed".

An explicit safe-integer seed takes precedence over injected context randomness and is normalized to an unsigned 32-bit integer. With no seed and no context source, replay uses the fixed tool.io default seed. A context source must return finite values from zero inclusive to one exclusive; its advancing state must be retained separately. randomness records the source and normalized seed, or null for context. These generators are not cryptographic random sources.

json

{
  "input": {
    "answerBank": [
      {
        "syllogism": "AAA-1",
        "modernValidity": "valid",
        "nonemptyValidity": "valid"
      },
      {
        "syllogism": "EAE-1",
        "modernValidity": "valid",
        "nonemptyValidity": "valid"
      }
    ],
    "terms": {
      "subject": "S-items",
      "middle": "M-items",
      "predicate": "P-items"
    },
    "callerVerified": true,
    "provenance": "Caller-reviewed illustrative named forms",
    "count": 1,
    "seed": 42
  },
  "output": {
    "cards": [
      {
        "syllogism": "EAE-1",
        "majorPremise": "No M-items are P-items.",
        "minorPremise": "All S-items are M-items.",
        "conclusion": "No S-items are P-items.",
        "modernValidity": "valid",
        "nonemptyValidity": "valid",
        "answerSource": "celarent-core"
      }
    ],
    "provenance": "Caller-reviewed illustrative named forms",
    "randomness": {
      "seed": 42,
      "source": "seed"
    }
  }
}

Limitations and assumptions

The bank must not contradict the two supported named-form checks, but other answer entries are not independently proven. Modern and nonempty-term validity are separate conventions. This is prompt packaging rather than a complete syllogism solver.
A replay requires the same complete input and implementation. The stated sampling convention applies within its eligible space. A finite draw does not exhaust all possible outputs; repeats remain possible unless a distinct-selection rule is explicit.
The field tables state structural bounds; cross-field constraints and bounded search or output budgets also apply. Unknown keys are rejected where the object contract disallows them. Input errors are distinct from null fields and deliberate invalid controls in a successful output.

Alternative or Complementary methods

For a supplied example, inspect the returned construction or delegated check directly. To evaluate a consumer, also test cases chosen for its own boundaries; a generated finite corpus does not establish exhaustive coverage.

References

Tool behavior and example: Random Categorical Syllogism Quiz Generator — tool.io
Calculation or validation: logic/syllogism-mood-figure-parser — tool.io
Calculation or validation: logic/barbara-aaa1-valid-lookup — tool.io

Similar or alternative tools

Random Binomial Expansion Coefficient Quiz Generator
Generate bounded symbolic binomial term prompts and exact integer coefficient keys using delegated combination counts and BigInt powers.
Random Boolean Equivalence Quiz Generator
Generate complete aligned truth columns with an exact deliberate mismatch count and delegated equivalence keys under a declared valuation order.