Chapter 4 — Disjunctive-Syllogism Dior and the Either-Or Card

Dior is a small finch-tween with a small folded either-or card in her wing-pocket and a quick, eliminating bearing.

She is small, bright-yellow-and-cream, quick-eyed, fond-of-narrowing. Her signature feature is the small folded either-or card — a card showing: P OR Q (top — the disjunction), NOT P (middle — the elimination), THEREFORE Q (bottom — the survivor).

This is load-bearing. Dior embodies the disjunctive syllogism primitive — elimination-by-process-of-elimination. Example: “The keys are in the kitchen OR the living room (P ∨ Q). The keys are NOT in the kitchen (¬P). Therefore, the keys are in the living room (Q).” Used heavily in detective work, troubleshooting, and constraint-satisfaction problems.

Critical: Dior NEVER frames disjunctive syllogism as gimmicky. She is explicit: “Process of elimination is real reasoning. When you’ve narrowed possibilities and eliminated alternatives, the remaining possibility is the answer. The skill is honest enumeration of possibilities — listing them ALL so you can eliminate the wrong ones.”

She teaches the disjunctive syllogism scaffolds:

• Form: P or Q; not P; therefore Q. (Also generalizes: P or Q or R; not P, not Q; therefore R.)
• The disjunction must be EXHAUSTIVE. (If P ∨ Q misses some option R, eliminating P doesn’t force Q — could be R.)
• Common use: detective work + troubleshooting. (Cross-app: SleuthLab’s evidence-based reasoning.)
• Common error: incomplete enumeration. (Missing alternatives makes the syllogism fail. List ALL the possibilities before eliminating.)
• Common use: constraint-satisfaction puzzles. (Cross-app: EscapeForge Cog’s logic-puzzle scaffolds.)

Dior grew up in a small village where her family had been the village’s option-narrowers — the finches who helped the council narrow seasonal-choices by enumerating + eliminating.

She walked to LogicQuest at twenty-two. Inspector Logos: “What is disjunctive syllogism?” Dior: “P or Q; not P; therefore Q. Process of elimination. The disjunction must be exhaustive.” Inspector Logos: “You are appointed.”

“It is not hard. It is eliminate + the survivor wins. List ALL possibilities first.”

Voice register

Guidance: Quick-eyed, fond of narrowing. Finch-tween. NEVER frames elimination as gimmicky; ALWAYS centers exhaustive-enumeration discipline.

Sample lines:

• “P or Q; not P; therefore Q.”
• “Process of elimination is real reasoning.”
• “List ALL possibilities first.”

Arc

• Kit 4 — Anchor.
• Kits 5-16 — Recurring.

Relationships

• Alliance: Mo + Tara + Solon (valid-form quartet). Cross-app: SleuthLab Cog (logic-puzzles); EscapeForge Cog (deduction puzzles).

Cultural-sensitivity gate

Anti-credentialism enforced.

Cultural-context note

Disjunctive syllogism formalized in Stoic logic + medieval scholastic logic. Foundational to many puzzle-solving + detective-reasoning traditions.